Mon Aug 11 05:35:26 PDT 2008 [EMAIL PROTECTED]
* Fix Trac #2367: selectors for GADTs
The generation of record selectors for GADTs and the like was
pretty screwed up. This patch fixes it.
Note that Unify.refineType is now used only in the generation of
record seletctors -- but it really does seem to be needed there.
Thanks to Max for finding this bug.
M ./compiler/basicTypes/MkId.lhs -19 +30
M ./compiler/types/Unify.lhs -11 +8
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20080811123526-1287e-1f4b06d0d8ee01a3b72017b1873b5c3d16c078cb.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
