-
Simon Peyton Jones authored
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.
77c6ba6f