Skip to content

Commit 3ab10b8

Browse files
flambda-backend: Turn upstream compatibility errors into a warning (#2572)
* `Incompatible_with_upstream` warning * Raise warnings instead of errors * Fix tests * Fix whitespace * Edit warning messages * Update test * Basic example with disabling warnings * Remove redundant warnings * More tests * More warnings tests * Even more tests * Eaxmples * revert fix: done in another pr * Demonstrate test case * Update comments * Demonstrate that we need to check expressions too * Revert "Update comments" This reverts commit c955bd8. * Revert "Remove redundant warnings" This reverts commit 3e87b64. * Document unsoundness * CR for duplicate warnings --------- Co-authored-by: Diana Kalinichenko <dkalinichenko@janestreet.com>
1 parent bbef9e5 commit 3ab10b8

File tree

7 files changed

+352
-94
lines changed

7 files changed

+352
-94
lines changed

0 commit comments

Comments
 (0)