12 months agoBump Cabal submodule
Ben Gamari [Wed, 8 Aug 2018 00:10:01 +0000 (20:10 -0400)] 
Bump Cabal submodule

12 months agoBump binary submodule to
Ben Gamari [Mon, 6 Aug 2018 22:39:35 +0000 (18:39 -0400)] 
Bump binary submodule to

This is actually a decrease in the version number since a bump to 0.10
wasn't actually necessary.

(cherry picked from commit 960a7d17a79417300ee81e884e867bf3de4e535b)

12 months agoBump hadrian submodule
Ben Gamari [Sun, 5 Aug 2018 14:24:30 +0000 (10:24 -0400)] 
Bump hadrian submodule

12 months agoTestsuite driver: fix encoding issue when calling ghc-pkg
Krzysztof Gogolewski [Mon, 6 Aug 2018 19:38:52 +0000 (21:38 +0200)] 
Testsuite driver: fix encoding issue when calling ghc-pkg

In Python 3, subprocess.communicate() returns a pair of bytes, which
need to be decoded. In, we were just calling str() instead,
which converts b'x' to "b'x'". As a result, the loop that was checking
pkginfo for lines starting with 'library-dirs' couldn't work.

Reviewers: bgamari, thomie, Phyx

Reviewed By: thomie

Subscribers: Phyx, rwbarton, carter

Differential Revision:

(cherry picked from commit 36a4c19494e2cb7e968f1d0e0c09926a660e1a56)

12 months ago[docs] Add missed specialisations warnings to list of those not enabled by -Wall
Maximilian Tagher [Sat, 28 Jul 2018 21:04:16 +0000 (14:04 -0700)] 
[docs] Add missed specialisations warnings to list of those not enabled by -Wall

Enabling `-Weverything` does enable those warnings.

(cherry picked from commit b062bd10a88ea407ae91610f822f0c352909bcce)
(cherry picked from commit 24b76d1bef7e61791907fbd063f85643eeb1211a)

12 months agoUnhide GHC.List for haddock
Simon Jakobi [Thu, 19 Jul 2018 12:35:15 +0000 (14:35 +0200)] 
Unhide GHC.List for haddock

The unhidden module GHC.OldList recommends using GHC.List instead.
In consequence we should also have haddocks for GHC.List.

(cherry picked from commit e3df129c8bf4c35693d01ea66238882f3e3b6fe1)
(cherry picked from commit 672f177300b2df1b8a4cd49d560a6fd6da2415d2)

12 months agodocs: Fix wrong module name in hsig example
Mathieu Boespflug [Sat, 21 Jul 2018 11:48:33 +0000 (13:48 +0200)] 
docs: Fix wrong module name in hsig example

In the module signatures section, two modules were defined, `Str` and
`A`, but `A` was importing `Text`, not `Str`.

(cherry picked from commit 26ab3635ca342c88310321d7f310f1c12c23ec4c)
(cherry picked from commit ce9b459de30e15f2d65518ca12974a692256d477)

12 months agoAdd since annotation to GHC.ByteOrder
Alexander Biehl [Sun, 5 Aug 2018 10:29:51 +0000 (12:29 +0200)] 
Add since annotation to GHC.ByteOrder

(cherry picked from commit 6fb2620dbc420c976dc9da90b0efc6eae533ebff)
(cherry picked from commit 8b357c6ad17bfe802c4a818b0cd7440bced024a3)

12 months agorts: Ensure that the_gc_thread is aligned
Ben Gamari [Mon, 6 Aug 2018 18:52:59 +0000 (14:52 -0400)] 
rts: Ensure that the_gc_thread is aligned

Since we cast this to a gc_thread the compiler may assume that it's aligned.
Make sure that this is so. Fixes #15482.

(cherry picked from commit c6cc93bca69abc258513af8cf2370b14e70fd8fb)

12 months agocircleci: Don't build validate-x86_64-linux-debug unregisterised
Ben Gamari [Sun, 5 Aug 2018 20:27:21 +0000 (22:27 +0200)] 
circleci: Don't build validate-x86_64-linux-debug unregisterised

Summary: This was a cut-and-paste error.

Reviewers: alpmestan

Reviewed By: alpmestan

Subscribers: alpmestan, rwbarton, thomie, carter

GHC Trac Issues: #15466

Differential Revision:

(cherry picked from commit f355b72113e646cb3785937f5506ee4c084c127f)

