projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bf1bf9f) | patch
Remove GADT refinements, part 5
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Mon, 7 Apr 2008 07:07:28 +0000 (07:07 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Mon, 7 Apr 2008 07:07:28 +0000 (07:07 +0000)
commit3d5970436af5ab73957278671059e00d1a52c616
tree31b6a7ddc8f496d782c1476ee1a953a0f7170aeatree | snapshot
parentbf1bf9fb07f1607aa66e7490b2df1ac1b62dd2d0commit | diff
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.
compiler/basicTypes/MkId.lhs diff | blob | history
compiler/ghci/RtClosureInspect.hs diff | blob | history
compiler/typecheck/TcGadt.lhs [deleted file] blob | history
compiler/typecheck/TcSimplify.lhs diff | blob | history
compiler/types/FamInstEnv.lhs diff | blob | history
compiler/types/FunDeps.lhs diff | blob | history
compiler/types/InstEnv.lhs diff | blob | history
compiler/types/Unify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)