• simonpj's avatar
    [project @ 2005-01-05 15:28:39 by simonpj] · 19da321b
    simonpj 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