Cristiano Calcagno

Test: allow free vars in types for coercion.

3

See https://github.com/rescript-lang/rescript-compiler/issues/6821 Free variables are not allowed in coercion, and if that happens, simple unification is performed without ever attempting coercion. This seems to go back a very long time....

There are two forms of type coercion: 1 `e: t0 :> t` 2 `e :> t` The first form was never supported in .res syntax, and is now removed from...

``` Type declarations do not match: type tokenType = Bearer is not included in type tokenType = Bearer The internal representations for case Bearer are not equal. ``` The type...

The @all alias does not produce .cmt files which are produced by @check.

10

## Expected Behavior In example https://github.com/cristianoc/dune-cmt, `dune build` should produce both a `.cmt` and `.cmti` file. ## Actual Behavior `dune build` produces only a `.cmti` file. `dune build @check` produces...