projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3023a00) | patch
Remove GADT refinements, part 4
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Mon, 3 Mar 2008 06:33:47 +0000 (06:33 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Mon, 3 Mar 2008 06:33:47 +0000 (06:33 +0000)
commitbf1bf9fb07f1607aa66e7490b2df1ac1b62dd2d0
tree7c83bea845a43a6ae94b02a9cfcfac18cd4cd583tree | snapshot
parent3023a007dfcaf51813c5504e823cb7e8eea002becommit | diff
Remove GADT refinements, part 4
- MkId.mkRecordSelId only used a special case of refineGadt, which doesn't
  need full unification.  That special case is now implemented as
  TcGadt.matchRefine and TcGadt.refineGadt can finally go.
compiler/basicTypes/MkId.lhs diff | blob | history
compiler/typecheck/TcGadt.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)