delta/ocaml.git/typing/includemod.ml, branch pr8908

PR#8908: used as a base for other PRs.

2019-09-11T17:44:31+00:00

Refactor environment lookup functions

2019-08-15T14:56:50+00:00

Rename printing function in Printtyp.Conflicts

2019-07-31T11:52:59+00:00

Improved type hierarchy for type mismatches (#8828)

2019-07-30T07:56:28+00:00

Added special types for variants, records, constructors or labels type mismatch.
Printing additional info about types mismatch during compilation error.

Fix #7851 by checking type declaration coherence for recursive modules (#8570)

2019-04-19T01:57:55+00:00

includemod: never modify scope of signatures

2019-04-16T09:56:05+00:00

Improved error message for illegal permutations (#8546)

2019-03-27T18:04:24+00:00

* illegal permutation: more explanations and tests

Extend `open` to arbritrary module expressions in structures and to

2018-11-26T16:20:37+00:00

applicative module paths in signatures

Fix wrong calls to Env.normalize_path on non-module paths (#2131)

2018-11-22T15:07:15+00:00

Remove positions from paths

2018-11-21T08:39:34+00:00