-
Sjaak Smetsers authored
better check for properties of abstract types, check for linearity of instance types, uniqueness bug for type synonyms, kind check for function (arrow) types
ae31fd94
better check for properties of abstract types, check for linearity of instance types, uniqueness bug for type synonyms, kind check for function (arrow) types