Support coercing on a function type about rescript-compiler HOT 6 CLOSED

Done in #6828

from rescript-compiler.

One observation: the coercion in the example seems to work if the argument type is not polymorphic, e.g. float.
Coercion was not modified for function types, it still uses the original implementation, but the way it's been implemented for variants might interfere with the pre-existing mechanism in certain cases (e.g. polymorphic argument).

from rescript-compiler.

Ah, that makes sense. Unfortunately the way I'm trying to use it with Array sort requires polymorphism.

For now I've just used an obj magic.

from rescript-compiler.

@TheSpyder any more tests for #6828 ?

from rescript-compiler.

@cristianoc the second example is the one I pulled from my codebase, I haven't come across any others (although I haven't really been looking). I appreciate you looking at this!

from rescript-compiler.

@cristianoc the second example is the one I pulled from my codebase, I haven't come across any others (although I haven't really been looking). I appreciate you looking at this!

Great, that example is covered already.

from rescript-compiler.