• eir@cis.upenn.edu's avatar
    Fix #8807. · 98b6756b
    eir@cis.upenn.edu authored
    It turns out that the enhanced repPred function in DsMeta assumed
    that the head of any constraint would be a tycon. This assumption
    is false. Happily, the solution involved *deleting* code. I
    just removed repPred in favor of repTy, and added the HsEqTy case
    to repTy, where it should be anyway.
DsMeta.hs 111 KB