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

[chak at cse.unsw.edu.au]

Mon Apr  7 00:07:28 PDT 2008  Manuel M T Chakravarty <chak at cse.unsw.edu.au>
  * Remove GADT refinements, part 5
  - TcGadt RIP
  - The non-side effecting unification code is now in types/Unify.lhs
    along with the refinement code needed for GADT record selectors.

    M ./compiler/basicTypes/MkId.lhs -1 +1
    M ./compiler/ghci/RtClosureInspect.hs -1 +1
    R ./compiler/typecheck/TcGadt.lhs
    M ./compiler/typecheck/TcSimplify.lhs -1 +1
    M ./compiler/types/FamInstEnv.lhs -2 +1
    M ./compiler/types/FunDeps.lhs -1 +1
    M ./compiler/types/InstEnv.lhs -1
    M ./compiler/types/Unify.lhs -1 +428

View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20080407070728-6295e-3c2b3b0e3095536e8e1e4842e3a496f6a4634d77.gz