-
Simon Peyton Jones authored
A minor glitch that shows up only when a data constructor has *both* a "stupid theta" in the data type decl, *and* an existential type variable.
6344b150
A minor glitch that shows up only when a data constructor has *both* a "stupid theta" in the data type decl, *and* an existential type variable.