Florian Angeletti
Florian Angeletti
The `Parsing` module which is used by every ocamlyacc generated parsers relies on a global mutable work state. This means that currently no parsers generated by ocamlyacc should be run...
This PR proposes to add a warning in the documentation that the the `Str` library implements regular expressions for strings seen as sequence of `Char.t`, and is not aware of...
The compiler test suite currently fails when using XCode14 due to following new warning > ld: warning: -undefined dynamic_lookup may not work with chained fixups which is emitted by the...
As discussed in #11074, this PR proposes to add an `experimental` alert to the `Effect` and `Domain` module to make it extra-explicit that the interface of those modules might change...
Following the discussion in #11286, this PR proposes to have a simple and clear specification for disambiguated identifiers (t/2, t/3, ...) by using De Bruijn indice to disambiguate identifiers that...
Running ``` codept a.ml a.ml ``` fails with a module conflict because `codept` sees two files that provides the `A` module.
When printing conjunctive types, like ```Reason type t = pri [< `X &(int) &(float)]; ``` the outcome printer outputs: ```Reason type t = pri [< `X &(int & float)]; ```...
This PR improves the error message for partially applied functor by making the diffing algorithm prefers paths with optimal weight that end with deletions or additions. This one-line change is...
My PR on uniformizing the handling of compilation unit and module names (#12389) went one step too far by making the computation of the companion cmi for a cmo artifact...
Currently, the error message for subtyping errors on first class modules: ```ocaml module type XY = sig val x: int val y: int end module type XYZ = sig include...