• eir@cis.upenn.edu's avatar
    Fix #11811. · b1084fd7
    eir@cis.upenn.edu authored
    Previously, I had forgotten to omit variables already in scope
    from the TypeInType CUSK check. Simple enough to fix.
    
    Test case: typecheck/should_compile/T11811
    b1084fd7
RnTypes.hs 69.9 KB