[commit: ghc] wip/T8584's head updated: WIP #STASH (5505920)

[git at git.haskell.org]

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

Branch 'wip/T8584' now includes:

     6640635 Fix variable name typo from commit 3021fb
     b06e83d Make mod73 test insensitive to minor variations (#9325)
     a2439c7 Add .gitignore line for stage=1 testsuite generated file
     1837b2f comment update
     da70f9e Allow multiple entry points when allocating recursive groups (#9303)
     ab8f254 Comments and white space
     49333bf Comments and minor refactoring
     6fa6caa Compiler perf has improved a bit
     a0ff1eb [backpack] Package selection
     0be7c2c Comments and white space
     dc7d3c2 Test Trac #9380
     7381cee Add a fast-path in TcInteract.kickOutRewritable
     fe2d807 Comments only
     bfaa179 Add comments about the {-# INCOHERENT #-} for Typeable (f a)
     1ae5fa4 Complete work on new OVERLAPPABLE/OVERLAPPING pragmas (Trac #9242)
     c97f853 Typo in comment
     fd47e26 Fix up ghci044
     bdf0ef0 Minor wordsmithing of comments
     58ed1cc Small tweaks to comment
     1c1ef82 Typo fixes
     52188ad Unbreak build.
     3b9fe0c refactor to fix 80column overflow
     6483b8a panic message fix
     9d9a554 interruptible() was not returning true for BlockedOnSTM (#9379)
     028630a Fix reference to note
     aab5937 update comment
     6c06db1 add a comment
     2989ffd A panic in CmmBuildInfoTables.bundle shouldn't be a panic (#9329)
     d4d4bef Improve the desugaring of RULES, esp those from SPECIALISE pragmas
     8df7fea Bump haddock.base max_bytes_used
     3faff73 [backpack] More revisions to various pieces.
     0336588 Two new executables to ignore.
     02975c9 Fix-up to d4d4bef2 'Improve the desugaring of RULES'
     578fbec Dont allow hand-written Generic instances in Safe Haskell.
     e69619e Allow warning if could have been infered safe instead of explicit Trustworthy label.
     105602f Update Safe Haskell typeable test outputs.
     fbd0586 Infer safety of modules correctly with new overlapping pragmas.
     ab90bf2 Add in (disabled for now) test of a Safe Haskell bug.
     f293931 Add missing *.stderr files
     44853a1 Terminate in forkProcess like in real_main
     df1e775 docs: fix typo: 'OVERLAPPINGP' -> 'OVERLAPPING'
     637978f Use 'install' command for 'inplace/' install as we do in 'make install'
     65e5dbc fix linker_unload test on Solaris/i386 platform
     f686682 ghc --make: add nicer names to RTS threads (threaded IO manager, make workers)
     7328deb fix openFile003 test on Solaris/i386 (platform output is not needed anymore)
     1f24a03 fix topHandler03 execution on Solaris where shell signals SIGTERM correctly
     edff1ef Disable package auto-hiding if -hide-all-packages is passed
     66218d1 Package keys (for linking/type equality) separated from package IDs.
     3663791 Disable ghc-pkg accepting multiple package IDs (differing package keys) for now.
     de3f064 Make PackageState an abstract type.
     00b8f8c Refactor package state, also fixing a module reexport bug.
     4accf60 Refactor PackageFlags so that ExposePackage is a single constructor.
     2078752 Thinning and renaming modules from packages on the command line.
     94b2b22 [no-ci] Minor bugfixes in Backpack docs.
     7479df6 configure.ac: drop unused VOID_INT_SIGNALS
     56ca32c Update Haddock submodule to know about profiling.
     d360d44 Filter out null bytes from trace, and warn accordingly, fixing #9395.
     c88559b Temporarily bump Haddock numbers; I'm going to fix it.
     8e400d2 Revert "fix linker_unload test on Solaris/i386 platform"
     f4904fb Mark type-rep not as expect_broken when debugged
     f42fa9b fix linker_unload test _FILE_OFFSET_BITS redefined warning on Solaris/i386
     2b3c621 fix linker_unload test for ghc configurations with --with-gmp-libraries
     24a2e49 fix T658b/T5776 to use POSIX grep -c instead of GNU's --count
     61baf71 Comments and white space
     31399be Move Outputable instance for FloatBind to the data type definition
     d3fafbb Tiny refactoring, plus comments; no change in behaviour
     93b1a43 Add Output instance for OrdList
     6b96557 Make Core Lint check the let/app invariant
     1736082 Don't float into unlifted function arguments
     1fc60ea When desugaring Use the smart mkCoreConApps and friends
     d174f49 Make buildToArrPReprs obey the let/app invariant
     db17d58 Document the maintenance of the let/app invariant in the simplifier
     ab6480b Extensive Notes on can_fail and has_side_effects
     8367f06 Refactor the handling of case-elimination
     0957a9b Add has_side_effets to the raise# primop
     2990e97 Test Trac #9390
     18ac546 Fix some typos in recent comments/notes
     4855be0 Give the Unique generated by strings a tag '$', fixes #9413.
     d026e9e Permanently accept the Haddock performance number bump, and add some TODOs
     c51498b [no-ci] Track Haddock submodule change: ignore TAGS.
     af1fc53 ghci: tweak option list indentation in ':show packages'
     2cca0c0 testsuite: add signal_exit_code function to the driver
     d0ee4eb Update perf number for T5642
     7d52e62 Update Haddock to attoparsec-0.12.1. Adjust perf.
     dff0623 Implement the final change to INCOHERENT from Trac #9242
     ca3fc66 Fix path in cabal file
     16776e9 configure.ac: drop unused HAVE_BIN_SH
     a2ac57b Tweak Haddock markup in GHC.Magic
     4e020b3 Tweak Haddock in GHC.Types
     44c1e3f testsuite: add list of llvm_ways
     caa9c8aa Add test case for #9013
     8e01ca6 Remove obsolete "-- #hide" Haddock pragmas
     b7b7633 Add a test for plusWord2#, addIntC#, subIntC#
     e83e873 Clarify documentation of addIntC#, subIntC#
     3260467 systools info: fix warning about C compiler (message said about linker)
     ba9277c Tweak linting rules.
     02be4ff fix T4201 to avoid GNU grep specific -B option by usage of pure POSIX tools
     2396940 fix T4981-V3 and T9208 tests for no newline at end of file warning
     ba3650c fix T4981-V3 to avoid DOS line endings
     bb00308 Don't build or test dph by default
     238fd05 change topHandler02/topHandler03 tests to use signal_exit_code function
     7a754a9 rts/Printer.c: drop zcode mangling/demangling support in C code
     b02fa3b rts: Remove trailing whitespace and tabs from Printer.c
     8d90ffa fix darwin threaded static linking by removing -lpthread option #9189
     cbfa107 Improve seq documentation; part of trac issue #9390
     c80d238 Eliminate some code duplication in x86 backend (genCCall32/64)
     5f5d662 Make IntAddCOp, IntSubCOp into GenericOps
     71bd4e3 x86: Always generate add instruction in MO_Add2 (#9013)
     8e64151 stg/Prim.h: drop redundant #ifdef
     6e3c44e Unbreak travis by not passing --no-dph
     0a3944c testsuite/base: update .gitignore
     3694d87 Re-add `--no-dph` option to ./validate
     3669b60 Add bit scan {forward,reverse} insns to x86 NCG
     9f285fa Add CMOVcc insns to x86 NCG
     6415191 x86: zero extend the result of 16-bit popcnt instructions (#9435)
     a09508b Test #9371 (indexed-types/should_fail/T9371)
     f29bdfb Fix Trac #9371.
     1b13886 Fix #9415.
     1a3e19d Test #9415 (typecheck/should_fail/T9415)
     8d27c76 Test #9200. (polykinds/T9200)
     6485930 Change definition of CUSK for data and class definitions (#9200).
     3dfd3c3 Added more testing for #9200. (polykinds/T9200b)
     b2c6167 Change treatment of CUSKs for synonyms and families (#9200).
     578377c Remove NonParametricKinds (#9200)
     1c66b3d Update manual (#9200).
     91a48c5 Testsuite wibbles around #9200
     6f862df shouldInlinePrimOp: Fix Int overflow
     a6fd7b5 Add some Haddocks to SMRep
     4342049 StgCmmPrim: add note to stop using fixed size signed types for sizes
     5e46e1f Have ghc-pkg use an old-style package key when it's not provided.
     2272c50 Explicitly version test for package key support.
     6b5ea61 Remove out of date TODO
     e0c1767 Implement new CLZ and CTZ primops (re #9340)
     03a8003 Declare `ghc-head` to be haddock's upstream branch
     5895f2b LlvmMangler: Be more selective when mangling object types
     d39c434 Make configure's sed(1) expression for GHC_LDFLAGS more BSD-friendly.
     246436f Implement {resize,shrink}MutableByteArray# primops
     425d517 Fix typos 'resizze'
     53cc943 Revert "Fix typos 'resizze'" this is z-encoding (as hvr tells me)
     6375934 Workaround GCC `__ctzdi2` intrinsic linker errors
     96d0418 Remove obsolete `digitsTyConKey :: Unique`
     2d42564 workaround Solaris 11 GNU C CPP issue by using GNU C 3.4 as CPP
     2aabda1 Fix quasi-quoter documentation (#9448)
     daef885 Fix broken link in Data.Data to SYB home page (Trac #9455)
     b287bc9 Update list of flags implied by -XGADTs in User's Guide section on GADTs
     a72614c Make T8832 operative on 32-bit systems (#8832)
     3a67aba ghci/scripts/ghci016: Add implementation for negate
     5b11b04 concurrent/should_run/throwto002: DoRec -> RecursiveDo
     5d5655e Fix three problems with occurrence analysis on case alternatives.
     88b1f99 testsuite/T9379: Use GHC.Conc instead of Control.Concurrent.STM
     6f6ee6e Make Prelude.abs handle -0.0 correctly (#7858)
     d9a2057 Make Prelude.signum handle -0.0 correctly (#7858)
     bbd0311 Bug #9439: Ensure that stage 0 compiler isn't affected
     9a708d3 UNREG: fix PackageKey emission into .hc files
     0138110 Implement -rdynamic in Linux and Windows/MinGW32.
     d2f0100 Have the RTS linker search symbols in the originating windows binary.
     955dfcb This note's name has been fixed
     4333a91 includes/stg/Prim.h: add matching 'hs_atomic_*' prototypes
     e3c3586 Use absolute links to Cabal docs from the GHC users guide (#9154)
     89f5f31 Explain how to clone GitHub forks. Ticket #8379.
     2fc2294 Mention that `Data.Ix` uses row-major indexing
     527bcc4 build: require GHC 7.6 for bootstrapping
     defc42e Add test case for #9046
     806d823 Correct checkStrictBinds for generalised type
     7012ed8 Check if file is present instead of directory
     51a0b60 travis: Use hvr’s multi-ghc-PPA
     f9f89b7 rts/base: Fix #9423
     f328890 validate: add simple CPU count autodetection
     15faa0e Fix prepositions in the documentation of -rdynamic.
     7bf49f8 Make sure that a prototype is included for 'setIOManagerControlFd'
     27c99a1 Comments fix to Trac #9140
     11f05c5 coreSyn: detabify/dewhitespace TrieMap
     236e2ea stranal: detabify/dewhitespace WorkWrap
     96c3599 simplCore: detabify/dewhitespace SAT
     fb9bc40 utils: detabify/dewhitespace BufWrite
     a9f5c81 utils: detabify/dewhitespace GraphBase
     e3a5bad utils: detabify/dewhitespace GraphPpr
     6f01f0b simplCore: detabify/dewhitespace SetLevels
     28a8cd1 simplCore: detabify/dewhitespace LiberateCase
     ef9dd9f prelude: detabify/dewhitespace TysPrim
     fbdc21b coreSyn: detabify/dewhitespace CoreTidy
     ffc1afe coreSyn: detabify/dewhitespace CoreSubst
     8396e44 deSugar: detabify/dewhitespace DsCCall
     07d01c9 stranal: detabify/dewhitespace DmdAnal
     8a8ead0 hsSyn: detabify/dewhitespace HsLit
     99f6224 basicTypes: detabify/dewhitespace Var
     1ad35f4 basicTypes: detabify/dewhitespace NameSet
     1b55153 basicTypes: detabify/dewhitespace NameEnv
     37743a1 basicTypes: detabify/dewhitespace IdInfo
     a2d2546 genprimopcode: Don't output tabs
     067bb0d Update a comment in base cbits
     92bb7be Add a missing newline to a GHCi linker debugBelch
     ff4f844 rts: detabify/dewhitespace Ticky.c
     b4c7bcd rts: detabify/dewhitespace Weak.c
     dea58de rts: detabify/dewhitespace Updates.h
     514a631 rts: detabify/dewhitespace Timer.c
     43c68d6 rts: detabify/dewhitespace Trace.c
     221c231 rts: detabify/dewhitespace STM.c
     c49f2e7 rts: reflow some comments in STM.c
     4cbf966 rts: detabify/dewhitespace Task.c
     684be04 rts: detabify/dewhitespace sm/Storage.h
     f20708c rts: detabify/dewhitespace sm/BlockAlloc.c
     2f3649e rts: detabify/dewhitespace sm/MarkWeak.c
     08093a9 rts: detabify/dewhitespace sm/GCAux.c
     7e60787 rts: detabify/dewhitespace sm/GCUtils.h
     7318aab rts: detabify/dewhitespace sm/GCUtils.c
     b7b427f rts: detabify/dewhitespace sm/MBlock.c
     870cca8 rts: detabify/dewhitespace Apply.cmm
     93ec914 rts: detabify/dewhitespace Hpc.c
     219785b rts: detabify/dewhitespace Printer.h
     ee0e47d rts: detabify/dewhitespace Task.h
     c71ab57 rts: detabify/dewhitespace AutoApply.h
     ef02edc rts: detabify/dewhitespace StgStdThunks.cmm
     1a6a610 rts: detabify/dewhitespace StgStartup.cmm
     2f34ab2 rts: detabify/dewhitespace StgPrimFloat.c
     584d459 rts: detabify/dewhitespace StgPrimFloat.h
     7d48356 rts: detabify/dewhitespace Sparks.c
     8f3611e rts: detabify/dewhitespace RtsMain.c
     b9ee7e8 rts: detabify/dewhitespace RtsAPI.c
     00878c5 rts: detabify/dewhitespace RtsStartup.c
     646f214 rts: detabify/dewhitespace RtsUtils.c
     f2864e9 rts: detabify/dewhitespace Disassembler.c
     7200edf rts: detabify/dewhitespace LdvProfile.c
     15df6d9 Comment why the include is necessary
     c867cbc [ci skip] includes: detabify/dewhitespace Stg.h
     772ffbe [ci skip] includes: detabify/dewhitespace RtsAPI.h
     6f3dd98 [ci skip] includes: detabify/dewhitespace Rts.h
     a784afc [ci skip] includes: detabify/dewhitespace HsFFI.h
     e183e35 [ci skip] includes: detabify/dewhitespace Cmm.h
     e232967 [ci skip] includes: detabify/dewhitespace stg/Regs.h
     efcf0ab [ci skip] includes: detabify/dewhitespace stg/SMP.h
     e7dd073 [ci skip] includes: detabify/dewhitespace stg/Types.h
     c607500 [ci skip] includes: detabify/dewhitespace rts/Ticky.h
     a739416 [ci skip] includes: detabify/dewhitespace rts/Threads.h
     2957736 [ci skip] includes: detabify/dewhitespace rts/Stable.h
     7d26398 [ci skip] includes: detabify/dewhitespace rts/OSThreads.h
     bb70e33 [ci skip] includes: detabify/dewhitespace rts/Hpc.h
     1c43f62 [ci skip] includes: detabify/dewhitespace rts/prof/CCS.h
     f20c663 [ci skip] includes: detabify/dewhitespace rts/prof/LDV.h
     aa045e5 [ci skip] includes: detabify/dewhitespace rts/storage/MBlock.h
     e57a29a [ci skip] includes: detabify/dewhitespace rts/storage/TSO.h
     f6cdf04 [ci skip] includes: detabify/dewhitespace rts/storage/Closures.h
     b4ec067 [ci skip] includes: detabify/dewhitespace rts/storage/GC.h
     e9e3cf5 [ci skip] includes: detabify/dewhitespace rts/storage/Block.h
     98b1b13 [ci skip] includes: detabify/dewhitespace rts/storage/InfoTables.h
     840a1cb includes: detabify/dewhitespace rts/storage/ClosureMacros.h
     955db0d T8832: fix no newline at end of file warning
     030549a Fix #9465.
     f9e9e71 gitignore: Ignore tests/rts/rdynamic
     bf1b117 submodule update hpc/stm with gitignore.
     22520cd Do not zero out version number when processing wired-in packages.
     4748f59 Revert "rts/base: Fix #9423"
     2719526 Normalise GHC version number to make tests less fragile.
     d333c03 Enable GHC API tests by default.
     ff9f4ad testsuite: T7815 requires SMP support from ghc
     fcdd58d testsuite: disable gcc's warnings about casts of incompatible prototypes in UNREG
     eb64be7 testsuite: disable memcpy asm comparison tests on UNREG
     2fcb36e testsuite: mark testwsdeque mark as faulty on NOSMP builds
     104a66a rts/Linker.c: declare 'deRefStablePtr' as an exported 'rts' symbol
     cfd08a9 Add MO_AddIntC, MO_SubIntC MachOps and implement in X86 backend
     e1d77a1 testsuite: added 'bytes allocated' for T9339 wordsize(32)
     78ba9f0 Declare official GitHub home of libraries/{directory,process}
     5295cd2 testsuite: add 16-byte case for T9329
     9f8754e Use DumpStyle rather than UserStyle for pprTrace output
     c0fe1d9 Introduce the Call data types
     af4bc31 Do not duplicate call information in SpecConstr (Trac #8852)
     5c4df28 More refactoring in SpecConstr
     8ff4671 Make Core Lint check for un-saturated type applications
     ee4501b Check for un-saturated type family applications
     06600e7 Two buglets in record wild-cards (Trac #9436 and #9437)
     67a6ade Improve documentation of record wildcards
     43f1b2e UNREG: fix emission of large Integer literals in C codegen
     a93ab43 driver: pass '-fPIC' option to assembler as well
     78863ed Revert "disable shared libs on sparc (linux/solaris) (fixes #8857)"
     e9cd1d5 Less voluminous output when printing continuations
     6e0f6ed Refactor unfoldings
     3af1adf Kill unused setUnfoldingTemplate
     8f09937 Make maybeUnfoldingTemplate respond to DFunUnfoldings
     9cf5906 Make worker/wrapper work on INLINEABLE things
     4c03791 Specialise Eq, Ord, Read, Show at Int, Char, String
     3436333 Move the Enum Word instance into GHC.Enum
     949ad67 Don't float out (classop dict e1 e2)
     2ef997b Slightly improve fusion rules for 'take'
     99178c1 Specialise monad functions, and make them INLINEABLE
     baa3c9a Wibbles to "...plus N others" error message about instances in scope
     a3e207f More SPEC rules fire
     dce7095 Compiler performance increases -- yay!
     b9e49d3 Add -fspecialise-aggressively
     fa582cc Fix an egregious bug in the NonRec case of bindFreeVars
     6d48ce2 Make tidyProgram discard speculative specialisation rules
     86a2ebf Comments only
     1122857 Run float-inwards immediately before the strictness analyser.
     082e41b Testsuite wibbles
     bb87726 Performance changes
     a0b2897 Simple refactor of the case-of-case transform
     6c6b001 Remove dead lookup_dfun_id (merge-o)
     39ccdf9 White space only
     a1a400e Testsuite wibbles
     1145568 testsuite: disable T367_letnoescape on 'optllvm'
     75d998b testsuite: disable 'rdynamic' for 'ghci' way
     94926b1 Add an interesting type-family/GADT example of deletion for red-black trees
     87c1568 Comments only
     b7bdf13 Temporary fix to the crash
     aa49892 [ci skip] ghc-prim: Update .gitignore
     8270ff3 [ci skip] Update .gitignore
     9072f2f PprC: cleanup: don't emit 'FB_' / 'FE_' in via-C
     49370ce Improve trimming of auto-rules
     4a87142 Fix syntax in perf/compiler/all.T
     7eae141 White space only
     2da63c6 Better compiler performance (30% less allocation) for T783!
     dfc9d30 Define mapUnionVarSet, and use it
     8df3159 Rename red-black test in indexed-types to red-black-delete
     db5868c In GHC.Real, specialise 'even' and 'odd' to Int and Integer
     9fae691 Improve "specImport discarding" message
     b2affa0 Testsuite wibbles
     69e9f6e Simplify conversion in binary serialisation of ghc-pkg db
     557c8b8 Drop support for single-file style package databases
     ce29a26 Improve the ghc-pkg warnings for missing and out of date package cache files
     8d7a1dc Introduce new file format for the package database binary cache
     27d6c08 Use ghc-local types for packages, rather than Cabal types
     0af7d0c Move Cabal Binary instances from bin-package-db to ghc-pkg itself
     9597a25 Drop ghc library dep on Cabal
     227205e Make binary a boot package
     6930a88 Fix warnings arising from the package db refactoring
     29f84d3 Fix long lines and trailing whitespace
     8955b5e Remove a TODO that is now done
     a4cb9a6 Add a ghc -show-packages mode to display ghc's view of the package env
     1bc2a55 Make mkFastStringByteString pure and fix up uses
     c72efd7 Switch the package id types to use FastString (rather than String)
     b00deb7 Fix string conversions in ghc-pkg to be correct w.r.t. Unicode
     42f99e9 Address a number of Edward's code review comments
     9d6fbcc Fix validation error in Linker arising from package rep changes
     01461ce Update Cabal and haddock submodules to follow the Canal-dep removal changes
     da72898 Change testsuite to not use old-style file package databases
     616dd87 Fix a few minor issues spotted in code review
     6d8c70c Add release notes about ghc-pkg change, and Cabal dep removal
     020bd49 Fix failing test on BINDIST=YES
     cb2ac47 Suppress binary warnings for bootstrapping as well as stage1.
     f0db185 Include pattern synonyms as AConLikes in the type environment, even for simplified/boot ModDetails (fixes #9417)
     4e0e774 Fix a bug in CSE, for INLINE/INLNEABLE things
     ab4c27e Comments, white space, and rename "InlineRule" to "stable unfolding"
     3521c50 When finding loop breakers, distinguish INLINE from INLINEABLE
     7af33e9 Better specImport discarding message (again)
     e5f766c Give the worker for an INLINABLE function a suitably-phased Activation
     3935062 Finally!  Test Trac #6056
     5da580b Performance improvement of the compiler itself
     fa9dd06 Do not say we cannot when we clearly can
     9491fea Typos in comments
     eac8728 Fix to bin-package-db for ming32-only code
     9874f3c Update baseline shift/reduce conflict number
     1b08992 Add parser for pattern synonym type signatures. Syntax is of the form
     c98a7fd Renamer for PatSynSigs: handle type variable bindings
     3defd32 PatSynSig: Add type variable binders
     7fd7f6d Split tcPatSynDecl into inferring function and general workhorse function
     a4fa9fe Add TcPatSynInfo to store the typechecked representation of a pattern synonym type signature
     494cdec universially-bound tyvars are in scope when renaming existentially-bound tyvars in a pattern synonym signature
     14a7ab7 Show foralls (when requested) in pattern synonym types
     bba5041 Add TcPatSynInfo as a separate type (same pattern as PatSynBind being a separate type)
     5505920 WIP #STASH