[commit: ghc] wip/T8584's head updated: Add test cases (09b8ff7)

[git at git.haskell.org]

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

Branch 'wip/T8584' now includes:

     c001bde Put one-Shot info in the interface
     c271e32 Add GHC.Prim.oneShot
     072259c Use oneShot in the definition of foldl etc.
     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
     77f8221 Temporarily disable T3064 (see #9771)
     0a8e899 Remove redundant contexts from Foldable methods
     ac0915b Clean-up Haddock in `Data.Functor`
     40b1ee4 Add `isSubsequenceOf` to Data.List (#9767)
     32237f0 Fix typo in testsuite Makefile
     83cf31e Fix a couple of bugs in the way info tables are generated for 64-bit platforms
     4cd277b Fix bugs in debug printing
     3bebf3c Fix a couple of inaccurate stack checks
     e6b3829 Disable an assertion; see comment
     081ef2f Add a comment about stack checks
     d14312f Add doctest examples for Data.Either
     d0d9dc0 Clarify confusing notice from `make maintainer-clean`
     ad8457f Remove -ddump-simpl-phases flag
     c0a2354 Remove -ddump-core-pipeline flag
     303776a Update User's Guide, cleanup DynFlags
     0f930ba Move expansion of 'assert' from renamer to typechecker
     030abf9 Remove unused tyConsOfDataCon
     e7523fe Make tyConsOfType return a (NameEnv TyCon) rather than [TyCon]
     f81f82e Comments and white space only
     528cbd7 Give T3064 the right module name (just tidying up)
     096b7e6 Switch off lazy flattening (fix Trac #3064)
     cb6ccad Minor refacoring and trace-message printing
     c945477 Allow the solved dictionaries to propagate from outside in
     ec38deb Wibbles to notes
     203cf0e Refactor the code that prevents recursion among Coercible constraints
     c79cbac Re-enable T3064, which works now
     91c15d6 Better error messages for new per-instance overlap flags and Safe Haskell.
     c96a613 Add in Incoherent Instances test for Safe Haskell.
     f4ead30 Warn for Safe Haskell when -XOverlappingInstances or -XIncoherentInstances turned on.
     abba381 Improve Applicative definitions
     dc5fa80 Make getTag use a bang pattern instead of seq
     b0e8e34 Update .gitignore to properly ignore emacs temp files
     24e05f4 *Really*, really fix RTS crash due to bad coercion.
     37d64a5 small parser/lexer cleanup
     b0d5b5b [Docs] Fixed several broken urls in user's guide
     f14ac52 Use bracket in `withCurrentDirectory`
     832ef3f Have validate take into account stat test failures too.
     df3b1d4 base: Manually unlit .lhs into .hs modules
     a2e7bbf Preserve argument order to (==)/eq in nub and nubBy
     b608868 Typofix.
     c942688 Miscellaneous documentation for the Finder.
     f5996d9 Top-level comment for keepPackageImports.
     474e535 In pattern synonym matchers, support unboxed continuation results (fixes #9783).
     65dc594 Group PatSyn req/prov arguments together so that they're not all over the place
     c0af9a3 nlHsTyApps: for applying a function both on type- and term-level arguments
     37a4d47 Renamer for PatSynSigs: handle type variable bindings
     18e8882 tcCheckPatSynDecl: typechecker for pattern synonyms with user-supplied type signatures
     f08b36a Update baseline shift/reduce conflict number
     893f1b0 Add parser for pattern synonym type signatures. Syntax is of the form
     54a3cc6 Show foralls (when requested) in pattern synonym types
     09b8ff7 Add test cases