patch applied (ghc): Remove GADT refinements, part 4

[chak at cse.unsw.edu.au]

Sun Mar  2 22:33:47 PST 2008  Manuel M T Chakravarty <chak at cse.unsw.edu.au>
  * Remove GADT refinements, part 4
  - MkId.mkRecordSelId only used a special case of refineGadt, which doesn't
    need full unification.  That special case is now implemented as 
    TcGadt.matchRefine and TcGadt.refineGadt can finally go.

    M ./compiler/basicTypes/MkId.lhs -11 +15
    M ./compiler/typecheck/TcGadt.lhs -107 +51

View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20080303063347-6295e-724236704c32946a29177236a6f1150f3c4d36c0.gz