• eir@cis.upenn.edu's avatar
    Avoid running afoul of the zipTvSubst check. · 0beb82c1
    eir@cis.upenn.edu authored
    addDataConStupidTheta includes comments that the types list
    might be longer than the tvs list. And the check in zipTvSubst
    doesn't appear to be terribly recent. I am utterly flummoxed
    as to why this worked before. It was clearly just broken.
    And now it's fixed.
TcPat.hs 48.3 KB