[commit: ghc] wip/rae's head updated: Fix #9404 by removing tcInfExpr. (1e2002d)

[git at git.haskell.org]

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

Branch 'wip/rae' now includes:

     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
     8e66365 Unlit overlooked GHC/Conc/Sync.lhs
     e2769df Use (.) and id from Base in Control.Applicative
     8710136 Move Data.Functor.Identity from transformers to base
     7ae596a Typo fix; Trac #9787
     4923cea Define list monad operations using comprehensions
     e567130 De-bias Data.Foldable and improve docstrings
     97420b0 Comments only (on recursive dictionaries)
     ed57ea4 Test Trac #9662
     e9d3e28 Comments only
     7cbe34f Improve documentation of -ticky a little
     13817f0 Test Trac #9077
     2b67b8f Test Trac #7862
     76d47ed Add stderr for T9662
     fcfc87d Disable T4801/peak_megabytes_allocated
     c774b28 Implement new integer-gmp2 from scratch (re #9281)
     d70b19b Per-thread allocation counters and limits
     4b5d62a Fix build errors on Windows (these tests still don't work though)
     8c10b67 fix allocLimit3 on Windows
     1d35c85 Test #9066 in th/T9066
     d782694 Fix #9066.
     f61b3c4 Untabify template-haskell.
     1d66167 Remove unboxed Int# fields from NameFlavour (#9527)
     88a42be Derive Generic for TH types (#9527)
     767feb3 Test #8100 in th/T8100
     4ac9e90 Fix #8100, by adding StandaloneDerivD to TH's Dec type.
     fe71a7e Test #9064 in th/T9064
     e4efb7b Fix #9064 by adding support for generic default signatures to TH.
     ec8781f Test #9204 in roles/should_fail/T9204
     ee0f34d Fix #9204 by outputting extra info on boot file mismatch.
     90a2bb6 Testsuite wibbles due to #9204
     294ac47 Fix #9788 by giving `coerce` the right type.
     e6e45a1 Test #9404 (typecheck/should_compile/T9404 and T9404b)
     fe6a517 Testsuite wibble due to #9404
     1e2002d Fix #9404 by removing tcInfExpr.