-
Amin Timany authored
With this change, recursive types don't use the context for type variables. This allows us to assume that all types in typing context are universally quantified, i.e., they are all polymorphic types.
e679dae9
With this change, recursive types don't use the context for type variables. This allows us to assume that all types in typing context are universally quantified, i.e., they are all polymorphic types.