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.

Functions

check_subtype	Check if subtype is the subtype of supertype.
check_subtype_sum	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.
compare_normal	Read back the type values and do syntactic comparison.