• Simon Peyton Jones's avatar
    Define tyConRolesRepresentational and use it · 489a9a3b
    Simon Peyton Jones authored
    tyConRolesRepresentational is just a version of tyConRolesX, but
    specialised for a Representational argument. Saves a bit of extra
    argument passing and pattern matching, and tyConRolesX was often
    called when we knew the argument role was Representational.
    Rather to my surprise this made the compiler allocate 5% less
    for tests T9872{b,c,d}.  At least I think it's this commit.
    Good thing, regardless.
TcFlatten.hs 58 KB