• Simon Peyton Jones's avatar
    Make SigSkol take TcType not ExpType · 0ad2021b
    Simon Peyton Jones authored
    For some reason a SigSkol had an ExpType in it, and there were
    lots of places where we needed it to have a TcType.  And was indeed
    always a Check.  All a lot of fuss about nothing.
    Delete code, fewer failure points, types are more precise.
    All good.
TcPat.hs 48.2 KB