rescript-compiler icon indicating copy to clipboard operation
rescript-compiler copied to clipboard

Remove coercion with 2 types, which is only supported in ml syntax.

Open cristianoc opened this issue 2 months ago • 0 comments

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 parsed and typed tree.

That said, coercion 1 is the only one that ever supported coercion with free variables. So this is subject to more investigation.

See https://github.com/rescript-lang/rescript-compiler/pull/6828

cristianoc avatar Jun 25 '24 08:06 cristianoc