[commit: ghc] wip/generics-propeq's head updated: Merge branch 'master' into wip/generics-propeq (5f003d2)

[git at git.haskell.org]

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

Branch 'wip/generics-propeq' now includes:

     0763a2f Fix #9245 by always checking hi-boot for consistency if we find one.
     767b9dd Simplify .gitignore files
     88d85aa Add BUILD_DPH variable to GHC build-system
     9b93ac6 Tyop in comment
     dab0fa0 Update Cabal to BinaryLiterals-aware 1.20 version
     40ba3da Expect test failure for T8832 on 32bit (re #8832)
     f12075d Update 32bit & 64bit performance numbers
     26f4192 Promote TcNullaryTC and TcCoercible to fast tests
     9982715 Factor-out the `OverlapMode` from `OverlapFlag`.
     6290eea Overlapable pragmas for individual instances (#9242)
     b7f9b6a Eliminate `Unify.validKindShape` (#9242)
     d5c6fd6 Document #8883 in the release notes
     abeb2bb Remove dead code. Fix comment typo.
     aed1723 Revert "Fix obscure problem with using the system linker (#8935)"
     4ee4ab0 Re-add more primops for atomic ops on byte arrays
     c44da48 Remove extraneous debugging output (#9071)
     b735883 Avoid integer overflow in hp2ps (#9145)
     9785bb7 Add a cast to new code in hp2ps
     da8baf2 Unbreak TcNullaryTC testcase, by using MPTC
     288c21e Replace thenM/thenM_ with do-notation in RnExpr
     47bf248 Refactor checkHiBootIface so that TcGblEnv is not necessary.
     94c47f5 Update Haddock submodule with Iavor's validate fix.
     5f3c538 Partially fix #9003 by reverting bad numbering.
     db64180 Check for integer overflow in allocate() (#9172)
     d6ee82b Fix demand analyser for unboxed types
     127c45e Test Trac #9222
     e7b9c41 Fixup nullary typeclasses (Trac #8993)
     f5fa0de Backpack docs: Compilation, surface syntax, and package database
     70b24c0 Fix variable name in allocate()
     f48463e Finish the simple elaboration algo
     8afe616 Finish up incomplete sections
     34f7e9a Control CPP through settings file (#8683)
     b0316cd reading/writing blocking FDs over FD_SETSIZE is broken (Partially Trac #9169)
     423caa8 compiler/ghc.mk: restore GhcHcOpts variable handling (Trac #8787)
     dd3a724 ghc-pkg register/update --enable-multi-instance
     34bae1f includes/stg/SMP.h: use 'NOSMP' instead of never defined 'WITHSMP' (Trac #8789)
     b3d9636 remove redundant condition checking in profiling RTS code
     5a963b8 Minor edits to Backpack design doc
     3285a3d Mark HPC ticks labels as dynamic
     23bfa70 Update transformers submodule to 0.4.1.0 release
     4c91bc6 PrelNames cleanup
     311c55d Update documentation
     4b74f6c Update .gitignore
     0567a31 Fix windows breakage (fallout from 34f7e9a3c998)
     7cf2589 Set mdo in typewriter face
     fa8553d Fix imports in GHC.Event.Poll when not HAVE_POLL_H (#9275)
     55e7ab1 Do not print the result of 'main' after invoking ':main' (fixes #9086).
     1d225d1 Private axiom comment in Backpack
     74b6b04 Track gitignore update in submodule unix
     ff7aaf5 More testsuite ignores.
     7a15a68 Scott's updates to the impl paper.
     d68c77b [docs/backpack] Get lint to stop complaining
     afe7bc1 Add hyperref package.
     a77e079 Start expanding out linking text
     bd5f3ef rts: Fix #9003 with an annoying hack
     77ecb7b Make the example a little more complex
     61cce91 [backpack] Rework definite package compilation
     3c9fc10 Avoid unnecessary clock_gettime() syscalls in GC stats.
     c80c574 remove SPARC related comment in PPC code generator
     e148d7d GHC.Conc: clarify that 'forkOn' binds to capability, not a 'CPU' or 'Task'
     2f8d5e2 Fix typos in base documentation.
     dbbc1e8 Integrate changelog entries from base-4.7.0.1 rel
     8e396b0 Remove unused parameter in rnHsTyVar
     edae31a Comments only
     441d1b9 Declare official github home of libraries/unix
     30518f0 Add a .travis.yml file
     6a75bcd M-x untabify
     b8b8d19 Activate tab checks
     b7b3f01 Fix comment
     c70a720 Typoes in comments
     d591b19 Rectify some panic messages
     31cde29 Fix note spelling
     73bb054 Add travis-ci badge
     ce4477f testsuite: Tweak T6048 bounds
     708062b integer-gmp: tweak gitignore.
     47640ca Test case for #9305
     8af2f70 Typo in comment
     1d71e96 Fix ghci tab completion of duplicate identifiers.
     39630ab Avoid deadlock in freeTask (called by forkProcess)
     16403f0 Acquire all_tasks_mutex in forkProcess
     6da6032 add support for x86_64-solaris2 platform
     22e992e Type classes
     c85a3b0 Finish TCs section
     194107e Update various performance benchmarks
     cfeeded New testsuite verbosity level 4
     300c721 Give performance benchmark deviation also in percents
     4690466 Partially revert 194107ea9333c1d9d61abf307db2da6a699847af
     c973c70 Add a clarifying comment about scoping of type variables in associated type decls
     f6f4f54 White space only
     f692e8e Define PrelNames.allNameStrings and use it in TcHsType
     9b8ba62 Entirely re-jig the handling of default type-family instances (fixes Trac #9063)
     d761654 Improve documentation of :set/:seti
     0fcf060 Improve documentation of overlapping instances (again)
     a065f9d Try to explain the applicativity problem
     34ec0bd Rewrite coercionRole. (#9233)
     5e7406d Optimise optCoercion. (#9233)
     3b8b826 Workaround haddock parser error caused by 5e7406d9
     da7cfa9 Richards optCoercion improvement made test cases fail the nice way
     ef4e8c5 Test Trac #9323
     8b6cd6e Include test case name in performance result
     13cb4c2 Adjust a few performance numbers
     10f3d39 Correctly round when calculating the deviation
     612d948 Remove unused parameters in OptCoercion (#9233)
     a520072 OK, I think we've finally solved granularity.
     b542698 Build on travis with CPUS=2
     350ed08 Reduce volume of typechecker trace information
     3214ec5 Comments only
     4b3df0b Further improvements to floating equalities
     af28e61 Update Cabal submodule to HEAD (1.21)
     b34fa11 Set i686 as the minimum architecture on 32-bit mingw
     c41b716 travis: Install process via cabal
     99c2823 Document OVERLAP pragmas.
     23cd98f Documentation typo
     8249b50 Comments only
     f23b212 Revert "Update Cabal submodule to HEAD (1.21)"
     1486fc8 ghci: detabify/dewhitespace RtClosureInspect
     d2464b5 parser: detabify/dewhitespace Ctype
     20986a6 parser: detabify/dewhitespace cutils.c
     fcfa8ce profiling: detabify/unwhitespace CostCentre
     fe6381b cmm: detabify/unwhitespace CmmInfo
     ffcb14d cmm: detabify/unwhitespace CmmLex
     bd4e855 ghci: detabify/unwhitespace ByteCodeGen
     23aee51 ghci: detabify/unwhitespace ByteCodeInstr
     3ccc80c main: detabify/unwhitespace PprTyThing
     b5b1a2d prelude: detabify/unwhitespace PrelInfo
     4173ae8 nativeGen: detabify/dewhitespace Size
     a881813 nativeGen: detabify/dewhitespace Reg
     960f4e1 nativeGen: detabify/dewhitespace X86/RegInfo
     7bf273c nativeGen: detabify/dewhitespace PPC/Cond
     e6a32cc nativeGen: detabify/dewhitespace PPC/RegInfo
     e193380 nativeGen: detabify/dewhitespace RegClass
     c754599 nativeGen: detabify/dewhitespace TargetReg
     2f7495d nativeGen: detabify/dewhitespace SPARC/Stack
     b80249d nativeGen: detabify/dewhitespace SPARC/Imm
     234afe2 nativeGen: detabify/dewhitespace SPARC/ShortcutJump
     ef07ff7 nativeGen: detabify/dewhitespace SPARC/Instr
     25c4629 nativeGen: detabify/dewhitespace SPARC/Regs
     8707e45 nativeGen: detabify/dewhitespace SPARC/Cond
     9924de2 nativeGen: detabify/dewhitespace SPARC/CodeGen/CondCode
     6babdc8 nativeGen: detabify/dewhitespace SPARC/CodeGen/Amode
     085713f nativeGen: detabify/dewhitespace SPARC/CodeGen/Expand
     5ef0050 nativeGen: detabify/dewhitespace SPARC/CodeGen/Sanity
     2ff9b90 nativeGen: detabify/dewhitespace SPARC/CodeGen/Gen32
     8a8bc420 nativeGen: detabify/dewhitespace SPARC/CodeGen/Base
     3c5fc8e utils: detabify/dewhitespace Digraph
     893a4bf types: detabify/dewhitespace Kind
     18b2c46 Add PolyKinds extension to Data.Monoid
     00dd05e Adding more parser exports and some documentation.
     d996a1b fix inconsistency in exported functions from TcSplice.lhs/lhs-boot files when GHCI is not defined
     fb936e0 Make GHCi permissions checks ignore root user.
     80868ec rts: drop unused 'SpinLockCount' typedef
     e0d4386 Data.List: Unterse/Obvious comment regarding CPP
     021b797 driver: use absolute paths in ld scripts (#7452)
     2b860ef utils: delete obsolete heap-view program
     ad785f6 utils: remove old pvm scripts
     828e641 vagrant: move files around
     d3277f4 Revert "travis: Install process via cabal"
     4dd7ae6 Typos in note
     bb06e2a Make 'ghc' a wired in package.
     d7c807f [ghc-pkg] Fix #5442 by using the flag db stack to modify packages.
     2ad04d0 Update upstream Git repo url for `time` package
     a9445f8 arclint: update linting configuration
     2c12d9e docs: Remove obsolete Visual Haskell document
     c26bba8 docs: Delete old docbook cheat sheet
     4bebab2 Rename PackageId to PackageKey, distinguishing it from Cabal's PackageId.
     0acd70a Documentation for substringCheck.
     80ab62d Update Cabal submodule to HEAD (1.21)
     9960afe Always qualify on hi interface mismatch.
     7aabfa6 Unbreak the build on FreeBSD/i386, where the default target arch is i486.
     b709f0a Make last a good consumer
     1db9983 Rewrite package/module identity section
     6e9e855 Add a summary section.
     505358c Definite compilation is a go
     e408678 Write up rename on entry
     d1f17f5 Ignore tix files.
     eb795ec Duplicate word
     23773b2 X86 codegen: make LOCK a real instruction prefix
     c11b35f Fix test for fetchNandIntArray#
     fc53ed5 Add missing memory fence to atomicWriteIntArray#
     d294218 Fixed issue with detection of duplicate record fields
     6ce708c Use the right kinds on the LHS in 'deriving' clauses
     a997f2d Check for boxed tau types in the LHS of type family instances
     2070a8f [backpack] Rewrite compilation to be cleaner.
     92587bf Refactor FFI error messages
     dae46da Update test suite output
     7f5c1086 Module reexports, fixing #8407.
     9487305 Fix build on OS X due to macro-like string in comment
     97f499b Implement OVERLAPPING and OVERLAPPABLE pragmas (see #9242)
     5dc0cea Comments only
     57ed410 Increase precision of timings reported by RTS
     ba00258 Support ghc-pkg --ipid to query package ID.
     546029e Add reexported modules to the list of IPID fields.
     a62c345 Don't call installed package IDs 'package IDs'; they're different.
     34d7d25 rts: delint/detab/dewhitespace EventLog.c
     426f2ac rts: delint/detab/dewhitespace GetEnv.c
     cebd37f rts: delint/detab/dewhitespace GetTime.c
     d72f3ad rts: delint/detab/dewhitespace Itimer.c
     b1fb531 rts: delint/detab/dewhitespace OSMem.c
     3e0e489 rts: delint/detab/dewhitespace OSThreads.c
     875f4c8 rts: delint/detab/dewhitespace TTY.c
     22308d7 rts: delint/detab/dewhitespace Signals.h
     386ec24 rts: delint/detab/dewhitespace Signals.c
     ded5ea8 rts: delint/detab/dewhitespace Select.c
     3021fb7 rts: delint/detab/dewhitespace win32/AsyncIO.c
     fdcc699 rts: delint/detab/dewhitespace win32/AsyncIO.h
     b64958b rts: delint/detab/dewhitespace win32/AwaitEvent.c
     ab24d0b rts: delint/detab/dewhitespace win32/ConsoleHandler.c
     20b506d rts: delint/detab/dewhitespace win32/GetEnv.c
     59b6ea8 rts: delint/detab/dewhitespace win32/GetTime.c
     94fba59 rts: delint/detab/dewhitespace win32/IOManager.h
     36bbec0 rts: delint/detab/dewhitespace win32/IOManager.c
     976c55c rts: delint/detab/dewhitespace win32/OSMem.c
     43345dd rts: delint/detab/dewhitespace win32/OSThreads.c
     9aa9d17 rts: delint/detab/dewhitespace win32/ThrIOManager.c
     316c0d5 rts: delint/detab/dewhitespace win32/WorkQueue.h
     9e8d258 rts: delint/detab/dewhitespace win32/WorkQueue.c
     4f5966b rts: delint/detab/dewhitespace Arena.c
     a4aa6be rts: detab/dewhitespace FileLock.c
     2e1a0ba rts: delint FileLock.c
     4a09baa rts: delint/detab/dewhitespace Globals.h
     7ee0b63 rts: delint/detab/dewhitespace Hash.c
     f2a3f53 rts: detab/dewhitespace Messages.c
     1c89c96 rts: delint Messages.c
     48cae79 rts: delint/detab/dewhitespace OldARMAtomic.c
     42f3bdf rts: delint/detab/dewhitespace Papi.c
     ad36b1a rts: delint Papi.c
     a0fa13b rts: delint/detab/dewhitespace Papi.h
     7113370 rts: delint/detab/dewhitespace PosixSource.h
     de5a4db rts: delint/detab/dewhitespace RetainerSet.h
     ee0fd62 rts: delint/detab/dewhitespace RetainerSet.c
     f81154f rts: delint/detab/dewhitespace RtsDllMain.c
     60c6bd4 rts: delint/detab/dewhitespace RtsDllMain.h
     d765359 rts: delint/detab/dewhitespace StgRun.h
     a6fc4bd rts: delint/detab/dewhitespace ThreadLabels.c
     95378c2 rts: detab/dewhitespace ThreadPaused.c
     cf2980c rts: detab/dewhitespace WSDeque.h
     952f622 rts: detab/dewhitespace WSDeque.c
     39b5c1c rts: add Emacs 'Local Variables' to every .c file
     cc37175 do not link with -lrt on Solaris for threaded way
     524f15d add Solaris' linker warning messages filtering into link phase
     b9be82d Avoid to pass a socket to setmode/isatty in Windows
     4ee8c27 use GHC-7.8.3's values for thread block reason (fixes #9333)
     9a7440c Add Functor, Applicative, Monad instances for First, Last
     003bcf2 Do not check permissions when running find on Windows.
     8240312 driver: Fix usage of '$0' in ghcii.sh (#8873)
     b126ad3 Don't clean away inplace/mingw and inplace/perl.
     f510c7c base: make System.IO.openTempFile generate less predictable names
     b1f4356 Fix validate fallout
     c1336f7 rts: Detab OSThreads.c
     b6d5229 getCoerbileInsts: Move the two NT-unwrapping instances together
     12644c3 New parser for pattern synonym declarations:
     40e7774 Add parser support for explicitly bidirectional pattern synonyms
     0279a7d Typechecker support for explicitly-bidirectional pattern synonyms
     d84a5cc Add renamer support for explicitly-bidirectional pattern synonyms
     25c2eeb tcLookupPatSyn: look up the PatSyn record for a given Id
     6a78503 Typecheck the wrapper definition of a pattern synonym, after everything in the same scope is typechecked
     32bf8a5 When computing minimal recursive sets of bindings, don't include references in wrapper definitions for explicitly-bidirectional pattern synonyms
     f3262fe Add test cases for explicitly-bidirectional pattern synonym
     893a261 Refactor PatSynBind so that we can pass around PSBs instead of several arguments
     3219ed9 Add note about renaming of pattern synonym wrappers
     535b37c Add user documentation for explicitly-bidirectional pattern synonyms
     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
     5f003d2 Merge branch 'master' into wip/generics-propeq