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

Published 20 hours ago • verified publisher icon rescript-lang

Test: allow free vars in types for coercion.

Open cristianoc opened this issue 7 months ago • 3 comments

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's probably a good reason why free vars were not allowed. At the same time, there are no objects/classes supported in the language anymore, so it's not clear how those reasons would adapt.

This just marks the place where one could investigate.

cristianoc avatar Jun 25 '24 08:06 cristianoc