• simonpj's avatar
    [project @ 2003-12-17 11:43:13 by simonpj] · 9d458d01
    simonpj authored
    ---------------------------------
      Gate in a few more instance decls
      ---------------------------------
    
    When we have
    	instance T a where...
    
    we need to suck in the instance decl rather more aggressively than we
    were.  (A case I hadn't thought of because it only happens with
    undecideable instances.)
    9d458d01
TcIface.lhs 35.4 KB