• Simon Peyton Jones's avatar
    Correct order of existentials in pattern synonyms · a693d1cb
    Simon Peyton Jones authored
    Trac #12698 exposed a nasty bug in the typechecking for
    pattern synonmys: the existential type variables weren't
    being put in properly-scoped order.
    
    For some reason TcPatSyn.tcCollectEx was colleting them as a
    set, not as a list!  Easily fixed.
    a693d1cb
all.T 3.02 KB