Rename TypeRep.Prec to TypeRep.TyPrec
Use mkTcEqPred rather than mkEqPred

This was mostly done in an earlier commit, but I missed these two
Fix inverted gadt-syntax flag for data families
Do pretty-printing of TyThings via IfaceDecl (Trac #7730)

All the initial work on this was done fy 'archblob' (fcsernik@gmail.com);
thank you!

I reviewed the patch, started some tidying, up and then ended up in a huge
swamp of changes, not all of which I can remember now.  But:

* To suppress kind arguments when we have -fno-print-explicit-kinds,
    - IfaceTyConApp argument types are in a tagged list IfaceTcArgs

* To allow overloaded types to be printed with =>, add IfaceDFunTy to IfaceType.

* When printing data/type family instances for the user, I've made them
  print out an informative RHS, which is a new feature. Thus
        ghci> info T
        data family T a
        data instance T Int = T1 Int Int
        data instance T Bool = T2

* In implementation terms, pprIfaceDecl has just one "context" argument,
  of type IfaceSyn.ShowSub, which says
       - How to print the binders of the decl
         see note [Printing IfaceDecl binders] in IfaceSyn
       - Which sub-comoponents (eg constructors) to print

* Moved FastStringEnv from RnEnv to OccName

It all took a ridiculously long time to do.  But it's done!
Use IfLclName instead of OccName in IfaceEqSpec

The type variables in the IfaceEqSpec of a data constructor are really
ordinarly *occurrences*, so they should be IfLclNames just like any
other type variable occurence.
Add :kind test in T7730
Comments only (related to Trac #7730)
Set/update upstream repo url for haddock

In the future, some script will use the last column to configure
Git to redirect `push` operations to the respective primary Git
repo.

One way could be via the `pushInsteadOf` facility described in

  https://ghc.haskell.org/trac/ghc/wiki/WorkingConventions/Git/Submodules

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
Export `TimerManager` from GHC.Event (re #9165)

This just addresses the specific issue raised in #9165. However, I've noticed
the Haddock comments need to be improved, which will be addressed by a separate
commit.

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
Subsume NullaryTypeClasses by MultiParamTypeClasses (#8993)

MPTC now also handles the nullary case
Fix egregious instantiation bug in matchOneConLike (fixing Trac #9023)

We simply weren't giving anything like the right instantiating types
to patSynInstArgTys in matchOneConLike.

To get these instantiating types would have involved matching the
result type of the pattern synonym with the pattern type, which is
tiresome.  So instead I changed ConPatOut so that instead of recording
the type of the *whole* pattern (in old field pat_ty), it not records
the *instantiating* types (in new field pat_arg_tys).  Then we canuse
TcHsSyn.conLikeResTy to get the pattern type when needed.

There are lots of knock-on incidental effects, but they mostly made
the code simpler, so I'm happy.
Test Trac #9023
Add .arcconfig file. Do not use yet.

Don't use this yet - it's an experiment, a disaster, whatever. Caveat
emptor. I'll probably delete everything. Do not taunt Happy Fun Ball -
you have been warned.

Signed-off-by: Austin Seipp <austin@well-typed.com>
Add ".text.unlikely" to recognized code sections on Windows.

Fixes #9080

Signed-off-by: Austin Seipp <austin@well-typed.com>
Emit error in case of duplicate GRE; fixes #7241

Signed-off-by: Austin Seipp <austin@well-typed.com>
Fix .arcconfig

See, what did I tell you? Broken!

Signed-off-by: Austin Seipp <austin@well-typed.com>
Typo
Tweak comments
Fix compilation of cmm files with -outputdir (Trac #9050)
Typo