[commit: ghc] wip/pattern-synonyms's head updated: Add fake entries into the global kind environment for pattern synonyms. (aa3166f)

[git at git.haskell.org]

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

Branch 'wip/pattern-synonyms' now includes:

     09dc9a8 Rename TypeRep.Prec to TypeRep.TyPrec
     0ba74f6 Use mkTcEqPred rather than mkEqPred
     da64c97 Fix inverted gadt-syntax flag for data families
     b4856f9 Do pretty-printing of TyThings via IfaceDecl (Trac #7730)
     6e8861c Use IfLclName instead of OccName in IfaceEqSpec
     d02cd1a Add :kind test in T7730
     dd99434 Comments only (related to Trac #7730)
     d7a228b Set/update upstream repo url for haddock
     fe59334 Export `TimerManager` from GHC.Event (re #9165)
     c63a465 Subsume NullaryTypeClasses by MultiParamTypeClasses (#8993)
     0a55a3c Fix egregious instantiation bug in matchOneConLike (fixing Trac #9023)
     616f54b Test Trac #9023
     3faf83e Add .arcconfig file. Do not use yet.
     56ea745 Add ".text.unlikely" to recognized code sections on Windows.
     c226d25 Emit error in case of duplicate GRE; fixes #7241
     6ad11c4 Fix .arcconfig
     9ff32f9 Typo
     4627575 Tweak comments
     2a463eb Fix compilation of cmm files with -outputdir (Trac #9050)
     f9def07 Typo
     009e86f Suggest Int when user writes int
     ae41a50 Report all possible results from related name spaces
     d3cae19 Add testcase for #9177 and adjust test output
     6e50553 Update test results (last minuite changes)
     3a2b21d Added link ends to role documentation.
     6fa7577 Sorted the language options list alphabetically, and added missing options.
     57cc003 Prevent line wrapping after the dash of an option.
     7ac600d Make the matcher and wrapper Ids in PatSyn into LocalIds, not GlobalIds
     63e1f09 Added more option implication documentation.
     5c89f88 Merge branch 'master' of git://git.haskell.org/ghc
     3bdc78b Make DeriveTraversable imply DeriveFunctor/Foldable
     63d7047 Added testcase for #9069
     1178fa4 Update mod73 test output
     819e1f2 Use UnicodeSyntax when printing
     6e4a750 Only use UnicodeSytanx pretty printing if the locale supports it
     b021572 Test case: GHCi uses UnicodeSyntax if the loaded file uses it.
     e577a52 Fix discarding of unreachable code in the register allocator (#9155)
     fbdebd3 supress warning of bang wildcard pattern-binding (i.e. let !_ = rhs). This fixes #9127
     ab3f95b s/-hi-diffs/-ddump-hi-diffs/ in docs (#9179)
     b36bc2f Test case for #9181 (:browse GHC.TypeLits panic)
     96a8980 Pretty-print built in synonym families in interfaces
     2f8b4c9 Fix obscure problem with using the system linker (#8935)
     9fd507e Raise exceptions when blocked in bad FDs (fixes Trac #4934)
     70f58eb Remove unused --run-cps/--run-cpsz options
     c025817 Don't use showPass in the backend (#8973)
     66bddbb Check that an associated type mentions at least one type variable from the class
     aa18a46 Improve documentation for -fwarn-unused-binds
     52509d8 Document -fwarn-inline-rule-shadowing (Trac #9166)
     59cdb99 Document explicit import/export of data constructors (Trac #8753)
     4b4d81a Suggest -fprint-explicit-kinds when only kind variables are ambiguous
     877a957 Better warning message for orphan instances (Ticket #9178)
     4caadb7 Ship xhtml, terminfo, haskeline (#8919)
     25fb4fe Add .arclint file
     1946922 Make Ptr's parameter phantom
     707bde5 Update test results with new orphan instance warning
     f251afe Revert "Make Ptr's parameter phantom"
     5bdbd51 Make Ptr's parameter phantom
     faddad7 Improve the API doc description of the SmallArray primitive types
     f764aac Fire "map/coerce" only in phase 1
     fdf370e Forgot to amend before pushing...
     0e6bc84 Make better use of the x86 addressing mode
     9e6c6b4 Make FunPtr's role be phantom; add comments.
     1153194 Clarify error message. See #9167.
     8dcfdf9 Add comments about instances of type-level (==).
     0f584ae Refine deprecation warnings in template-haskell.
     051d694 Fix #9097.
     6a1d7f9 Fix #9085.
     e79e2c3 Fix #9062.
     7b10d01 Test #9097.
     9dbf340 Fix #9111.
     f502617 Test #9085.
     f73d42f Test #9111.
     a9ff7d0 Typo in variable name, no functional change
     edd5764 Some typos in comments
     56f8777 Improve error message in Trac #8883
     7817ec1 Comments only explaining the imports for GHC.Integer, GHC.Tuple
     748bec4 White space only
     e5257f8 Fix tyConToIfaceDecl (Trac #9190)
     c8295c0 Simplify variable naming in tcDataKindSig
     7d9feb2 Fix a serious, but rare, strictness analyser bug (Trac #9128)
     7f467d0 Fix Windows build (wibble to fix for Trac #4934)
     165ac4a Catch two typos
     a600c91 Improve IfaceSyn a bit further
     b60df0f Better debug printing
     571f0ad Line up kind and type variables correctly when desugaring TH brackets
     b637585 Fix elemLocalRdrEnv (Trac #9160)
     970e5d9 Bytes allocated by haddock.base has crept up (again)
     632fcf1 Remove forgotten redundant import
     ce19d50 Fixes #95 :edit command should jump to the last error
     0354fb3 Implement `Typeable` support for type-level literals (#8778).
     5ffc68b Fix recomputation of TypeRep in the instance for Typeable (s a) (#9203)
     e09be5f Update the incorrect comment on when function was introduced.
     836981c Redo instance to be more efficient (see #8778, #9203)
     00fc4ba Optimise the Typeable instance for type app a bit, and add a perf test
     e38fe3b accept T9181 output
     652c9e6 Haddock: haddock-library release and Travis stuff
     2ba1a56 Only comments:  add notes explaining the various oddities of the `Typeable` implementation for type-level literals.
     2a41db3 In progress Backpack implementation docs.
     46ec4ae haddock-library: allow 7.4.x building
     453e0fd Typo
     3d81359 Typos in comments
     a52bf96 Finish the rest of the writeup.
     b1888aa Typos in comments
     b6693d3 A bit more tracing of functional dependencies
     0ceb84e Tidy up the printing of single-predicate contexts
     cdc7431 Add a new section to the manual about hiding things that a module doesn't export
     aec9e75 Improve documentation of defaulting rules with OverloadedStrings
     2e362dd Make splitStrProdDmd (and similarly Use) more robust
     64224f1 Comment typo
     9c621e9 Reject forall types in constraints in signatures
     e47baaf More fixes and updates to implementation document
     48abb88 Update documentation to follow 2dc3b476aff28
     aa3166f Add fake entries into the global kind environment for pattern synonyms.