• simonmar's avatar
    [project @ 2005-03-08 17:12:51 by simonmar] · a8a2fc9c
    simonmar authored
    Fix something that's been bugging me for a while: by default, -ddump-*
    output doesn't include uniques when it outputs internal names, but in
    most cases you need them because the output hasn't been tidied, so you
    end up doing -dppr-debug which is overkill.
    
    Now, -ddump-* prints uniques for internal names by default.  This
    shouldn't affect anything else.
    a8a2fc9c
Outputable.lhs 14.9 KB