Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
GitHub is where the world builds software
Millions of developers and companies build, ship, and maintain their software on GitHub — the largest and most advanced development platform in the world.
Typecore.force_delayed_checks does not run with -i option. #7620
Original bug ID: 7620
The following program passes ocamlc -i, but not ocamlc:
let t =
Comment author: @garrigue
Actually, this is more complicated than I thought:
Comment author: furuse
BTW, why is it handled as a type error? Is there an example to break the type safety by changing it to a warning?
FYI, the example was found in a use of ppx_implicits, where, roughly speaking, pre-process a typed code, for example, from
It relies heavily on the principal type property, but it is broken here...