search

ocaml-flambda / flambda-backend

The Flambda backend project for OCaml
92 stars 65 forks source link

Support type directed disambiguation better for `exclave_` #2746

Closed ncik-roberts closed 1 week ago

ncik-roberts commented 1 week ago

Like #2303, but for exclave_. (We just didn't think about this in the first PR, but exclave_ and local_ affect type inference in similar ways so should interact with type-directed disambiguation in the same way.)