patch applied (ghc): Fix Trac #2367: selectors for GADTs
Simon Peyton Jones
simonpj at microsoft.com
Mon Aug 11 09:31:47 EDT 2008
Mon Aug 11 05:35:26 PDT 2008 simonpj at microsoft.com
* 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:
More information about the Cvs-ghc