Skip to content

Commit

Permalink
flambda-backend: Turn upstream compatibility errors into a warning (#…
Browse files Browse the repository at this point in the history
…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>
  • Loading branch information
dkalinichenko-js and d-kalinichenko authored May 22, 2024
1 parent bbef9e5 commit 3ab10b8
Show file tree
Hide file tree
Showing 7 changed files with 352 additions and 94 deletions.
Loading

0 comments on commit 3ab10b8

Please sign in to comment.