[commit: ghc] wip/rae's head updated: Fix #1476 by making splice patterns work. (b7a4f49)

[git at git.haskell.org]

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

Branch 'wip/rae' now includes:

     063ae61 Update expected profiling output for scc001
     1c0b736 Link to oneShot from the User's Guide
     6dd218e Make Foldable's foldr1 and foldl1 defaults lazier
     ce03c4a Further relax T1969’s max_bytes range
     49fde3b Add `Alternative` wrapper to Data.Monoid
     4dbe433 Minor Haddock markup improvement to Data.Monoid
     828d724 Refactor Haddock comments in Data.Bits
     c7fa0ba Fix lost Haddock annotation for `class Monad m`
     1d6124d Tidy up pretty-printing of SrcLoc and SrcSpan
     27ba070 Improve pretty-printing of type variables
     c8c18a1 Some refactoring around endPass and debug dumping
     7251798 Simplify the generation of superclass constraints in tcInstDecl2
     d153e40 Add the unfolding and inline-pragma for DFuns in DsBinds, not TcInstDcls
     bdbb595 White space only
     fd46acf Fix reduceTyFamApp_maybe
     33dcb81 Simplify the API for tcInstTyVars, and make it more consistent with other similar functions
     9c81db4 Rename setRole_maybe to downgradeRole_maybe
     54f9188 Refactor skolemising, and newClsInst
     2bfc653 Refactor the treatment of lexically-scoped type variables for instance declarations
     e11e1b8 Get the Untouchables level right in simplifyInfer
     a6e7654 Normalise the type of an inferred let-binding
     e840d85 Typechecker debug tracing only
     c64539c When reporting the context of given constraints, stop when you find one that binds a variable mentioned in the wanted
     15131ec Only report "could not deduce s~t from ..." for givens that include equalities
     f054822 Don't filter out allegedly-irrelevant bindings with -dppr-debug
     84d9ef0 Minor refactoring (no change in functionality)
     c1a85b3 Define ctEvLoc and ctEvCoercion, and use them
     4723a0e Test Trac #9211
     f861fc6 Test Trac #9708
     6d1ac96 Improve error message for a handwritten Typeable instance
     dbbffb7 Test Trac #9747
     abfbdd1 Add comments explaining ProbOneShot
     c639560 Test Trac #9739
     7c79633 Fix the superclass-cycle detection code (Trac #9739)
     66658ee Comments only
     5479ae0 Testsuite error message changes
     652a5ef Add flattening-notes
     f02c915 Make this test a bit simpler
     ce9d6f2 Compiler performance is much worse in for loopy givens
     5770029 Simon's major commit to re-engineer the constraint solver
     2f0d841 Updates to safePkg01 under Edward's guidance
     09aac7d Test Trac #9081
     fe178b2 Test Trac #9750
     1408c8d Remove redundant "Minimal complete definition"-comments
     64dc4d1 Re-center perf-numbers for T5631
     6a1c05f A little refactoring of HsSplice and friends
     ba147ac Test #9066 in th/T9066
     c00f6e7 Fix #9066.
     fa05d66 Test #9209 in th/T9209
     20e1bb1 Fix #9209, by reporting an error instead of panicking on bad splices.
     89b963f Test #7484 in th/T7484
     eed503f Fix #7484, checking for good binder names in Convert.
     6af3b8e Test #1476 in th/T1476
     b7a4f49 Fix #1476 by making splice patterns work.