projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 27de38e) | patch
Fix Trac #2367: selectors for GADTs
authorsimonpj@microsoft.com <unknown>
Mon, 11 Aug 2008 12:35:26 +0000 (12:35 +0000)
committersimonpj@microsoft.com <unknown>
Mon, 11 Aug 2008 12:35:26 +0000 (12:35 +0000)
commit77c6ba6f015933989594d167162265b5633f74e3
tree736475be55e72f7f5c99e8257d5154d1350a7637tree | snapshot
parent27de38efce6d73d2a0209f803cfa98c82773e773commit | diff
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.
compiler/basicTypes/MkId.lhs diff | blob | history
compiler/types/Unify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)