• Simon Peyton Jones's avatar
    Use System Names for evidence variables · 2b523dc3
    Simon Peyton Jones authored
    These variables all have uniformative names like "cobox" or "d".
    Make them System Names tells the pretty printer to show their
    uniques even without -dppr-debug.  That in turn makes the
    less-voluminous debug traces *much* more informative.
TcMType.lhs 72.9 KB