-
Simon Peyton Jones authored
------------------------ GADTs and unification ------------------------ 1. Adjustment to typechecking of pattern matching the call to gadtRefineTys in TcPat. Now wobbly types are treated as wild cards in the unification process. 2. Add the WildCard possibility to the BindFlag in types/Unify.lhs 3. Some related refactoring of tcMatchTys etc.
19da321b