projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 90cc2d2) | patch
TcPat.tcConPat uses equalities instead of GADT refinement
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Tue, 20 Nov 2007 07:12:08 +0000 (07:12 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Tue, 20 Nov 2007 07:12:08 +0000 (07:12 +0000)
commita003ad80d59f8da861d874f7314b68c20e1afd67
treedd1ffb49e447a05e3c36d19df932d67e879e45c0tree | snapshot
parent90cc2d2bbe13e3421977013cdfa49630c4817f88commit | diff
TcPat.tcConPat uses equalities instead of GADT refinement
* This patch implements the use of equality constraints instead of GADT
  refinements that we have been discussing for a while.
* It just changes TcPat.tcConPat.  It doesn't have any of the simplification
  and dead code removal that is possible due to this change.
* At the moment, this patch breaks a fair number of GADT regression tests.
compiler/typecheck/TcPat.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)