[commit: ghc] wip/spj-tc-branch2's head updated: Less voluminous trace (dbfe8ad)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

Branch 'wip/spj-tc-branch2' now includes:

     f21eedb Check.hs: Use actual import lists instead of comments
     0b533a2 A bit of tracing about flattening
     2fbfbca Fix desugaring of pattern bindings (again)
     66a8c19 Fix a bug in occurs checking
     3012c43 Add Outputable Report in TcErrors
     b612da6 Fix impredicativity (again)
     fc4ef66 Comments only
     19140fd Refactor typechecking of pattern bindings
     ff8b588 Comments and trivial refactoring
     0b06fcc Test Trac #12507
     2d960f2 Make TcLevel increase by 1 not 2
     31621b1 A collection of type-inference refactorings.
     2e1c0da Refactor occurrence-check logic
     dbfe8ad Less voluminous trace