Remove GADT refinements, part 3
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Fri, 29 Feb 2008 03:57:40 +0000 (03:57 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Fri, 29 Feb 2008 03:57:40 +0000 (03:57 +0000)
commit288213d7c2c65fa68ca466c1a1a3378e24fa1151
tree3aaae0f2b4c3cdf4c4fb6e0cd50bb3f93752458b
parentbef3803d8e6f5c4396aa3c43b0776b9794b1343f
Remove GADT refinements, part 3
compiler/basicTypes/MkId.lhs
compiler/typecheck/Inst.lhs
compiler/typecheck/TcArrows.lhs
compiler/typecheck/TcEnv.lhs
compiler/typecheck/TcMatches.lhs
compiler/typecheck/TcPat.lhs
compiler/typecheck/TcRnDriver.lhs
compiler/typecheck/TcRnTypes.lhs
compiler/typecheck/TcSimplify.lhs
compiler/types/InstEnv.lhs