Module compare_types

Source
Expand description

Routines to check for relations between fully inferred types.

FIXME: Move this to a more general place. The utility of this extends to other areas of the compiler as well.

Functionsยง

relate_types
Returns whether src is a subtype of dest, i.e. src <: dest.
sub_types
Returns whether src is a subtype of dest, i.e. src <: dest.