projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 78ec7aa) | patch
Remove GADT refinements, part 1
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Thu, 28 Feb 2008 04:53:51 +0000 (04:53 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Thu, 28 Feb 2008 04:53:51 +0000 (04:53 +0000)
commit4226903dd2bd0a08e1b7e10547a57588e8371e78
tree8353b8c70d779ad45230ec389f323a57320ba6f4tree | snapshot
parent78ec7aabf27eae748efdc56583ec4e5a6d136ba8commit | diff
Remove GADT refinements, part 1
- A while ago, I changed the type checker to use equality constraints together
  with implication constraints to track local type refinement due to GADT
  pattern matching.  This patch is the first of a number of surgical strikes
  to remove the resulting dead code of the previous GADT refinement machinery.

  Hurray to code simplification!
compiler/typecheck/TcArrows.lhs diff | blob | history
compiler/typecheck/TcMatches.lhs diff | blob | history
compiler/typecheck/TcPat.lhs diff | blob | history
compiler/typecheck/TcRnDriver.lhs diff | blob | history
compiler/typecheck/TcSimplify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)