GitLab

 parts of 802f291e).

This allows the compiler to correctly locate error messages occuring in the typechecker.

This reverts commit 802f291e.

This large merge commit makes the typing of some polymorphic variables buggy.

Revert "Allow compilation of patterns to succeed even when the variables of the expected input type cannot be erased."

This reverts commit 439186cd.

This commit generates unsafe code that crashes easily at runtime.

Allow compilation of patterns to succeed even when the variables of the expected input type cannot be erased.

avoid a clash with variables in e.

For instance :
  let f : Int -> Int = (fun ('a -> 'a) x -> x)
is now accepted.

- Part of the typechecking code was using the monomorphics subtyping function instead of the tallying (when checking the body of a function)
- The function Var.gen that was generating new versions of typed variable names was not properly incrementing its internal counter, thus generating the same name for two distinct variables.

Work around to load camlp4 when compiling the parser is rebuilt as a dependency of the standard library.

 - Properly check for unbound type variables in type definitions.

Improve the Float library and fix a bug in the dlink module (the computed path was not passed to Dynlink.loadfile).

Start refactoring sources and move all code that depends an external libraries and can be switched at runtime in the plugins/ directory.