• simonpj@microsoft.com's avatar
    Fix Trac #2478 · 6344b150
    simonpj@microsoft.com 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
TcPat.lhs 38.8 KB