Clément Blaudeau
Clément Blaudeau
Thank you for the feedback! I've integrated most comments from Xavier and Gabriel. I agree that static aliases could also not force linking (when not accessed), and I can update...
After working on the [first step of this proposal](https://github.com/ocaml/ocaml/pull/14064), and documenting more aliasing bugs (mostly [13997](https://github.com/ocaml/ocaml/issues/13997), but also [13979](https://github.com/ocaml/ocaml/issues/13979) and [13897](https://github.com/ocaml/ocaml/issues/13897)) I've done some slight updates to the RFC. The...
Have you also considered extending the signature constraint mechanism `S with external t = "foo"` ? From a distance (I've never used externals), it seems like use-cases for this would...
Rebased on main.
(rebased on main)
Probably coming from `import_thir`. It should look at the size of the tuple.
In the THIR importer, `Or` clauses with a single clause should be normalized.
Closed as unsupported for now, might be reopened in the future if needed.
Still relevant. It is caused by duplication (mostly of types / traits contraints when the type hierarchy is big). Would be fixed by a better memoïzation in the AST (as...
Still relevant, and also present in the Lean backend. The workaround is to extract the functions (at least `x`) out of the impl : ```rust use hax_lib::*; trait Op {...