Closed obiwan87 closed 1 month ago
The current support for type aliasing doesn't consider "distinct". This does not affect type inference, however, type checking (which will be implemented in the future) needs to know whether a type is distinctly aliased or not.
Added with abebbcc and 2a45e39
The current support for type aliasing doesn't consider "distinct". This does not affect type inference, however, type checking (which will be implemented in the future) needs to know whether a type is distinctly aliased or not.