[][src]Module minitt::check::subtype

Subtyping check: fallback rules of "instance of" checks: infer the expression's type and check if it's the subtype of the expected type.

Depends on modules syntax and read_back.



Check if subtype is the subtype of supertype.


I'm not sure if I should recursively check or not, because if there's recursive sum type, recursively check_subtype will cause stack-overflow. A bug report is expected to prove this to be false.


Read back the type values and do syntactic comparison.