• eir@cis.upenn.edu's avatar
    Fix #11711. · b5565f1a
    eir@cis.upenn.edu authored
    There were two bugs here, both simple: we need to filter out
    covars before calling isMetaTyVar in the solver, and TcPat had
    a tcSubType the wrong way round.
    
    test case: dependent/should_compile/T11711
    b5565f1a
TcSimplify.hs 86.5 KB