• Simon Peyton Jones's avatar
    Better -ddump-types · e9e66402
    Simon Peyton Jones authored
    The debug flag -ddump-types is supposed to show the type
    of Ids, and the kinds of type constructors.  It was doing
    the former but not the latter -- instead it was using
    showTyTying, which is actually less helpful when debugging.
    This patch changes it to print the kind and roles of the thing.
    I also made -ddump-types show pattern synonyms
TcRnDriver.hs 119 KB