[commit: ghc] wip/rae's head updated: Add Ord instances to TH (5e4a65c)

[git at git.haskell.org]

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

Branch 'wip/rae' now includes:

     6efe572 Don't build old-{time,locale} and haskell{98,2010}
     86dda8f Delete old-{time,locale} and haskell{98,2010}
     e888b94 Hide `Data.OldList` module
     f60eeb4 Export scanl' from Data.OldList and Data.List
     067f1e4 Add flag `-fwarn-missing-exported-sigs`
     7ed482d Implement #5462 (deriving clause for arbitrary classes)
     27f9c74 Unbreak build (fallout from 067f1e4f20e)
     fec1c30 Revert change to alias handling in ppLlvmGlobal introduced in d87fa34, which requires LLVM 3.6.
     b0dd347 Rewrite Note [Deriving any class]
     eac9bbe Comments only
     e876208 Rejig builders for pattern synonyms, especially unlifted ones
     76f5f11 Move all the zonk/tidy stuff together into TcMType (refactoring only)
     b685542 Implement full co/contra-variant subsumption checking (fixes Trac #9569)
     073119e Put the decision of when a unification variable can unify with a polytype
     0f5c163 Make the on-the-fly unifier defer forall/forall unification
     16d10ae Fix a latent promotion bug in TcSimplify.simplifyInfer
     5f39c4d Remove TcMType from compiler_stage2_dll0_MODULES
     5760eb5 Test Trac #9318
     b82410a Trac #9222 is actually an ambiguous type, now detected
     e639120 Delete duplicated tests
     230b013 Test Trac #9569
     7b1a856 Fix up tests for Trac #7220; the old test really was ambiguous
     1b6988e Test T2239 actually succeeds without impredicativity, because of the new co/contra subsumption check
     eaccc72 Wibbles (usually improvements) to error messages
     4ba4cc7 Fix Trac #9815
     c5a3938 Test Trac #8149
     6d40470 Comments only
     dbf360a Test #7484 in th/T7484
     da2fca9 Fix #7484, checking for good binder names in Convert.
     adb20a0 Test #1476 in th/T1476
     d627c5c Test that nested pattern splices don't scope (#1476).
     2346de4 Fix #1476 by making splice patterns work.
     1b22d9f Release notes for #1476, #7484.
     3b3944f Test #9824 in th/T9824
     bc05354 Fix #9824 by not warning about unused matches in pattern quotes.
     cfa574c Update manual for pattern splices (#1476)
     7927658 AST changes to prepare for API annotations, for #9628
     803fc5d Add API Annotations
     3e4f49b Fixes ghci :unset -X<ext> so that it doesn't fail to reverse option. (fixes trac #9293)
     3793d3b Export more Packages functions
     a97f90c Add Data.Void to base (re #9814)
     c0ad5bc Capture original source for literals
     3583312 Add 'fillBytes' to Foreign.Marshal.Utils.
     6265f1c Add T7220a.stderr
     065d433 Update Control.Monad.ST.* for Safe Haskell as now they're safe by default
     453ce62 Update Foreign.* for Safe Haskell now that they're safe by default
     5f84bd1 Improve Safe Haskell bounds for changes to base over time
     2a523eb Be consistent with placement of Safe Haskell mode at top of file
     e16a342 llvmGen: Compatibility with LLVM 3.5 (re #9142)
     3222b7a Add displayException method to Exception (#9822)
     02f8f6a Add function for size-checked conversion of Integral types
     624a7c5 ghc: allow --show-options and --interactive together
     2cc854b Add -fdefer-typed-holes flag which defers hole errors to runtime.
     137b331 Deprecate Data.Version.versionTags (#2496)
     8a8cdbb Implement `Natural` number type (re #9818)
     ef5bcc1 Re-center bytes-allocated for `haddock.compiler`
     888d75c Revert "Test Trac #9318"
     be7fb7e integer-gmp2: export `Word`-counterpart of gcdInt
     2b71b35 Remove reference to `MIN_VERSION_integer_gmp2`
     5ea3ee0 Add gcd/Word RULE-based optimisation
     4b65376 Add `isValidNatural` predicate (#9818)
     b836139 Fix `fromInteger` constructing invalid `Natural`
     41300b7 Implement {gcd,lcm}/Natural optimisation (#9818)
     96d29b5 Call `popCountBigNat` directly (#9818)
     cc7a735 Define void using <$ (re #9827)
     fb061c1 Add `Storable` instances for `Complex` and `Ratio`
     a9a0dd3 Install `ghc-gmp.h` C include header file (#9281)
     6d1c8ec Persist build-time GMP ver to `HsIntegerGmp.h`
     fd25379 Fix minor typo in 6d1c8ec79adf566d57d2c35aac
     41c3545 Update in-tree GMP to version 5.0.4
     6a13099 Try to improve Make dependency for `ghc-gmp.h`
     a7c2972 Use the `patch` command detected by the top-level `configure`
     1617a10 accessors to RTS flag values -- #5364
     bdeab90 Minor tweaks to API Annotation
     3359133 Add `--fwarn-trustworthy-safe` to `-Wall` again.
     63d2ada Test #7643 in typecheck/should_compile/T7643.
     8459404 Test #8044 in typecheck/should_fail/T8044
     5c35415 Test #8031 in th/T8031
     8e82857 Changelog entry and /Since/ for alloc-counter ops
     e159e08 Mark `Data.Typeable.Internal` as Trustworthy after consverstation with ekmett & hvr.
     e22bc0d Make clearNursery free
     452eb80 Add +RTS -n<size>: divide the nursery into chunks
     65d1c03 Document +RTS -xq
     5fa0186 Update `deepseq` to latest 1.4.0.0 snapshot
     4af5748 Replace `STRICT[12345]` macros by `BangPatterns`
     fb5baaf Insert changelog entries for GHC 7.8.4
     4bf055c Define `Data` instance for `Natural` type (#9818)
     cb9bcec Test Trac #9834
     ed56c02 Use {bit,popCount}Integer for `Bits Integer`
     4897e70 configure.ac: fix test == bashism
     b19845d Cabal submodule update: hole support and tests.
     7a6fb98 Inline mkModuleToPkgConfAll into mkModuleToPkgConfGeneric.
     8c7d20d Change loadSrcInterface to return a list of ModIface
     d8c437b Don't require PatternSynonyms language extension to just use pattern synonyms (see #9838)
     a67ebbe Resume reporting incomplete pattern matches for record updates
     417b874 Don't require ConstraintKinds at usage sites (Trac #9838)
     4721167 Trac #6022 is actually fine now
     b61091d Test Trac #7243
     01f03cb Get the right fixity-env in standalone deriving (Trac #9830)
     73e5e2f Embed Git commit id into `ghc --info` output
     65cae36 compiler: add new modules pulling in FunFlags
     7dd4c12 Improve VERSION/GIT_COMMIT_ID handling for sdist
     227a566 Don't discard a bang on a newtype pattern (Trac #9844)
     342ebb0 Tidy up tracing somewhat
     58dcd5c Re-implement `testPrimeInteger` predicate (#9281)
     b5e8b3b Make the linker API thread-safe
     9e6e479 Add purgeObj() to remove the symbol table entries for an object
     8d78311 Re-implement `nextPrimeInteger` predicate (#9281)
     2eecf34 Re-activate `integerGmpInternals` test (#9281)
     171101b Kind variables in RHS of an associated type instances should be bound on LHS
     7460daf Rename some of the functions in NameSet, to make the uniform with VarSet etc
     d831b6f Implement Partial Type Signatures
     f0df243 Update submodule 'haddock' to render 'pattern' as a keyword
     447f592 Minor refactoring of static C initializers
     d108a19 Fix testsuite failures after the PartialTypeSignatures merge
     a809eab More static C initializer refactoring
     d0d4674 Re-implement `powModInteger`  (#9281)
     859680f Implement `GHC.Natural.powModNatural` (#9818)
     83c4843 Re-implement `recipModInteger` (#9281)
     c0e0ca4 Reimplement `gcdExtInteger` (#9281)
     46c53d5 Special case interactive package key for mkQualPackage.
     4c834fd Filter instance visibility based on set of visible orphans, fixes #2182.
     6d47ab3 Shorten long lines in DynFlags, add details to ghci usage guide.
     ed85d7e More Tweaks for API Anotations
     643635e Add bash completion and README
     383733b Fix obscure problem with using the system linker (#8935)
     aede9f0 compiler: unlit profiling/ modules
     780b061 compiler: fix trac issue #8815
     9ece13d Update docs: instance visibility bug is no more.
     0c48750 Unlit compiler/cmm/ module(s)
     7ad3846 Unlit AsmCodeGen.lhs
     0511c0a Revert "Remove RAWCPP_FLAGS"
     4b16ff6 unlit compiler/stranal/ modules
     e992317 unlit compiler/types/ modules
     e6a2050 Fix the handling of instance signatures (Trac #9582, #9833)
     e77faac Wibble to the "instance signatures" patch
     370b0f5 Remove references to Parser.y.pp
     c34ef46 Test Trac #7908
     1d32a85 Fix parser for UNPACK pragmas
     2d324dd Fix malformed `configure` script
     a29e295 Mention existence of 'Natural' in "Data.Word"
     9437a24 Uncomment the instance signatures, to activate the test
     7932b2a Revert "Add purgeObj() to remove the symbol table entries for an object"
     4b51194 Revert "Make the linker API thread-safe"
     06eaa64 Fix test suite race on T5462 (solves intermittent T5462Yes1/T5462Yes2/T5462No1 failure)
     5d9bb56 Comments and formatting in TyCon
     668a137 Remove references to SynTyCon. Fixes #9812
     26a3d0f Rename Untouchables to TcLevel
     30d2605 Test Trac #4921
     2a67fb3 Minor refactoring of Edward's recent orphans patch (Trac #2182)
     863854a Fix another bug in deriving( Data ) for data families; Trac #4896
     c41d214 Unique-ify the names of top-level auxiliary bindings in derived instances (Trac #7947)
     6b063ef Make Natural's (.|.) really an OR operation (#9818)
     7c38e98 Make `read . show = id` for Data.Fixed (fix #9240)
     bf2d754 Declare official GitHub home of libraries/parallel
     46b278f Generate real (but empty) object files for signatures.
     cce292b Update 32-bit performace numbers (has not been done for ages)
     289e52f Make annotations test case cleaning less aggressive
     bc9e81c Comments only
     1389ff5 compiler: de-lhs main/
     dc00fb1 compiler: de-lhs prelude/
     9fc4382 compiler: de-lhs rename/
     b04296d compiler: de-lhs coreSyn/
     0c48e17 compiler: de-lhs utils/
     10fdf27 compiler: de-lhs iface/
     29a5210 compiler: de-lhs specialise/
     a56fe4a compiler: de-lhs basicTypes/
     b9b1fab compiler: de-lhs hsSyn/
     6ecd27e compiler: de-lhs simplCore/
     612e573 compiler: de-lhs stgSyn/
     bafba11 compiler: de-lhs simplStg/
     b57ff27 compiler: de-lhs typecheck/
     4d5f83a compiler: de-lhs deSugar/
     cc071ec Comments on TrieMap and unifier.
     d6f9276 Prevent solveFlatWanteds from losing insolubles when using typechecker plugins
     78edd76 Cabal submodule update
     55a2a0b Revert "Revert "Make the linker API thread-safe""
     a48bee9 Revert "Revert "Add purgeObj() to remove the symbol table entries for an object""
     09af720 Disable T8124 on Windows (uses pthreads)
     9a10107 Add notes about the inert CTyEqCans
     87160c1 renamer: fix trac issue #9778
     3ebe304 docs: Update to reflect reality
     7cd6806 Add -fwarn-unticked-promoted-constructors to -Wall
     da98592 msse flag handling: fix trac issue #9777
     08610c1 Implement `calloc{,Bytes,Array,Array0}` allocators
     d80022d Add references between Data.Traversable.for and Data.Foldable.for_ and co.
     9a1779e Portability: wc -l sometimes has leading spaces, trim them off.
     7383ce9 Add ticket-ref to changelog entry (fup to 08610c1)
     b9f636b Set proper `CTYPE` for POSIX `CGroup`
     334cb10 Update `unix` submodule to latest snapshot
     d629576 Added comments to flattening-notes
     030ece4 Add -I$1/$2/build/autogen to $1_$2_DIST_CC_OPTS
     e74a9e9 Remove `inline` from integer_gmp_mpn_import1()
     7535c83 Comments only
     37c2ed4 Optimise partitionFunEqs for the 'false' case
     15a54be Improve the treatment of AppTy equalities
     d64e682 Comments and variable names only, in type checking of (e1 $ e2)
     1d44261 Revise the inert-set invariants again
     ac73d1a Revise flattening-notes
     5818378 RAE's response to SPJ's question in flattening-notes
     b06908b Fix #9871 by clarifying documentation.
     8688f6a Add doctest examples for Data.Maybe
     2515686 catch some recent typos
     c2c1888 Update `process` submodule to pull in Safe Haskell fixes
     5e4a65c Add Ord instances to TH