• eir@cis.upenn.edu's avatar
    Fix #9062. · e79e2c39
    eir@cis.upenn.edu authored
    Removed (pprEqPred (coercionKind co)) in favor of
    (pprType (coercionType co)).
    
    Also had to make "~R#" a *symbolic* identifier and BuiltInSyntax
    to squelch prefix notation and module prefixes in output. These
    changes are both sensible independent of #9062.
    e79e2c39
PprCore.lhs 18.2 KB