• 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.
    0ad2021b
TcMType.hs 57.5 KB