-
Björn Peemöller authored
Prior to this change, recursive type synonyms (which are not allowed) where checked and the respective errors generated, but the type checking proceeded. Because the type synonyms are then inserted into the type environment in their expanded form, an infinite loop occurred.
515d1c9e