12 months agoRefactor printMinimalImports (#15439)
vrom911 [Sun, 5 Aug 2018 13:28:25 +0000 (15:28 +0200)] 
Refactor printMinimalImports (#15439)

Split into getMinimalImports and printMinimalImports.
Export both functions from RnNames module.

Reviewers: bgamari, mpickering

Reviewed By: mpickering

Subscribers: mpickering, rwbarton, carter

GHC Trac Issues: #15439

Differential Revision:

(cherry picked from commit 73683f143d352343b00b1ab4f3abeb38b81794be)

12 months agoFix the TcLevel not being set correctly when finding valid hole fits
Matthías Páll Gissurarson [Sat, 21 Jul 2018 13:48:53 +0000 (15:48 +0200)] 
Fix the TcLevel not being set correctly when finding valid hole fits

This fixes the problem revealed by a new assert as it relates to valid
hole fits. However, tests `T10384`, `T14040a` and `TcStaticPointersFail02`
still fail the assert, but they are unrelated to valid hole fits.

Reviewers: bgamari, simonpj

Reviewed By: simonpj

Subscribers: simonpj, rwbarton, thomie, carter

GHC Trac Issues: #15384

Differential Revision:

(cherry picked from commit b202e7a48401bd8e805a92dcfe5ea059cbd8e41c)

12 months agoTurn on MonadFail desugaring by default
Herbert Valerio Riedel [Mon, 6 Aug 2018 16:59:40 +0000 (12:59 -0400)] 
Turn on MonadFail desugaring by default

This contains two commits:


Make GHC's code-base compatible w/ `MonadFail`

There were a couple of use-sites which implicitly used pattern-matches
in `do`-notation even though the underlying `Monad` didn't explicitly
support `fail`

This refactoring turns those use-sites into explicit case
discrimations and adds an `MonadFail` instance for `UniqSM`
(`UniqSM` was the worst offender so this has been postponed for a
follow-up refactoring)


Turn on MonadFail desugaring by default

This finally implements the phase scheduled for GHC 8.6 according to

This also preserves some tests that assumed MonadFail desugaring to be
active; all ghc boot libs were already made compatible with this
`MonadFail` long ago, so no changes were needed there.

Test Plan: Locally performed ./validate --fast

Reviewers: bgamari, simonmar, jrtc27, RyanGlScott

Reviewed By: bgamari

Subscribers: bgamari, RyanGlScott, rwbarton, thomie, carter

Differential Revision:

12 months agoBump filepath submodule
Ben Gamari [Thu, 2 Aug 2018 21:56:30 +0000 (17:56 -0400)] 
Bump filepath submodule

(cherry picked from commit 9472db132d2e455c106778c7daa30af71fbf6fee)

12 months agoBump binary submodule
Ben Gamari [Thu, 2 Aug 2018 12:29:52 +0000 (08:29 -0400)] 
Bump binary submodule

(cherry picked from commit 3110428dd63a2014fe131cb2abff192570cc89e9)

12 months agoBump Cabal submodule
Ben Gamari [Fri, 3 Aug 2018 20:33:13 +0000 (16:33 -0400)] 
Bump Cabal submodule

12 months agofixup! Disable T10962 on llvm for now
Krzysztof Gogolewski [Sun, 22 Jul 2018 20:50:06 +0000 (22:50 +0200)] 
fixup! Disable T10962 on llvm for now

(cherry picked from commit a606750b36862367d038813f9fe7170f93c36222)

12 months agoClone relevant constraints to avoid side-effects on HoleDests. Fixes #15370.
Matthías Páll Gissurarson [Tue, 24 Jul 2018 21:57:48 +0000 (23:57 +0200)] 
Clone relevant constraints to avoid side-effects on HoleDests. Fixes #15370.

Summary: When looking for valid hole fits, the constraints relevant
to the hole may sometimes contain a HoleDest. Previously,
these were not cloned, which could cause the filling of filled
coercion hole being, which would cause an assert to fail. This is now fixed.

Test Plan: Regression test included.

Reviewers: simonpj, bgamari, goldfire

Reviewed By: simonpj

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #15370

Differential Revision:

(cherry picked from commit 0dc86f6bc454253969dedc31bed477eded4cf82d)

12 months agoPlugin dependency information is stored separately
Christiaan Baaij [Wed, 1 Aug 2018 18:21:22 +0000 (14:21 -0400)] 
Plugin dependency information is stored separately

We need to store the used plugins so that we recompile
a module when a plugin that it uses is recompiled.

However, storing the `ModuleName`s of the plugins used by a
module in the `dep_mods` field made the rest of GHC think
that they belong in the HPT, causing at least the issues
reported in #15234

We therefor store the `ModuleName`s of the plugins in a
new field, `dep_plgins`, which is only used the the
recompilation logic.

Reviewers: mpickering, bgamari

Reviewed By: mpickering, bgamari

Subscribers: alpmestan, rwbarton, thomie, carter

GHC Trac Issues: #15234

Differential Revision:

(cherry picked from commit 52065e95c6df89d0048c6e3f35d6cc26ce8246f9)

12 months agoTreat isConstraintKind more consistently
Simon Peyton Jones [Wed, 25 Jul 2018 10:35:43 +0000 (11:35 +0100)] 
Treat isConstraintKind more consistently

It turned out that we were not being consistent
about our use of isConstraintKind.

It's delicate, because the typechecker treats Constraint and Type as
/distinct/, whereas they are the /same/ in the rest of the compiler
(Trac #11715).

And had it wrong, which led to Trac #15412.  This patch does the

* Rename isConstraintKind      to tcIsConstraintKind
         returnsConstraintKind to tcReturnsConstraintKind
  to emphasise that they use the 'tcView' view of types.

* Move these functions, and some related ones (tcIsLiftedTypeKind),
  from Kind.hs, to group together in Type.hs, alongside isPredTy.

It feels very unsatisfactory that these 'tcX' functions live in Type,
but it happens because isPredTy is called later in the compiler
too.  But it's a consequence of the 'Constraint vs Type' dilemma.

(cherry picked from commit c5d31df70b16dc346b5860077c8bbe585ddb7a78)

12 months agoFix #15385 by using addDictsDs in matchGuards
Ryan Scott [Mon, 30 Jul 2018 12:47:39 +0000 (08:47 -0400)] 
Fix #15385 by using addDictsDs in matchGuards

When coverage checking pattern-matches, we rely on the call
sites in the desugarer to populate the local dictionaries and term
evidence in scope using `addDictsDs` and `addTmCsDs`. But it turns
out that only the call site for desugaring `case` expressions was
actually doing this properly. In another part of the desugarer,
`matchGuards` (which handles pattern guards), it did not update the
local dictionaries in scope at all, leading to #15385.

Fixing this is relatively straightforward: just augment the
`BindStmt` case of `matchGuards` to use `addDictsDs` and `addTmCsDs`.
Accomplishing this took a little bit of import/export tweaking:

* We now need to export `collectEvVarsPat` from `HsPat.hs`.
* To avoid an import cycle with `Check.hs`, I moved `isTrueLHsExpr`
  from `DsGRHSs.hs` to `DsUtils.hs`, which resides lower on the
  import chain.

Test Plan: make test TEST=T15385

Reviewers: simonpj, bgamari

Reviewed By: simonpj

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #15385

Differential Revision:

(cherry picked from commit 9d388eb83e797fd28e14868009c4786f3f1a8aa6)

12 months agoSmall refactor in desugar of pattern matching
Simon Peyton Jones [Fri, 27 Jul 2018 08:17:20 +0000 (09:17 +0100)] 
Small refactor in desugar of pattern matching

In reviewing Phab:D4968 for Trac #15385 I saw a small
but simple refactor to avoid unnecessary work in the

This patch just arranges to call
   matchSinglePatVar v ...
rather than
   matchSinglePat (Var v) ...

The more specialised function already existed, as

I also added more comments about decideBangHood

(cherry picked from commit 45cfe6514afb47c26883687e25ff7eb1e40c5a52)

12 months agoRemove the type-checking knot.
Richard Eisenberg [Tue, 17 Jul 2018 04:12:34 +0000 (00:12 -0400)] 
Remove the type-checking knot.

Bug #15380 hangs because a knot-tied TyCon ended up in a kind.
Looking at the code in tcInferApps, I'm amazed this hasn't happened
before! I couldn't think of a good way to fix it (with dependent
types, we can't really keep types out of kinds, after all), so
I just went ahead and removed the knot.

This was remarkably easy to do. In tcTyVar, when we find a TcTyCon,
just use it. (Previously, we looked up the knot-tied TyCon and used
that.) Then, during the final zonk, replace TcTyCons with the real,
full-blooded TyCons in the global environment. It's all very easy.

The new bit is explained in the existing
Note [Type checking recursive type and class declarations]
in TcTyClsDecls.

Naturally, I removed various references to the knot and the
zonkTcTypeInKnot (and related) functions. Now, we can print types
during type checking with abandon!

NB: There is a teensy error message regression with this patch,
around the ordering of quantified type variables. This ordering
problem is fixed (I believe) with the patch for #14880. The ordering
affects only internal variables that cannot be instantiated with
any kind of visible type application.

There is also a teensy regression around the printing of types
in TH splices. I think this is really a TH bug and will file

Test case: dependent/should_fail/T15380

(cherry picked from commit f8618a9b15177ee8c84771b927cb3583c9cd8408)

12 months agoBump Cabal submodule to 2.4
Ben Gamari [Wed, 1 Aug 2018 23:42:53 +0000 (19:42 -0400)] 
Bump Cabal submodule to 2.4

12 months agoFix #15450 by refactoring checkEmptyCase'
Ryan Scott [Wed, 1 Aug 2018 18:26:44 +0000 (14:26 -0400)] 
Fix #15450 by refactoring checkEmptyCase'

`checkEmptyCase'` (the code path for coverage-checking
`EmptyCase` expressions) had a fair bit of code duplication from the
code path for coverage-checking non-`EmptyCase` expressions, and to
make things worse, it behaved subtly different in some respects (for
instance, emitting different warnings under unsatisfiable
constraints, as shown in #15450). This patch attempts to clean up
both this discrepancy and the code duplication by doing the

* Factor out a `pmInitialTmTyCs` function, which returns the initial
  set of term and type constraints to use when beginning coverage
  checking. If either set of constraints is unsatisfiable, we use an
  empty set in its place so that we can continue to emit as many
  warnings as possible. (The code path for non-`EmptyCase`
  expressions was doing this already, but not the code path for
  `EmptyCase` expressions, which is the root cause of #15450.)

  Along the way, I added a `Note` to explain why we do this.
* Factor out a `pmIsSatisfiable` constraint which checks if a set of
  term and type constraints are satisfiable. This does not change any
  existing behavior; this is just for the sake of deduplicating code.

Test Plan: make test TEST=T15450

Reviewers: simonpj, bgamari

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #15450

Differential Revision:

(cherry picked from commit 7f3cb50dd311caefb536d582f1e3d1b33d6650f6)

12 months agoFix #15415 and simplify tcWildCardBinders
Vladislav Zavialov [Wed, 1 Aug 2018 18:28:16 +0000 (14:28 -0400)] 
Fix #15415 and simplify tcWildCardBinders

Test Plan: Validate

Reviewers: goldfire, simonpj, bgamari

Reviewed By: simonpj

Subscribers: RyanGlScott, rwbarton, thomie, carter

GHC Trac Issues: #15415

Differential Revision:

(cherry picked from commit 120cc9f85ee1120072eb44c5bf37ac3055883605)

12 months agolinker: Nub rpaths
Moritz Angermann [Wed, 1 Aug 2018 18:25:03 +0000 (14:25 -0400)] 
linker: Nub rpaths

When compiling and linking files in `ghci`, we keep adding rpath
arguments to the linker command invoation.  If those are identical we
should `nub` them out.  Otherwise we not only risk overflowing the
argument limit, but also embed huge amounts of identical rpath values
into the dynamic library, eventually leading to the overflow of the load
command size limit, due to the number of rpath entries alone.

A further improvement could be to pass `-Xlinker -dead_strip_dylibs`;
that however might be stipping too aggressively, and potentially lead to
missing symbols?

For the time being I suggest to only do the nubbing and if need be to
provide -Wl,-dead_strip_dylibs when invoking ghci.

Test Plan: ./validate

Reviewers: bgamari, hvr

Reviewed By: bgamari

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #15446

Differential Revision:

(cherry picked from commit b803c40608119469bdda330cb88860be2cbed25b)

12 months agoFix #15453: bug in ForAllCo case in opt_trans_rule
Ningning Xie [Sun, 29 Jul 2018 11:15:33 +0000 (13:15 +0200)] 
Fix #15453: bug in ForAllCo case in opt_trans_rule


co1 = \/ tv1 : eta1. r1
co2 = \/ tv2 : eta2. r2

We would like to optimize `co1; co2` so we push transitivity inside forall.
It should be

\/tv1 : (eta1;eta2).  (r1; r2[tv2 |-> tv1 |> eta1])

It is implemented in the ForAllCo case in opt_trans_rule in OptCoercion.
However current implementation is not right:

r2' = substCoWithUnchecked [tv2] [TyVarTy tv1] r2 -- ill-kinded!

This patch corrects it to be

r2' = substCoWithUnchecked [tv2] [mkCastTy (TyVarTy tv1) eta1] r2

Test Plan: validate

Reviewers: bgamari, goldfire, RyanGlScott

Reviewed By: RyanGlScott

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #15453

Differential Revision:

(cherry picked from commit 11de4380c2f16f374c6e8fbacf8dce00376e7efb)

12 months agoEnable two-step allocator on FreeBSD
Ben Gamari [Mon, 30 Jul 2018 22:01:40 +0000 (18:01 -0400)] 
Enable two-step allocator on FreeBSD

Simplify #ifdef nesting and use MAP_GUARD on FreeBSD and similar
systems. This allows the two-step allocator to be used on FreeBSD,
fixing #15348.

(cherry picked from commit 123aeb916cba93018039e583d42408dae80a6dc9)

12 months agotestsuite: Add test for #15346
Richard Eisenberg [Thu, 19 Jul 2018 04:16:13 +0000 (00:16 -0400)] 
testsuite: Add test for #15346

Test case: dependent/should_compile/T{15346,15419}.

12 months agoFix some casts.
Ben Gamari [Tue, 31 Jul 2018 20:44:12 +0000 (16:44 -0400)] 
Fix some casts.

This fixes #15346, and is a team effort between Ryan Scott and
myself (mostly Ryan). We discovered two errors related to FC's
"push" rules, one in the TPush rule (as implemented in pushCoTyArg)
and one in KPush rule (it shows up in liftCoSubstVarBndr).

The solution: do what the paper says, instead of whatever random
thoughts popped into my head as I was actually implementing.

Note that this is a backport of the fix merged to master,

Also fixes #15419, which is actually the same underlying problem.

Test case: dependent/should_compile/T{15346,15419}.

12 months agoFix Git commit ID detection in Git worktrees
Sylvain Henry [Sat, 28 Jul 2018 15:48:04 +0000 (17:48 +0200)] 
Fix Git commit ID detection in Git worktrees

Summary: When using a Git worktree, ".git" is a file, not a directory

Reviewers: bgamari, monoidal

Reviewed By: monoidal

Subscribers: rwbarton, thomie, erikd, carter

Differential Revision:

(cherry picked from commit 3539561b24b78aee2b37280ddf6bb64e2db3a67d)

12 months agoFix PrelRules.caseRules to account for out-of-range tags
Simon Peyton Jones [Wed, 25 Jul 2018 15:41:16 +0000 (16:41 +0100)] 
Fix PrelRules.caseRules to account for out-of-range tags

As Trac #15436 points out, it is possible to get
   case dataToTag# (x :: T) of
      DEFAULT -> blah1
      -1#     -> blah2
      0       -> blah3

The (-1#) alterantive is unreachable, because dataToTag# returns
tags in the range [0..n-1] where n is the number of data constructors
in type T.

This actually made GHC crash; now we simply discard the unreachable
alterantive.  See Note [Unreachable caseRules alternatives]
in PrelRules

(cherry picked from commit 9897f6783a58265d5eaef5fb06f04320c7737e87)

12 months agoStop marking soluble ~R# constraints as insoluble
Simon Peyton Jones [Mon, 23 Jul 2018 14:33:13 +0000 (15:33 +0100)] 
Stop marking soluble ~R# constraints as insoluble

We had a constraint (a b ~R# Int), and were marking it as 'insoluble'.
That's bad; it isn't.  And it caused Trac #15431. Soultion is simple.

I did a tiny refactor on can_eq_app, so that it is used only for
nominal equalities.

(cherry picked from commit f0d27f515ffbc476144d1d1dd1a71bf9fa93c94b)

12 months agoFix #15423 by using pprAStmtContext
Ryan Scott [Fri, 20 Jul 2018 10:50:50 +0000 (12:50 +0200)] 
Fix #15423 by using pprAStmtContext

Previously, we were using `pprStmtContext` instead, which
led to error messages missing indefinite articles where they were

Test Plan: make test TEST="T13242a T7786 Typeable1"

Reviewers: bgamari

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #15423

Differential Revision:

(cherry picked from commit 99f45e2a751dda4fdf00256d397a2932d430f3a7)

12 months agoFix the GHCi debugger with ApplicativeDo
Simon Marlow [Sun, 22 Jul 2018 15:03:33 +0000 (17:03 +0200)] 
Fix the GHCi debugger with ApplicativeDo

`collectLStmtsBinders` was returning nothing for `ApplicativeStmts`, which
caused the debugger to not track free variables in many cases when using

Test Plan:
* new test case
* validate

Reviewers: bgamari, erikd

Reviewed By: bgamari

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #15422

Differential Revision:

(cherry picked from commit 4ea9311cc5c3b99ea6915bee23f0a6776731f20e)

12 months agoSuppress -Winaccessible-code in derived code
Ryan Scott [Tue, 24 Jul 2018 12:40:42 +0000 (14:40 +0200)] 
Suppress -Winaccessible-code in derived code

It's rather unfortunate that derived code can produce inaccessible
code warnings (as demonstrated in #8128, #8740, and #15398), since
the programmer has no control over the generated code. This patch
aims to suppress `-Winaccessible-code` in all derived code. It
accomplishes this by doing the following:

* Generalize the `ic_env :: TcLclEnv` field of `Implication` to
  be of type `Env TcGblEnc TcLclEnv` instead. This way, it also
  captures `DynFlags`, which record the flag state at the time
  the `Implication` was created.
* When typechecking derived code, turn off `-Winaccessible-code`.
  This way, any insoluble given `Implication`s that are created when
  typechecking this derived code will remember that
  `-Winaccessible-code` was disabled.
* During error reporting, consult the `DynFlags` of an
  `Implication` before making the decision to report an inaccessible
  code warning.

Test Plan: make test TEST="T8128 T8740 T15398"

Reviewers: simonpj, bgamari

Reviewed By: simonpj

Subscribers: monoidal, rwbarton, thomie, carter

GHC Trac Issues: #8128, #8740, #15398

Differential Revision:

(cherry picked from commit 44a7b9baa45c4ab939c7d996519b5e3de3e13c5a)

12 months agoFix Ar crashing on odd-sized object files (Trac #15396)
Krzysztof Gogolewski [Fri, 27 Jul 2018 20:10:52 +0000 (22:10 +0200)] 
Fix Ar crashing on odd-sized object files (Trac #15396)

Summary: All the work was done by Moritz Angermann.

Test Plan: validate

Reviewers: angerman, RyanGlScott, bgamari

Reviewed By: angerman

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #15396

Differential Revision:

(cherry picked from commit 754c3a55a603b155fa5d9a282de73d41a4694ffc)

12 months agoFix pretty-printing of data declarations in splices
Krzysztof Gogolewski [Sun, 22 Jul 2018 16:58:33 +0000 (18:58 +0200)] 
Fix pretty-printing of data declarations in splices

Test Plan: validate

Reviewers: RyanGlScott, bgamari

Reviewed By: RyanGlScott

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #15365

Differential Revision:

(cherry picked from commit 3aa09cc5af9cacba91915c095f9652ee5ed31ec7)

12 months agoHarden fixST
David Feuer [Sat, 21 Jul 2018 19:45:35 +0000 (15:45 -0400)] 
Harden fixST

Trac #15349 reveals that lazy blackholing can cause trouble for
`fixST` much like it can for `fixIO`. Make `fixST` work just
like `fixIO`.

Reviewers: simonmar, hvr, bgamari

Reviewed By: simonmar

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #15349

Differential Revision:

(cherry picked from commit 5a49651f3161473b383ec497af38e9daa022b9ac)

12 months agoFix a major copy'n'paste error in LLVM CodeGen
Krzysztof Gogolewski [Sun, 22 Jul 2018 15:33:32 +0000 (17:33 +0200)] 
Fix a major copy'n'paste error in LLVM CodeGen

In D4592, `AddWordC` is lowered as an unsigned subtraction instead
of an unsigned addition when compiling with LLVM.

This patch rectifies that.

Reviewers: angerman, bgamari, monoidal

Reviewed By: angerman, bgamari, monoidal

Subscribers: osa1, rwbarton, thomie, carter

Differential Revision:

(cherry picked from commit f629442be93f4608e6bb53bfe2264a406230c546)

12 months agostack: fix stack allocations on Windows
Tamar Christina [Wed, 18 Jul 2018 20:03:58 +0000 (21:03 +0100)] 
stack: fix stack allocations on Windows

On Windows one is not allowed to drop the stack by more than a page size.
The reason for this is that the OS only allocates enough stack till what
the TEB specifies. After that a guard page is placed and the rest of the
virtual address space is unmapped.

The intention is that doing stack allocations will cause you to hit the
guard which will then map the next page in and move the guard.  This is
done to prevent what in the Linux world is known as stack clash

There are modules in GHC for which the liveliness analysis thinks the
reserved 8KB of spill slots isn't enough.  One being DynFlags and the
other being Cabal.

Though I think the Cabal one is likely a bug:

  4d6544:       81 ec 00 46 00 00       sub    $0x4600,%esp
  4d654a:       8d 85 94 fe ff ff       lea    -0x16c(%ebp),%eax
  4d6550:       3b 83 1c 03 00 00       cmp    0x31c(%ebx),%eax
  4d6556:       0f 82 de 8d 02 00       jb     4ff33a <_cLpg_info+0x7a>
  4d655c:       c7 45 fc 14 3d 50 00    movl   $0x503d14,-0x4(%ebp)
  4d6563:       8b 75 0c                mov    0xc(%ebp),%esi
  4d6566:       83 c5 fc                add    $0xfffffffc,%ebp
  4d6569:       66 f7 c6 03 00          test   $0x3,%si
  4d656e:       0f 85 a6 d7 02 00       jne    503d1a <_cLpb_info+0x6>
  4d6574:       81 c4 00 46 00 00       add    $0x4600,%esp

It allocates nearly 18KB of spill slots for a simple 4 line function
and doesn't even use it.  Note that this doesn't happen on x64 or
when making a validate build.  Only when making a build without a
validate and

This and the allocation in DynFlags means the stack allocation will jump
over the guard page into unmapped memory areas and GHC or an end program

The pagesize on x86 Windows is 4KB which means we hit it very easily for
these two modules, which explains the total DOA of GHC 32bit for the past
3 releases and the "random" segfaults on Windows.

0:000> bp 00503d29
0:000> gn
Breakpoint 0 hit
WARNING: Stack overflow detected. The unwound frames are extracted from outside
         normal stack bounds.
eax=03b6b9c9 ebx=00dc90f0 ecx=03cac48c edx=03cac43d esi=03b6b9c9 edi=03abef40
eip=00503d29 esp=013e96fc ebp=03cf8f70 iopl=0         nv up ei pl nz na po nc
cs=0023  ss=002b  ds=002b  es=002b  fs=0053  gs=002b             efl=00000202
00503d29 89442440        mov     dword ptr [esp+40h],eax ss:002b:013e973c=????????
WARNING: Stack overflow detected. The unwound frames are extracted from outside
         normal stack bounds.
WARNING: Stack overflow detected. The unwound frames are extracted from outside
         normal stack bounds.
0:000> !teb
TEB at 00384000
    ExceptionList:        013effcc
    StackBase:            013f0000
    StackLimit:           013eb000

This doesn't fix the liveliness analysis but does fix the allocations, by
emitting a function call to `__chkstk_ms` when doing allocations of larger
than a page, this will make sure the stack is probed every page so the kernel
maps in the next page.

`__chkstk_ms` is provided by `libGCC`, which is under the
`GNU runtime exclusion license`, so it's safe to link against it, even for
proprietary code. (Technically we already do since we link compiled C code in.)

For allocations smaller than a page we drop the stack and probe the new address.
This avoids the function call and still makes sure we hit the guard if needed.

PS: In case anyone is Wondering why we didn't notice this before, it's because we
only test x86_64 and on Windows 10.  On x86_64 the page size is 8KB and also the
kernel is a bit more lenient on Windows 10 in that it seems to catch the segfault
and resize the stack if it was unmapped:

0:000> t
eax=03b6b9c9 ebx=00dc90f0 ecx=03cac48c edx=03cac43d esi=03b6b9c9 edi=03abef40
eip=00503d2d esp=013e96fc ebp=03cf8f70 iopl=0         nv up ei pl nz na po nc
cs=0023  ss=002b  ds=002b  es=002b  fs=0053  gs=002b             efl=00000202
00503d2d 8b461b          mov     eax,dword ptr [esi+1Bh] ds:002b:03b6b9e4=03cac431
0:000> !teb
TEB at 00384000
    ExceptionList:        013effcc
    StackBase:            013f0000
    StackLimit:           013e9000

Likely Windows 10 has a guard page larger than previous versions.

This fixes the stack allocations, and as soon as I get the time I will look at
the liveliness analysis. I find it highly unlikely that simple Cabal function
requires ~2200 spill slots.

Test Plan: ./validate

Reviewers: simonmar, bgamari

Reviewed By: bgamari

Subscribers: AndreasK, rwbarton, thomie, carter

GHC Trac Issues: #15154

Differential Revision:

(cherry picked from commit d0bbe1bf351c8b85c310afb0dd1fb1f12f9474bf)

12 months agoFix a nasty bug in piResultTys
Simon Peyton Jones [Tue, 24 Jul 2018 07:57:34 +0000 (08:57 +0100)] 
Fix a nasty bug in piResultTys

I was failing to instantiate vigorously enough in Type.piResultTys
and in the very similar function ToIface.toIfaceAppArgsX

This caused Trac #15428.  The fix is easy.

See Note [Care with kind instantiation] in Type.hs

(cherry picked from commit e1b5a1174e42e390855b153015ce5227b3251d89)

12 months agotestsuite: Add test for #14346
Sylvain Henry [Tue, 31 Jul 2018 15:02:20 +0000 (11:02 -0400)] 
testsuite: Add test for #14346

(cherry picked from commit f8e5da92c0160a675e1666a5d6ed6a8ffcae193c)

12 months agotestsuite: Fix up testsuite
Ben Gamari [Mon, 30 Jul 2018 21:42:49 +0000 (17:42 -0400)] 
testsuite: Fix up testsuite

12 months agobase: Fix documentation of System.Environment.Blank
Ben Gamari [Mon, 30 Jul 2018 21:27:13 +0000 (17:27 -0400)] 
base: Fix documentation of System.Environment.Blank

12 months agobase: Make Foreign.Marshal.Alloc.allocBytes[Aligned] NOINLINE
Ben Gamari [Tue, 24 Oct 2017 16:19:08 +0000 (12:19 -0400)] 
base: Make Foreign.Marshal.Alloc.allocBytes[Aligned] NOINLINE

As noted in #14346, touch# may be optimized away when the simplifier can see
that the continuation passed to allocaBytes will not return. Marking CPS-style
functions with NOINLINE ensures that the simplier can't draw any unsound

Ultimately the right solution here will be to do away with touch# and instead
introduce a scoped primitive as is suggested in #14375.

(cherry picked from commit 404bf05ed3193e918875cd2f6c95ae0da5989be2)

12 months agoFix minor formatting issue in users_guide/bugs.rst
Josh Price [Fri, 27 Jul 2018 04:00:31 +0000 (00:00 -0400)] 
Fix minor formatting issue in users_guide/bugs.rst

(cherry picked from commit fb11a104018dfb4065fd91c549fec6d46fa77945)

12 months agoFix endian issues in ghc-heap
Peter Trommler [Thu, 26 Jul 2018 21:23:22 +0000 (17:23 -0400)] 
Fix endian issues in ghc-heap

In test heap_all arity and n_args were swapped on big endian

Take care of endianness when reading parts of a machine word
from a `Word`.

This fixes one out of 36 failing tests reported in #15399.

Test Plan: validate

Reviewers: simonmar, bgamari, hvr, erikd

Reviewed By: simonmar

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #15399

Differential Revision:

(cherry picked from commit d7cb1bbc26719cf6082abe0d91d80be466e25bfc)

12 months agoBump terminfo submodule to
Ben Gamari [Fri, 27 Jul 2018 13:57:52 +0000 (09:57 -0400)] 
Bump terminfo submodule to

(cherry picked from commit b2852a440cac3310bbe443a9010949dbea94e7db)

12 months agorts: Flush eventlog in hs_init_ghc (fixes #15440)
Mitsutoshi Aoe [Thu, 26 Jul 2018 05:50:51 +0000 (14:50 +0900)] 
rts: Flush eventlog in hs_init_ghc (fixes #15440)

Without this change RTS typically doesn't flush some important
events until the process terminates or it doesn't write them at
all in case it terminates abnormally.

Here is a list of such events:


(cherry picked from commit 7a3e1b25ff9a570851a59c4cf3600daa49867b9b)

12 months agoRun StgCse after unarise, fixes #15300
Ömer Sinan Ağacan [Thu, 26 Jul 2018 21:19:35 +0000 (17:19 -0400)] 
Run StgCse after unarise, fixes #15300

Given two unboxed sum terms:

    (# 1 | #) :: (# Int | Int# #)
    (# 1 | #) :: (# Int | Int  #)

These two terms are not equal as they unarise to different unboxed
tuples. However StgCse was thinking that these are equal, and replacing
one of these with a binder to the other.

To not deal with unboxed sums in StgCse we now do it after unarise. For
StgCse to maintain post-unarise invariants we factor-out case binder
in-scopeness check to `stgCaseBndrInScope` and use it in StgCse.

Also did some refactoring in SimplStg.

Another way to fix this would be adding a special case in StgCse to not
bring unboxed sum binders in scope:

    diff --git a/compiler/simplStg/StgCse.hs
    index 6c740ca4cb..93a0f8f6ad 100644
    --- a/compiler/simplStg/StgCse.hs
    +++ b/compiler/simplStg/StgCse.hs
    @@ -332,7 +332,11 @@ stgCseExpr env (StgLetNoEscape binds body)
     stgCseAlt :: CseEnv -> OutId -> InStgAlt -> OutStgAlt
     stgCseAlt env case_bndr (DataAlt dataCon, args, rhs)
         = let (env1, args') = substBndrs env args
    -          env2 = addDataCon case_bndr dataCon (map StgVarArg
args') env1
    +          env2
    +            | isUnboxedSumCon dataCon
    +            = env1
    +            | otherwise
    +            = addDataCon case_bndr dataCon (map StgVarArg args')
                 -- see note [Case 2: CSEing case binders]
               rhs' = stgCseExpr env2 rhs
           in (DataAlt dataCon, args', rhs')

I think this patch seems better in that it doesn't add a special case to

Test Plan:

I tried to come up with a minimal example but failed. I thought a simple
program like

    data T = T (# Int | Int #) (# Int# | Int #)

    case T (# 1 | #) (# 1 | #) of ...

should be enough to trigger this bug, but for some reason StgCse
doesn't do
anything on this program.

Reviewers: simonpj, bgamari

Reviewed By: simonpj

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #15300

Differential Revision:

(cherry picked from commit 3c311e50e760c3ba00dc9692ad1536c79820598d)

12 months agoAdd an expect_broken test for #14185
Krzysztof Gogolewski [Thu, 26 Jul 2018 21:20:29 +0000 (17:20 -0400)] 
Add an expect_broken test for #14185

Test Plan: validate

Reviewers: goldfire, bgamari, alpmestan

Reviewed By: alpmestan

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #14185

Differential Revision:

(cherry picked from commit 3581212e3a5ba42114f47ed83a96322e0e8028ab)

12 months agosplit-obj: disable split-objects on Windows.
Tamar Christina [Tue, 17 Jul 2018 00:04:04 +0000 (20:04 -0400)] 
split-obj: disable split-objects on Windows.

A change has caused GHC to generate excessive specializations.
This is making GHC generate 1800 splits for a simple GHC.Prim module,
which means 1800 fork/exec calls.

Due to this compilation times on Windows with split-objs on take over
24 hours to complete depending on your disk speed.  Also the end
compiling medium to large project is also much slower.

So I think we need to just disable split-objects. As there's nothing
can be done about this.

Test Plan: ./validate

Reviewers: bgamari

Subscribers: tdammers, rwbarton, thomie, erikd, carter

GHC Trac Issues: #15051

Differential Revision:

(cherry picked from commit 53649947223f197cf93e26393486f578d56c46c6)

12 months agoTTG typo: XFieldOcc should be XCFieldOcc
Alan Zimmerman [Sun, 15 Jul 2018 17:35:51 +0000 (19:35 +0200)] 
TTG typo: XFieldOcc should be XCFieldOcc

In the following

  data FieldOcc pass = FieldOcc { extFieldOcc     :: XFieldOcc pass
                                , rdrNameFieldOcc :: Located RdrName
                                   -- ^ See Note [Located RdrNames] in HsExpr

    | XFieldOcc
        (XXFieldOcc pass)

we are using XFieldOcc for both the extFieldOcc type and the extra constructor.

The first one should be XCFieldOcc

Updates haddock submodule
closes #15386

(cherry picked from commit 926954196f9ffd7b89cba53061b39ef996e1650c)

13 months agoDo not imply NoStarIsType by TypeOperators/TypeInType
Vladislav Zavialov [Mon, 16 Jul 2018 22:46:52 +0000 (18:46 -0400)] 
Do not imply NoStarIsType by TypeOperators/TypeInType

Implementation of the "Embrace TypeInType" proposal was done according
to the spec, which specified that TypeOperators must imply NoStarIsType.
This implication was meant to prevent breakage and to be removed in 2
releases.  However, compiling head.hackage has shown that this
implication only magnified the breakage, so there is no reason to have
it in the first place.

To remain in compliance with the three-release policy, we add a
workaround to define the (*) type operator even when -XStarIsType is on.

Test Plan: ./validate

Reviewers: bgamari, RyanGlScott, goldfire, phadej, hvr

Reviewed By: bgamari, RyanGlScott

Subscribers: harpocrates, rwbarton, thomie, carter

Differential Revision:

(cherry picked from commit 65c186f0fdde95fd7c63ab9bd9b33a0213dba7d1)

13 months agoRevert "Do not imply NoStarIsType by TypeOperators/TypeInType"
Ben Gamari [Mon, 16 Jul 2018 23:32:23 +0000 (19:32 -0400)] 
Revert "Do not imply NoStarIsType by TypeOperators/TypeInType"

This reverts commit abd6622324733c67b05e0cbd0c8c3d12c6332f61.

13 months ago#15387 Fix setting testsuite verbose to zero
Antti Siponen [Sun, 15 Jul 2018 19:47:42 +0000 (21:47 +0200)] 
#15387 Fix setting testsuite verbose to zero

(cherry picked from commit 0d6ef6d71e5077eb217456fdd8a515a8cab724ad)

13 months agoOptimise wakeups for STM
Simon Marlow [Sun, 15 Jul 2018 00:02:03 +0000 (20:02 -0400)] 
Optimise wakeups for STM

Avoids repeated wakeup messages being sent when a TVar is written to
multiple times. See comments for details.

Test Plan:
* Test from #15136 (will be added to stm shortly)
* existing stm tests

Reviewers: bgamari, osa1, erikd

Reviewed By: bgamari

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #15136

Differential Revision:

(cherry picked from commit 502640c90c3d0fbb6c46257be14fdc7e3c694c6c)

13 months agoFix processHeapClosureForDead CONSTR_NOCAF case ghc-8.6.1-alpha2
Ömer Sinan Ağacan [Fri, 13 Jul 2018 12:12:19 +0000 (15:12 +0300)] 
Fix processHeapClosureForDead CONSTR_NOCAF case

CONSTR_NOCAF was introduced with 55d535da10d as a replacement for
CONSTR_STATIC and CONSTR_NOCAF_STATIC, however, as explained in Note
[static constructors], we copy CONSTR_NOCAFs (which can also be seen in
evacuate) during GC, and they can become dead, like other CONSTR_X_Ys.
processHeapClosureForDead is updated to reflect this.

Test Plan: Validates on x86_64. Existing failures on i386.

Reviewers: simonmar, bgamari, erikd

Reviewed By: simonmar, bgamari

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #7836, #15063, #15087, #15165

Differential Revision:

(cherry picked from commit 2625f1310edeff62eb3876cc6efbe105a80fe4ad)

13 months agoFix deadlock between STM and throwTo
Simon Marlow [Thu, 12 Jul 2018 14:13:47 +0000 (10:13 -0400)] 
Fix deadlock between STM and throwTo

There was a lock-order reversal between lockTSO() and the TVar lock,
see #15136 for the details.

It turns out we can fix this pretty easily by just deleting all the
locking code(!).  The principle for unblocking a `BlockedOnSTM` thread
then becomes the same as for other kinds of blocking: if the TSO
belongs to this capability then we do it directly, otherwise we send a
message to the capability that owns the TSO. That is, a thread blocked
on STM is owned by its capability, as it should be.

The possible downside of this is that we might send multiple messages
to wake up a thread when the thread is on another capability. This is
safe, it's just not very efficient.  I'll try to do some experiments
to see if this is a problem.

Test Plan: Test case from #15136 doesn't deadlock any more.

Reviewers: bgamari, osa1, erikd

Reviewed By: osa1

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #15136

Differential Revision:

(cherry picked from commit 7fc418df856d9b58034eeec48915646e67a7a562)

13 months agoFix decompsePiCos and visible type application
Simon Peyton Jones [Mon, 9 Jul 2018 16:20:06 +0000 (17:20 +0100)] 
Fix decompsePiCos and visible type application

Trac #15343 was caused by two things

First, in TcHsType.tcHsTypeApp, which deals with the type argment
in visible type application, we were failing to call
solveLocalEqualities. But the type argument is like a user type
signature so it's at least inconsitent not to do so.

I thought that would nail it.  But it didn't. It turned out that we
were ended up calling decomposePiCos on a type looking like this
    (f |> co) Int

where co :: (forall a. ty) ~ (t1 -> t2)

Now, 'co' is insoluble, and we'll report that later.  But meanwhile
we don't want to crash in decomposePiCos.

My fix involves keeping track of the type on both sides of the
coercion, and ensuring that the outer shape matches before
decomposing.  I wish there was a simpler way to do this. But
I think this one is at least robust.

I suppose it is possible that the decomposePiCos fix would
have cured the original report, but I'm leaving the one-line
tcHsTypeApp fix in too because it just seems more consistent.

(cherry picked from commit aedbf7f1c402ecbcb5ff192d5fb4dd6dd4771bf8)

13 months agoRemove random submodule
Ben Gamari [Sat, 14 Jul 2018 15:47:37 +0000 (11:47 -0400)] 
Remove random submodule

I believe this was originally introduced to help test DPH, which is now

(cherry picked from commit 0905fec089b3270f540c7ee33959cbf8ecfcb4d7)

13 months agoBump unix submodule
Ben Gamari [Sat, 14 Jul 2018 15:43:31 +0000 (11:43 -0400)] 
Bump unix submodule

(cherry picked from commit c3328ff354db2be5994807fed6b5b132489a9e3e)

13 months agoBump directory submodule to v1.3.3.0
Ben Gamari [Sat, 14 Jul 2018 15:36:00 +0000 (11:36 -0400)] 
Bump directory submodule to v1.3.3.0

(cherry picked from commit b794c7ed7d515a98b350417143fb46dd5e6d39df)

13 months agoBump mtl submodule to v2.2.2
Ben Gamari [Sat, 14 Jul 2018 15:33:13 +0000 (11:33 -0400)] 
Bump mtl submodule to v2.2.2

(cherry picked from commit c67cf9e9e66f629440c80ae3bf1616e2aac7002b)

13 months agoBump haskeline submodule to
Ben Gamari [Sat, 14 Jul 2018 15:29:55 +0000 (11:29 -0400)] 
Bump haskeline submodule to

(cherry picked from commit cbd4b33317b6cd3751878bbe7a0cc7601bd169e7)

13 months agosubmodule update
Simon Marlow [Fri, 13 Jul 2018 16:34:17 +0000 (17:34 +0100)] 
submodule update

(cherry picked from commit e40eb738bb15795a22b2765e12c3add20efa91a5)

13 months agoInstantiate GND bindings with an explicit type signature
Ryan Scott [Thu, 5 Jul 2018 12:30:05 +0000 (08:30 -0400)] 
Instantiate GND bindings with an explicit type signature

Before, we were using visible type application to apply
impredicative types to `coerce` in
`GeneralizedNewtypeDeriving`-generated bindings. This approach breaks
down when combined with `QuantifiedConstraints` in certain ways,
which #14883 and #15290 provide examples of. See
Note [GND and QuantifiedConstraints] for all the gory details.

To avoid this issue, we instead use an explicit type signature to
instantiate each GND binding, and use that to bind any type variables
that might be bound by a class method's type signature. This reduces
the need to impredicative type applications, and more importantly,
makes the programs from #14883 and #15290 work again.

Test Plan: make test TEST="T15290b T15290c T15290d T14883"

Reviewers: simonpj, bgamari

Reviewed By: simonpj

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #14883, #15290

Differential Revision:

(cherry picked from commit 132273f34e394bf7e900d0c15e01e91edd711890)

13 months agoFix nptr field alignment in RtClosureInspect
Ömer Sinan Ağacan [Wed, 4 Jul 2018 06:12:01 +0000 (09:12 +0300)] 
Fix nptr field alignment in RtClosureInspect

`extractSubTerms` (which is extracting pointer and non-pointer fields of a
closure) was computing the alignment incorrectly when aligning a 64-bit value
(e.g. a Double) on i386 by aligning it to 64-bits instead of to word size
(32-bits). This is documented in `mkVirtHeapOffsetsWithPadding`:

> Align the start offset (eg, 2-byte value should be 2-byte aligned).
> But not more than to a word.

Fixes #15061

Test Plan:
Validated on both 32-bit and 64-bit. 32-bit fails with various unrelated stat
failures, but no actual test failures.

Reviewers: hvr, bgamari

Reviewed By: bgamari

Subscribers: simonpj, rwbarton, thomie, carter

GHC Trac Issues: #15061

Differential Revision:

(cherry picked from commit 15bb4e0b6c08b1f8f5511f04af14242f13833ed1)

13 months agoKind-check CUSK associated types separately
Richard Eisenberg [Thu, 5 Jul 2018 19:09:50 +0000 (15:09 -0400)] 
Kind-check CUSK associated types separately

Previously, we kind-checked associated types while while still
figuring out the kind of a CUSK class. This caused trouble, as
documented in Note [Don't process associated types in kcLHsQTyVars]
in TcTyClsDecls. This commit moves this process after the initial
kind of the class is determined.

Fixes #15142.

Test case: indexed-types/should_compile/T15142.hs

(cherry picked from commit 030211d21207dabb7a4bf21cc9af6fa5eb066db1)

13 months agoAdd nakedSubstTy and use it in TcHsType.tcInferApps
Simon Peyton Jones [Mon, 9 Jul 2018 16:29:22 +0000 (17:29 +0100)] 
Add nakedSubstTy and use it in TcHsType.tcInferApps

This was a tricky one.

During type checking we maintain TcType:
   Note [The well-kinded type invariant]
That is, types are well-kinded /without/ zonking.

But in tcInferApps we were destroying that invariant by calling
substTy, which in turn uses smart constructors, which eliminate
apparently-redundant Refl casts.

This is horribly hard to debug beause they really are Refls and
so it "ought" to be OK to discard them. But it isn't, as the
above Note describes in some detail.

Maybe we should review the invariant?  But for now I just followed
it, tricky thought it is.

This popped up because (for some reason) when I fixed Trac #15343,
that exposed this bug by making test polykinds/T14174a fail (in
Trac #14174 which indeed has the same origin).

So this patch fixes a long standing and very subtle bug.

One interesting point: I defined nakedSubstTy in a few lines by
using the generic mapType stuff.  I note that the "normal"
TyCoRep.substTy does /not/ use mapType.  But perhaps it should:
substTy has lots of $! strict applications in it, and they could
all be eliminated just by useing the StrictIdentity monad.  And
that'd make it much easier to experiment with switching between
strict and lazy versions.

(cherry picked from commit 5067b205a8abb5a9f98335d3a929f647c88c0aa2)

13 months agoFix #15307 by making nlHsFunTy parenthesize more
Ryan Scott [Thu, 5 Jul 2018 12:29:59 +0000 (08:29 -0400)] 
Fix #15307 by making nlHsFunTy parenthesize more

`nlHsFunTy` wasn't parenthesizing its arguments at all,
which led to `-ddump-deriv` producing incorrectly parenthesized
types (since it uses `nlHsFunTy` to construct those types), as
demonstrated in #15307. Fix this by changing `nlHsFunTy` to add
parentheses à la `ppr_ty`: always parenthesizing the argument type
with function precedence, and recursively processing the result type,
adding parentheses for each function type it encounters.

Test Plan: make test TEST=T14578

Reviewers: bgamari

Reviewed By: bgamari

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #15307

Differential Revision:

(cherry picked from commit 59a15a56e180b59656e45df04f7df61de8298881)

13 months agoFix #15308 by suppressing invisble args more rigorously
Ryan Scott [Thu, 5 Jul 2018 12:30:02 +0000 (08:30 -0400)] 
Fix #15308 by suppressing invisble args more rigorously

There was a buglet in `stripInvisArgs` (which is part of the
pretty-printing pipeline for types) in which only invisble arguments
which came before any visible arguments would be suppressed, but any
invisble arguments that came //after// visible ones would still be
printed, even if `-fprint-explicit-kinds`  wasn't enabled.
The fix is simple: make `stripInvisArgs` recursively process the
remaining types even after a visible argument is encountered.

Test Plan: make test TEST=T15308

Reviewers: goldfire, bgamari

Reviewed By: bgamari

Subscribers: simonpj, rwbarton, thomie, carter

GHC Trac Issues: #15308

Differential Revision:

(cherry picked from commit 93b7ac8d73885369f61f6eb6147352d45de4e957)

13 months agoAdd commnent about binder order
Simon Peyton Jones [Tue, 26 Jun 2018 14:44:12 +0000 (15:44 +0100)] 
Add commnent about binder order

...provoked by Trac #15308

(cherry picked from commit 3d002087dce9c61932dd17047902baa83581f4df)

13 months agoRun the renamed source plugin after each HsGroup
Matthew Pickering [Thu, 12 Jul 2018 14:12:23 +0000 (10:12 -0400)] 
Run the renamed source plugin after each HsGroup

This allows modification of each `HsGroup` after it has been renamed.

The old behaviour of keeping the renamed source until later can be
recovered if desired by using the `keepRenamedSource` plugin but it
shouldn't really be necessary as it can be inspected in the `TcGblEnv`.

Reviewers: nboldi, bgamari, alpmestan

Reviewed By: nboldi, alpmestan

Subscribers: alpmestan, rwbarton, thomie, carter

GHC Trac Issues: #15315

Differential Revision:

(cherry picked from commit 1a79270c72cfcd98d683cfe7b2c777d8dd353b78)

13 months agoFix newtype instance GADTs
Ryan Scott [Thu, 5 Jul 2018 12:49:50 +0000 (08:49 -0400)] 
Fix newtype instance GADTs

Summary: This was taken from Richard's branch, which in turn was
submitted to Phab by Matthew, which in turn was commandeered by Ryan.

This fixes an issue with newtype instances in which too many
coercions were being applied in the worker. This fixes the issue by
removing the data family instance axiom from the worker and moving
to the wrapper. Moreover, we now require all newtype instances
to have wrappers, for symmetry with data instances.

Reviewers: goldfire, bgamari, simonpj, mpickering

Reviewed By: mpickering

Subscribers: simonpj, rwbarton, thomie, carter

GHC Trac Issues: #15318

Differential Revision:

(cherry picked from commit 927518668111584a06f12bd9eb1b0910a38acf4f)

13 months agoAdd regression test for #15321
Ömer Sinan Ağacan [Wed, 4 Jul 2018 13:43:13 +0000 (16:43 +0300)] 
Add regression test for #15321

(cherry picked from commit e835fdb18cca66820728afce9c924a1c71f17fee)

13 months agoFix errors caused by invalid candidates leaking from hole fits
Matthías Páll Gissurarson [Wed, 4 Jul 2018 11:54:54 +0000 (14:54 +0300)] 
Fix errors caused by invalid candidates leaking from hole fits

This is a one line fix (and a note) that fixes four tickets, #15007,
 #15321 and #15202, #15314

The issue was that errors caused by illegal candidates (according to GHC
stage or being internal names) were leaking to the user, causing
bewildering error messages. If a candidate causes the type checker to
error, it is not a valid hole fit, and should be discarded.

As mentioned in #15321, this can cause a pattern of omissions, which
might be hard to discover. A better approach would be to gather the
error messages, and ask users to report them as GHC bugs. This will be
implemented in a subsequent change.

Reviewers: bgamari, simonpj

Reviewed By: simonpj

Subscribers: simonpj, rwbarton, thomie, carter

GHC Trac Issues: #15007, #15321, #15202, #15314

Differential Revision:

(cherry picked from commit 39de4e3d33dd9879398062620ad00b1e3b8481ce)

13 months agoFix mkGadtDecl does not set con_forall correctly
Alan Zimmerman [Fri, 29 Jun 2018 18:58:21 +0000 (20:58 +0200)] 
Fix mkGadtDecl does not set con_forall correctly

A GADT declaration surrounded in parens does not det the con_forall
field correctly.


data MaybeDefault v where
    TestParens  :: (forall v . (Eq v) => MaybeDefault v)

Closes #15323

(cherry picked from commit 6e4e6d1c674a9d0257ca5c6caa26da18edf8ad8c)

13 months agoExport findImportUsage and ImportDeclUsage
Matthew Pickering [Thu, 12 Jul 2018 14:08:01 +0000 (10:08 -0400)] 
Export findImportUsage and ImportDeclUsage

Reviewers: bgamari, alpmestan

Reviewed By: alpmestan

Subscribers: alpmestan, rwbarton, thomie, carter

GHC Trac Issues: #15335

Differential Revision:

(cherry picked from commit 2b1adaa7817c453df868d928312a9a99a0481eb1)

13 months agoParenthesize rank-n contexts in Convert
Ryan Scott [Thu, 5 Jul 2018 12:50:56 +0000 (08:50 -0400)] 
Parenthesize rank-n contexts in Convert

Summary: A simple oversight.

Test Plan: make test TEST=T15324

Reviewers: goldfire, bgamari

Reviewed By: bgamari

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #15324

Differential Revision:

(cherry picked from commit 57733978482dc1e566a7d4cd90d4cbbd1315e3b2)

13 months agoFix #15331 with careful blasts of parenthesizeHsType
Ryan Scott [Thu, 5 Jul 2018 12:51:43 +0000 (08:51 -0400)] 
Fix #15331 with careful blasts of parenthesizeHsType

Another `-ddump-splices` bug that can be solved with more
judicious use of parentheses.

Test Plan: make test TEST=T15331

Reviewers: goldfire, bgamari, alanz, tdammers

Reviewed By: tdammers

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #15331

Differential Revision:

(cherry picked from commit b6a3386186b77333b7a6cdc163499d7dae0dad1c)

13 months agoMake ppr_tc_args aware of -fprint-explicit-kinds
Ryan Scott [Thu, 5 Jul 2018 12:52:20 +0000 (08:52 -0400)] 
Make ppr_tc_args aware of -fprint-explicit-kinds

`ppr_tc_args` was printing invisible kind arguments even
when `-fprint-explicit-kinds` wasn't enabled. Easily fixed.

Test Plan: make test TEST=T15341

Reviewers: goldfire, bgamari, simonpj

Reviewed By: simonpj

Subscribers: simonpj, rwbarton, thomie, carter

GHC Trac Issues: #15341

Differential Revision:

(cherry picked from commit dbdcacfc55f28d8a85484cc1cf13dd78c45bf7ee)

13 months agoExpand and implement Note [The tcType invariant]
Richard Eisenberg [Thu, 5 Jul 2018 23:51:59 +0000 (19:51 -0400)] 
Expand and implement Note [The tcType invariant]

Read that note -- it's necessary to make sure that we can
always call typeKind without panicking. As discussed on #14873,
there were more checks and zonking to do, implemented here.
There are no known bugs fixed by this patch, but there are likely
unknown ones.

(cherry picked from commit cf67e59a90bcaba657a9f5db3d5defb6289c274f)

13 months agoFix for built-in Natural literals desugaring
Sylvain Henry [Fri, 6 Jul 2018 15:01:14 +0000 (11:01 -0400)] 
Fix for built-in Natural literals desugaring

The recent patch "Built-in Natural literals in Core"
585ef) introduced a regression when desugaring large numbers.

This patch fixes it and adds a regression test.

Reviewers: hvr, bgamari

Reviewed By: bgamari

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #15301

Differential Revision:

(cherry picked from commit 987b5e7fbacd8afd2c8463c16eac28cd68f43155)

13 months agoBump xhtml submodule to 3000.2.2.1
Ben Gamari [Wed, 11 Jul 2018 00:20:51 +0000 (20:20 -0400)] 
Bump xhtml submodule to 3000.2.2.1

(cherry picked from commit 5a1290a8317056065f409ffd47fa6114172a1a15)

13 months agoFix error recovery for pattern synonyms ghc-8.6.1-alpha1
Simon Peyton Jones [Mon, 25 Jun 2018 10:42:46 +0000 (11:42 +0100)] 
Fix error recovery for pattern synonyms

As Trac #15289 showed, we were carrying on after a type error
in a pattern synonym, and then crashing.  This patch improves
error handling for pattern synonyms.

I also moved a bit of code from TcBinds into TcPatSyn, which
helpfully narrows the API.

(cherry picked from commit 2896082ec79f02b6388e038a8dae6cb22fe72dfc)

13 months agoAPI Annotations when parsing typapp
Alan Zimmerman [Tue, 26 Jun 2018 09:07:07 +0000 (11:07 +0200)] 
API Annotations when parsing typapp

Make sure the original annotations are still accessible for a promoted

Closes #15303

(cherry picked from commit e53c113dcfeca9ee957722ede3d8b6a2c4c751a1)

13 months agoFix TcLevel manipulation in TcDerivInfer.simplifyDeriv
Simon Peyton Jones [Mon, 25 Jun 2018 16:42:57 +0000 (17:42 +0100)] 
Fix TcLevel manipulation in TcDerivInfer.simplifyDeriv

The level numbers we were getting simply didn't obey the
invariant (ImplicInv) in TcType
   Note [TcLevel and untouchable type variables]

That leads to chaos. Easy to fix.  I improved the documentation.

I also added an assertion in TcSimplify that checks that
level numbers go up by 1 as we dive inside implications, so
that we catch the problem at source rather than than through
its obscure consequences.

That in turn showed up that TcRules was also generating
constraints that didn't obey (ImplicInv), so I fixed that too.
I have no idea what consequences were lurking behing that
bug, but anyway now it's fixed.  Hooray.

(cherry picked from commit 261dd83cacec71edd551e9c581d05285c9ea3226)

13 months agoRefactor the kind-checking of tyvar binders
Simon Peyton Jones [Mon, 25 Jun 2018 12:20:59 +0000 (13:20 +0100)] 
Refactor the kind-checking of tyvar binders

The refactoring here is driven by the ghastly mess described in
comment:24 of Trac #1520.  The overall goal is to simplify the
kind-checking of typev-variable binders, and in particular to narrow
the use of the "in-scope tyvar binder" stuff,
which is needed only for associated types: see the new
Note [Kind-checking tyvar binders for associated types] in TcHsType.


* The "in-scope tyvar binder" stuff is done only in
     - kcLHsQTyVars, which is used for the LHsQTyVars of a
       data/newtype, or type family declaration.

     - tcFamTyPats, which is used for associated family instances;
       it now calls tcImplicitQTKBndrs, which in turn usese

* tcExpicitTKBndrs (which is used only for function signatures,
  data con signatures, pattern synonym signatures, and expression
  type signatures) now does not go via the "in-scope tyvar binder"
  stuff at all.

While I'm still not happy with all this code, the code is generally
simpler, and I think this is a useful step forward. It does cure
the problem too.

(It's hard to trigger the problem in vanilla Haskell code, because
the renamer would normally use different names for nested binders,
so I can't offer a test.)

(cherry picked from commit 9fc40c733ba8822a04bd92883801b214dee099ca)

13 months agoInstances in no-evidence implications
Simon Peyton Jones [Fri, 22 Jun 2018 10:27:47 +0000 (11:27 +0100)] 
Instances in no-evidence implications

Trac #15290 showed that it's possible that we might attempt to use a
quantified constraint to solve an equality in a situation where we
don't have anywhere to put the evidence bindings.  This made GHC crash.

This patch stops the crash, but still rejects the pogram.  See
Note [Instances in no-evidence implications] in TcInteract.

Finding this bug revealed another lurking bug:

* An infelicity in the treatment of superclasses -- we were expanding
  them locally at the leaves, rather than at their binding site; see
  (3a) in Note [The superclass story].

  As a consequence, TcRnTypes.superclassesMightHelp must look inside

In more detail:

* Stop the crash, by making TcInteract.chooseInstance test for
  the no-evidence-bindings case.  In that case we simply don't
  use the instance.  This entailed a slight change to the type
  of chooseInstance.

* Make TcSMonad.getPendingScDicts (now renamed getPendingGivenScs)
  return only Givens from the /current level/; and make
  TcRnTypes.superClassesMightHelp look inside implications.

* Refactor the simpl_loop and superclass-expansion stuff in
  TcSimplify.  The logic is much easier to understand now, and
  has less duplication.

(cherry picked from commit 32eb41994f7448caf5fb6b06ed0678d79d029deb)

13 months agoTweak API Annotations for ConDeclGADT
Alan Zimmerman [Sun, 24 Jun 2018 20:00:22 +0000 (22:00 +0200)] 
Tweak API Annotations for ConDeclGADT

(cherry picked from commit 5db9f9129e7519db0c9841fbe7c14f350c23284c)

14 months agoDo not imply NoStarIsType by TypeOperators/TypeInType
Vladislav Zavialov [Sun, 24 Jun 2018 19:02:34 +0000 (15:02 -0400)] 
Do not imply NoStarIsType by TypeOperators/TypeInType

Implementation of the "Embrace TypeInType" proposal was done according
to the spec, which specified that TypeOperators must imply NoStarIsType.
This implication was meant to prevent breakage and to be removed in 2
releases.  However, compiling head.hackage has shown that this
implication only magnified the breakage, so there is no reason to have
it in the first place.

To remain in compliance with the three-release policy, we add a
workaround to define the (*) type operator even when -XStarIsType is on.

Test Plan: ./validate

Reviewers: bgamari, RyanGlScott, goldfire, phadej, hvr

Subscribers: rwbarton, thomie, carter

Differential Revision:

14 months agoTTG for IPBind had wrong extension name
Alan Zimmerman [Fri, 22 Jun 2018 19:32:19 +0000 (21:32 +0200)] 
TTG for IPBind had wrong extension name

The standard[1] for extension naming is to use the XC prefix for the
internal extension points, rather than for a new constructor.

This is violated for IPBind, having

    data IPBind id
      = IPBind
            (XIPBind id)
            (Either (Located HsIPName) (IdP id))
            (LHsExpr id)
      | XCIPBind (XXIPBind id)

Swap the usage of XIPBind and XCIPBind


Closes #15302

(cherry picked from commit 5f06cf6b6199c8f0e4921f4126f6eb15e2ff18ac)

14 months agocontainers: Bump to
Ben Gamari [Mon, 18 Jun 2018 15:58:43 +0000 (11:58 -0400)] 
containers: Bump to

Bumps containers submodule, among others.

14 months agoFix gcc.exe: error: CreateProcess: No such file or directory
Moritz Angermann [Wed, 20 Jun 2018 03:27:53 +0000 (23:27 -0400)] 
Fix gcc.exe: error: CreateProcess: No such file or directory

When GHC links binaries on windows, we pass a -L and -l flag
to gcc for each dependency in the transitive dependency
closure.  As this will usually overflow the command argument
limit on windows, we use response files to pass all arguments
to gcc.  gcc however internally passes only the -l flags via
a response file to the collect2 command, but puts the -L flags
on the command line. As such if we pass enough -L flags to
gcc--even via a response file--we will eventually overflow the
command line argument length limit due to gcc passing them
to collect2 without resorting to a response file.

To prevent this from happening we move all lirbaries into a
shared temporary folder, and only need to pass a single -L
flag to gcc.  Ideally however this was fixed in gcc.

Reviewers: bgamari, Phyx

Reviewed By: bgamari

Subscribers: erikd, rwbarton, thomie, carter

Differential Revision:

14 months agorts: A bit of cleanup of posix itimer implementation
Ben Gamari [Wed, 20 Jun 2018 03:18:12 +0000 (23:18 -0400)] 
rts: A bit of cleanup of posix itimer implementation

* Use bool instead of HsBool
* Use barf instead of sysErrorBelch; stg_exit

Test Plan: Validate

Reviewers: erikd, simonmar

Subscribers: rwbarton, thomie, carter

Differential Revision:

14 months agoRemove HsEqTy and XEqTy
Ryan Scott [Wed, 20 Jun 2018 03:17:02 +0000 (23:17 -0400)] 
Remove HsEqTy and XEqTy

After commit d650729f9a0f3b6aa5e6ef2d5fba337f6f70fa60, the
`HsEqTy` constructor of `HsType` is essentially dead code. Given that
we want to remove `HsEqTy` anyway as a part of #10056 (comment:27),
let's just rip it out.

Bumps the haddock submodule.

Test Plan: ./validate

Reviewers: goldfire, bgamari

Reviewed By: bgamari

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #10056

Differential Revision:

14 months agoAllow :info for (~) in GHCi
Ryan Scott [Wed, 20 Jun 2018 03:16:39 +0000 (23:16 -0400)] 
Allow :info for (~) in GHCi

`(~)` is not an identifier according to GHC's parser, which
is why GHCi's `:info` command wouldn't work on it. To rectify this,
we apply the same fix that was put in place for `(->)`: add `(~)` to
GHC's `identifier` parser production.

Test Plan: make test TEST=T10059

Reviewers: bgamari

Reviewed By: bgamari

Subscribers: rwbarton, thomie, mpickering, carter

GHC Trac Issues: #10059

Differential Revision: