search

ocaml-flambda / flambda-backend

The Flambda backend project for OCaml
104 stars 76 forks source link

Allow forceful crossing of portability and contention #2725

Closed liam923 closed 2 months ago

liam923 commented 3 months ago

Adds the flag -allow-illegal-crossing, which allows nominative types to cross the portability and contention axes when explicitly annotated.

I'm not a big fan of the flag name and am open to suggestions.

liam923 commented 2 months ago

Add test demonstrating unsoundness

liam923 commented 2 months ago

Add test demonstrating unsoundness

This has now been done