ghc.git
16 months agoDarwin Python installation wip/docker-ghcci
David Feuer [Fri, 2 Mar 2018 06:52:51 +0000 (01:52 -0500)] 
Darwin Python installation

16 months agoAdd another llvm version
David Feuer [Fri, 2 Mar 2018 06:28:12 +0000 (01:28 -0500)] 
Add another llvm version

Dunno if the paths will work out

16 months agoVersion number.
David Feuer [Fri, 2 Mar 2018 06:19:09 +0000 (01:19 -0500)] 
Version number.

16 months agoInstall more earlier
David Feuer [Fri, 2 Mar 2018 05:45:49 +0000 (00:45 -0500)] 
Install more earlier

16 months agoDirectory change
David Feuer [Fri, 2 Mar 2018 05:02:27 +0000 (00:02 -0500)] 
Directory change

16 months agoPut the submodules back.
David Feuer [Wed, 28 Feb 2018 01:21:38 +0000 (20:21 -0500)] 
Put the submodules back.

16 months agoRevert "Remove nonexistent thingy"
David Feuer [Wed, 28 Feb 2018 01:20:38 +0000 (20:20 -0500)] 
Revert "Remove nonexistent thingy"

This reverts commit 74d6e47073ea271adc766987340f242c2b4cf4e8.

16 months agoRevert "How'd we lose parsec?"
David Feuer [Wed, 28 Feb 2018 01:04:21 +0000 (20:04 -0500)] 
Revert "How'd we lose parsec?"

This reverts commit 860f0d645908ee8fa4777f750e41022b7ba09159.

16 months agoHow'd we lose parsec?
David Feuer [Wed, 28 Feb 2018 00:50:09 +0000 (19:50 -0500)] 
How'd we lose parsec?

16 months agoTry hscolour again?
David Feuer [Tue, 27 Feb 2018 23:20:49 +0000 (18:20 -0500)] 
Try hscolour again?

16 months agoPerm error
David Feuer [Tue, 27 Feb 2018 23:08:22 +0000 (18:08 -0500)] 
Perm error

16 months agoShell syntax
David Feuer [Tue, 27 Feb 2018 22:59:46 +0000 (17:59 -0500)] 
Shell syntax

16 months agoSilly whoops
David Feuer [Tue, 27 Feb 2018 22:50:38 +0000 (17:50 -0500)] 
Silly whoops

16 months agoRemove nonexistent thingy
David Feuer [Tue, 27 Feb 2018 22:40:23 +0000 (17:40 -0500)] 
Remove nonexistent thingy

16 months agoMerge branch 'master' of git://git.haskell.org/ghc into wip/docker-ghcci
David Feuer [Tue, 27 Feb 2018 15:27:28 +0000 (10:27 -0500)] 
Merge branch 'master' of git://git.haskell.org/ghc into wip/docker-ghcci

16 months agoAttempt freebsd
David Feuer [Tue, 27 Feb 2018 09:25:03 +0000 (04:25 -0500)] 
Attempt freebsd

16 months agoFix test for Trac #13075
Simon Peyton Jones [Tue, 27 Feb 2018 08:53:10 +0000 (08:53 +0000)] 
Fix test for Trac #13075

I'd put the stderr file in my link tree, not in the source tree,
so my original push had the wrong file, even though my tree
validated.  Sorry!

16 months agoComments only
Simon Peyton Jones [Tue, 27 Feb 2018 08:51:06 +0000 (08:51 +0000)] 
Comments only

16 months agoTest for Trac #13075 is working now
Simon Peyton Jones [Tue, 27 Feb 2018 08:46:50 +0000 (08:46 +0000)] 
Test for Trac #13075 is working now

16 months agoBetter stats for T5837
Simon Peyton Jones [Tue, 27 Feb 2018 08:43:51 +0000 (08:43 +0000)] 
Better stats for T5837

I'm not sure why. It's an odd test, mind you; a weird type-function
recursion thing.  So I'm not inclined to investigate.

Anyway, good!

16 months agoFix a nasty bug in the pure unifier
Simon Peyton Jones [Mon, 26 Feb 2018 17:44:55 +0000 (17:44 +0000)] 
Fix a nasty bug in the pure unifier

The pure unifier was building an infinite type, through a defective
occurs check.  So GHC went into an infinite loop.

Reason: we were neglecting the 'kco' part of the type, which
'unify_ty' maintains.  Yikes.

The fix is easy.  I refactored a bit to make it harder to
go wrong in future.

16 months agoComments only
Simon Peyton Jones [Tue, 20 Feb 2018 11:34:45 +0000 (11:34 +0000)] 
Comments only

16 months agoTiny refactor in Core Lint
Simon Peyton Jones [Tue, 20 Feb 2018 10:45:21 +0000 (10:45 +0000)] 
Tiny refactor in Core Lint

16 months agoLet's try again
David Feuer [Tue, 27 Feb 2018 04:51:34 +0000 (23:51 -0500)] 
Let's try again

16 months agoMove apt-get up so we have root
David Feuer [Tue, 27 Feb 2018 00:00:44 +0000 (19:00 -0500)] 
Move apt-get up so we have root

16 months agocircleci: Simplify Hadrian build
Ben Gamari [Mon, 26 Feb 2018 16:37:44 +0000 (11:37 -0500)] 
circleci: Simplify Hadrian build

This uses the build.sh script included in the Hadrian tree, ensuring that we
will build Cabal from git if necessary.

16 months agoUpdate .gitignore
Ömer Sinan Ağacan [Mon, 26 Feb 2018 06:04:13 +0000 (09:04 +0300)] 
Update .gitignore

Reviewers: bgamari

Reviewed By: bgamari

Subscribers: rwbarton, thomie, carter

Differential Revision: https://phabricator.haskell.org/D4446

16 months agotestsuite: Bump allocations for T9630
Ben Gamari [Sun, 25 Feb 2018 21:23:39 +0000 (16:23 -0500)] 
testsuite: Bump allocations for T9630

16 months agoboot: Create GNUmakefiles for libraries
Ben Gamari [Wed, 21 Feb 2018 14:58:19 +0000 (09:58 -0500)] 
boot: Create GNUmakefiles for libraries

D3918 neglected to implement this when it rewrote boot in python.

16 months agoIntroduce the flag -dsuppress-timestamps to avoid timestamps in dumps.
Andreas Klebinger [Tue, 20 Feb 2018 18:19:19 +0000 (13:19 -0500)] 
Introduce the flag -dsuppress-timestamps to avoid timestamps in dumps.

This makes it easier to diff dumps which are otherwise identical.

Also updated the description of -dsuppress-all as parts of these also
apply to stages other than core.

Test Plan: Looking at dump result.

Reviewers: bgamari

Reviewed By: bgamari

Subscribers: rwbarton, thomie, carter

Differential Revision: https://phabricator.haskell.org/D4429

16 months agoRTS: Remove unused retainer schemes
Simon Jakobi [Tue, 20 Feb 2018 18:18:52 +0000 (13:18 -0500)] 
RTS: Remove unused retainer schemes

Reviewers: bgamari, erikd, simonmar

Reviewed By: simonmar

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #11777

Differential Revision: https://phabricator.haskell.org/D4427

16 months agoRTS: Remember to free some pointers
Simon Jakobi [Tue, 20 Feb 2018 18:17:50 +0000 (13:17 -0500)] 
RTS: Remember to free some pointers

Reviewers: bgamari, erikd, simonmar

Reviewed By: bgamari, simonmar

Subscribers: Phyx, rwbarton, thomie, carter

GHC Trac Issues: #11777

Differential Revision: https://phabricator.haskell.org/D4428

16 months agodriver/utils/dynwrapper.c: Remove unused variable
Simon Jakobi [Tue, 20 Feb 2018 18:17:27 +0000 (13:17 -0500)] 
driver/utils/dynwrapper.c: Remove unused variable

The variable was already unused when the file was introduced in
b35a6ce0e34255d200ddcf341ffc645fd237ea32.

Reviewers: bgamari

Reviewed By: bgamari

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #11777

Differential Revision: https://phabricator.haskell.org/D4426

16 months agoUpdate Hadrian submodule
Andrey Mokhov [Sat, 24 Feb 2018 15:00:22 +0000 (15:00 +0000)] 
Update Hadrian submodule

  * Make shell.nix less broken (hadrian/510)
  * Add --configure flag to the script
  * Undo iserv changes (hadrian/507)
  * Fix ghc-cabal: Parsec modules are now found in libraries/parsec/src (hadrian/506)
  * Move a bunch of types into dedicated modules (hadrian/502)
  * Add --quickjump to Haddock (hadrian/505)
  * Add iserv library (hadrian/504)
  * Merge pull request hadrian/503 from snowleopard/angerman-patch-1
  * Merge pull request hadrian/500 from snowleopard/runtime-deps
  * Fix Hadrian after Cabal changes (hadrian/498)
  * Drop custom logic for Scav_thr and Evac_thr (hadrian/497)
  * Fix Haddock (hadrian/496)

16 months agoTry experimental public docker image
David Feuer [Thu, 22 Feb 2018 22:42:04 +0000 (17:42 -0500)] 
Try experimental public docker image

16 months agoComments in Unify, fixing #12442
Richard Eisenberg [Thu, 22 Feb 2018 15:44:18 +0000 (10:44 -0500)] 
Comments in Unify, fixing #12442

[ci skip]

16 months agoDon't use ld.gold when building libraries for GHCi
Simon Marlow [Wed, 21 Feb 2018 14:16:00 +0000 (14:16 +0000)] 
Don't use ld.gold when building libraries for GHCi

Summary:
ld.gold is buggy when using -r and a linker script.  See upstream bug
https://sourceware.org/bugzilla/show_bug.cgi?id=22266

This has been causing various brokenness for the GHC runtime linker,
where we load these broken object files.

Test Plan: Test program from #14675

Reviewers: bgamari, RyanGlScott, alpmestan, hvr, erikd

Subscribers: rwbarton, thomie, erikd, carter

GHC Trac Issues: #14328, #14675, #14291

Differential Revision: https://phabricator.haskell.org/D4431

16 months agoAdd references to #6087
Ömer Sinan Ağacan [Wed, 21 Feb 2018 06:47:13 +0000 (09:47 +0300)] 
Add references to #6087

[skip ci]

16 months agocircleci: Use Docker images from ghcci
Ben Gamari [Wed, 21 Feb 2018 02:24:14 +0000 (21:24 -0500)] 
circleci: Use Docker images from ghcci

Summary:
The new Docker images create an unprivileged user to run the testsuite under.
Not only does this seem far more sane from a security standpoint, but it avoids
the spurious test failure noted in #14706.

Test Plan: Test on CircleCI

Subscribers: dfeuer, rwbarton, thomie, carter

GHC Trac Issues: #14706

Differential Revision: https://phabricator.haskell.org/D4360

16 months agoRevert "Move `iserv` into `utils` and change package name
Ben Gamari [Tue, 20 Feb 2018 05:26:45 +0000 (00:26 -0500)] 
Revert "Move `iserv` into `utils` and change package name

See Phab:D4377 for the rationale. We will try this again.

This reverts commit 7c173b9043f7a9a5da46c5b0cc5fc3b38d1a7019.

16 months agoSlight refactor of stock deriving internals
Ryan Scott [Tue, 20 Feb 2018 17:50:34 +0000 (12:50 -0500)] 
Slight refactor of stock deriving internals

Summary:
Before, the `hasStockDeriving` function, which determines
how derived bindings should be generated for stock classes, was
awkwardly separated from the `checkSideConditions` function, which
checks invariants of the same classes that `hasStockDeriving` does.
As a result, there was a fair deal of hoopla needed to actually use
`hasStockDeriving`.

But this hoopla really isn't required—we should be using
`hasStockDeriving` from within `checkSideConditions`, since they're
looking up information about the same classes! By doing this, we can
eliminate some kludgy code in the form of `mk_eqn_stock'`, which had
an unreachable `pprPanic` that was stinking up the place.

Reviewers: bgamari, dfeuer

Reviewed By: bgamari

Subscribers: dfeuer, rwbarton, thomie, carter

GHC Trac Issues: #13154

Differential Revision: https://phabricator.haskell.org/D4370

16 months agoAdd ghc-prim.buildinfo to .gitignore
Ryan Scott [Tue, 20 Feb 2018 17:49:19 +0000 (12:49 -0500)] 
Add ghc-prim.buildinfo to .gitignore

16 months agocircleci: Skip performance tests
Ben Gamari [Tue, 20 Feb 2018 05:26:45 +0000 (00:26 -0500)] 
circleci: Skip performance tests

Once we finally get the automation for #12758 we can re-enable these.

16 months agoDocument missing dataToTag# . tagToEnum# rule
David Feuer [Tue, 20 Feb 2018 04:48:22 +0000 (23:48 -0500)] 
Document missing dataToTag# . tagToEnum# rule

Explain why we don't have a rule to optimize `dataToTag# (tagToEnum# x)`
to `x`.

[skip ci]

Reviewers: bgamari

Reviewed By: bgamari

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #14282

Differential Revision: https://phabricator.haskell.org/D4375

16 months agoChange how includes for input file directory works
Tamar Christina [Tue, 20 Feb 2018 03:13:46 +0000 (22:13 -0500)] 
Change how includes for input file directory works

GHC Used to only allow for one include mode, namely `-I`.  The problem
with `-I` includes is that it supercedes all other includes, including
the system include paths.

This is not a problem for paths requested by the user, but it is a
problem for the ones we implicitly derive and add.

In particular we add the source directory of the input file to the
include path. This is problematic because it causes any file with the
name of a system include, to inadvertently loop as the wrong file gets
included.

Since this is an implicitly include, and as far as I can tell, only done
so local includes are found (as the sources given to GCC reside in a
temp folder) then switch from `-I` to `-iquote`.

This requires a submodule update for haddock

Test Plan: ./validate

Reviewers: austin, bgamari, hvr

Reviewed By: bgamari

Subscribers: carter, rwbarton, thomie

GHC Trac Issues: #14312

Differential Revision: https://phabricator.haskell.org/D4080

16 months agotestsuite: Bump allocations for T1969 and T5837
Ben Gamari [Tue, 20 Feb 2018 00:36:22 +0000 (19:36 -0500)] 
testsuite: Bump allocations for T1969 and T5837

Sadly it's not immediately obvious where this regression came from:

 * T5837 started failing on OS X with 0c2350c293b82e4cb24a66e00b904933bdb1c8f3
 * It's not clear when T1969 started failing due to the recent out of memory
   issues on Harbormaster

16 months agoBump text submodule to 1.2.3.0
Ben Gamari [Sun, 18 Feb 2018 16:31:41 +0000 (11:31 -0500)] 
Bump text submodule to 1.2.3.0

16 months agoBump haskeline submodule to 0.7.4.2
Ben Gamari [Sun, 18 Feb 2018 16:29:56 +0000 (11:29 -0500)] 
Bump haskeline submodule to 0.7.4.2

16 months agoBump parsec submodule to 0.3.13.0
Ben Gamari [Thu, 15 Feb 2018 16:43:35 +0000 (11:43 -0500)] 
Bump parsec submodule to 0.3.13.0

16 months agoBump primitive submodule to 0.6.3.0
Ben Gamari [Thu, 15 Feb 2018 16:42:35 +0000 (11:42 -0500)] 
Bump primitive submodule to 0.6.3.0

16 months agoBump stm submodule to 2.4.5.0
Ben Gamari [Sat, 3 Feb 2018 21:23:05 +0000 (16:23 -0500)] 
Bump stm submodule to 2.4.5.0

16 months agoBump pretty submodule
Ben Gamari [Mon, 29 Jan 2018 06:28:13 +0000 (01:28 -0500)] 
Bump pretty submodule

16 months agoBump filepath submodule
Ben Gamari [Tue, 23 Jan 2018 06:09:52 +0000 (01:09 -0500)] 
Bump filepath submodule

16 months agoBump process submodule
Ben Gamari [Tue, 23 Jan 2018 06:09:34 +0000 (01:09 -0500)] 
Bump process submodule

16 months agoBump haddock submodule again
Ben Gamari [Sun, 18 Feb 2018 17:02:44 +0000 (12:02 -0500)] 
Bump haddock submodule again

17 months agoIncrease the amount of parallelism in circleci.
Facundo Domínguez [Fri, 16 Feb 2018 11:18:52 +0000 (08:18 -0300)] 
Increase the amount of parallelism in circleci.

Summary: Set THREADS=CPUS+1 in circleci.

Reviewers: bgamari

Reviewed By: bgamari

Subscribers: rwbarton, thomie, carter

Differential Revision: https://phabricator.haskell.org/D4415

17 months agoRename the types in a GADT constructor in toposorted order
Ryan Scott [Sun, 18 Feb 2018 16:14:26 +0000 (11:14 -0500)] 
Rename the types in a GADT constructor in toposorted order

Previously, we were extracting the free variables from a
GADT constructor in an incorrect order, which caused the type
variables for the constructor's type signature to end up in
non-toposorted order. Thankfully, rearranging the order of types
during renaming makes swift work of this bug.

This fixes a regression introduced in commit
fa29df02a1b0b926afb2525a258172dcbf0ea460.
For whatever reason, that commit also commented out a
significant portion of the `T13123` test. This code appears
to work, so I've opted to uncomment it.

Test Plan: make test TEST=T14808

Reviewers: simonpj, bgamari

Reviewed By: bgamari

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #14808

Differential Revision: https://phabricator.haskell.org/D4413

17 months agoStgLint overhaul
Ömer Sinan Ağacan [Sun, 18 Feb 2018 16:12:53 +0000 (11:12 -0500)] 
StgLint overhaul

- Remove all type checks
- Check two STG invariants (no unboxed let bindings, variables defined
  before used) and post-unarisation invariants.

See the module header and #14787.

This version validates with `-dstg-lint` added to `GhcStage2HcOpts` and
`GhcLibHcOpts` and `EXTRA_HC_OPTS`.

Unarise changes:

- `unariseConArgBinder` and `unariseFunArgBinder` functions were almost
  the same; only difference was when unarising fun args we keep void
  args while in con args we drop them. A new function `unariseArgBinder`
  added with a `Bool` argument for whether we're unarising a con arg.
  `unariseConArgBinder` and `unariseFunArgBinder` are now defined as

      unariseConArgBinder = unarsieArgBinder True  -- data con
      unariseFunArgBinder = unariseArgBinder False -- not data con

- A bug in `unariseConArgBinder` and `unariseFunArgBinder` (which are
  just calls to `unariseArgBinder` now) that invalidated the
  post-unarise invariants when the argument has single type rep (i.e.
  `length (typePrimRep x) == 1`) fixed. This isn't a correctness issue
  (it's fine not to unarise if a variable is already represented as
  single value), but it triggers StgLint.

Test Plan:
- Pass testsuite with `-dstg-lint` [done]
- Boot stage2 (including libraries) with `-dstg-lint` [done]

Reviewers: simonpj, bgamari

Reviewed By: bgamari

Subscribers: duog, rwbarton, thomie, carter

GHC Trac Issues: #14787

Differential Revision: https://phabricator.haskell.org/D4404

17 months agoImprove error message for UNPACK/strictness annotations.
HE, Tao [Sun, 18 Feb 2018 16:10:37 +0000 (11:10 -0500)] 
Improve error message for UNPACK/strictness annotations.

Print different error message for improper UNPACK and strictness
annotations.  Fix Trac #14761.

Signed-off-by: HE, Tao <sighingnow@gmail.com>
Test Plan: make test TEST="T7210 T14761a T14761b"

Reviewers: goldfire, bgamari, RyanGlScott, simonpj

Reviewed By: RyanGlScott, simonpj

Subscribers: simonpj, goldfire, rwbarton, thomie, carter

GHC Trac Issues: #14761

Differential Revision: https://phabricator.haskell.org/D4397

17 months agotestsuite: Add newline to test output
Douglas Wilson [Sun, 18 Feb 2018 16:10:21 +0000 (11:10 -0500)] 
testsuite: Add newline to test output

Reviewers: bgamari

Reviewed By: bgamari

Subscribers: rwbarton, thomie, carter

Differential Revision: https://phabricator.haskell.org/D4389

17 months agoCBE: re-introduce bgamari's fixes
Michal Terepeta [Sun, 18 Feb 2018 16:09:40 +0000 (11:09 -0500)] 
CBE: re-introduce bgamari's fixes

During some recent work on CBE we discovered that `zipWith` is used to
check for equality, but that doesn't quite work if lists are of
different lengths! This was fixed by bgamari, but unfortunately the fix
had to be rolled back due to other changes in CBE in
50adbd7c5fe5894d3e6e2a58b353ed07e5f8949d. Since I wanted to have another
look at CBE anyway, we agreed that the first thing to do would be to
re-introduce the fix.

Sadly I don't have any actual test case that would exercise this.

Signed-off-by: Michal Terepeta <michal.terepeta@gmail.com>
Test Plan: ./validate

Reviewers: bgamari, simonmar

Reviewed By: bgamari

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #14226

Differential Revision: https://phabricator.haskell.org/D4387

17 months agomyThreadId# is trivial; make it an inline primop
Simon Marlow [Sun, 18 Feb 2018 16:09:19 +0000 (11:09 -0500)] 
myThreadId# is trivial; make it an inline primop

The pattern `threadCapability =<< myThreadId` is used a lot in code
that uses `hs_try_putmvar`, I want to make it cheaper.

Test Plan: validate

Reviewers: bgamari, erikd

Reviewed By: bgamari

Subscribers: rwbarton, thomie, carter

Differential Revision: https://phabricator.haskell.org/D4381

17 months agoTidy up and consolidate canned CmmReg and CmmGlobals
Simon Marlow [Sun, 18 Feb 2018 16:08:52 +0000 (11:08 -0500)] 
Tidy up and consolidate canned CmmReg and CmmGlobals

Test Plan: validate

Reviewers: bgamari, erikd

Reviewed By: bgamari

Subscribers: rwbarton, thomie, carter

Differential Revision: https://phabricator.haskell.org/D4380

17 months agoRemove doubled words
Adam Sandberg Eriksson [Sun, 18 Feb 2018 16:08:31 +0000 (11:08 -0500)] 
Remove doubled words

Reviewers: bgamari

Reviewed By: bgamari

Subscribers: rwbarton, thomie, carter

Differential Revision: https://phabricator.haskell.org/D4368

17 months agoBuild Haddocks with --quickjump
Ben Gamari [Sun, 18 Feb 2018 16:01:59 +0000 (11:01 -0500)] 
Build Haddocks with --quickjump

By request of @alexbiehl.
CCing @snowleopard and @alpmestan as the same should be done in Hadrian.

Bumps haddock submodule.

Reviewers: alexbiehl

Reviewed By: alexbiehl

Subscribers: rwbarton, thomie, carter, snowleopard, alpmestan, alexbiehl

Differential Revision: https://phabricator.haskell.org/D4365

17 months agoAdd valid refinement substitution suggestions for typed holes
Matthías Páll Gissurarson [Sun, 18 Feb 2018 16:01:06 +0000 (11:01 -0500)] 
Add valid refinement substitution suggestions for typed holes

This adds valid refinement substitution suggestions for typed holes and
documentation thereof.

Inspired by Agda's refinement facilities, this extends the typed holes
feature to be able to search for valid refinement substitutions, which
are substitutions that have one or more holes in them.

When the flag `-frefinement-level-substitutions=n` where `n > 0` is
passed, we also look for valid refinement substitutions, i.e.
substitutions that are valid, but adds more holes. Consider the
following:

  f :: [Integer] -> Integer
  f = _

Here the valid substitutions suggested will be (with the new
`-funclutter-valid-substitutions` flag for less verbosity set):

```
  Valid substitutions include
    f :: [Integer] -> Integer
    product :: forall (t :: * -> *).
              Foldable t => forall a. Num a => t a -> a
    sum :: forall (t :: * -> *).
          Foldable t => forall a. Num a => t a -> a
    maximum :: forall (t :: * -> *).
              Foldable t => forall a. Ord a => t a -> a
    minimum :: forall (t :: * -> *).
              Foldable t => forall a. Ord a => t a -> a
    head :: forall a. [a] -> a
    (Some substitutions suppressed; use -fmax-valid-substitutions=N or
-fno-max-valid-substitutions)
```

When the `-frefinement-level-substitutions=1` flag is given, we
additionally compute and report valid refinement substitutions:

```
  Valid refinement substitutions include
    foldl1 _ :: forall (t :: * -> *).
                Foldable t => forall a. (a -> a -> a) -> t a -> a
    foldr1 _ :: forall (t :: * -> *).
                Foldable t => forall a. (a -> a -> a) -> t a -> a
    head _ :: forall a. [a] -> a
    last _ :: forall a. [a] -> a
    error _ :: forall (a :: TYPE r).
                GHC.Stack.Types.HasCallStack => [Char] -> a
    errorWithoutStackTrace _ :: forall (a :: TYPE r). [Char] -> a
    (Some refinement substitutions suppressed; use
-fmax-refinement-substitutions=N or -fno-max-refinement-substitutions)
```

Which are substitutions with holes in them. This allows e.g. beginners
to discover the fold functions and similar.

We find these refinement suggestions by considering substitutions that
don't fit the type of the hole, but ones that would fit if given an
additional argument. We do this by creating a new type variable with
newOpenFlexiTyVarTy (e.g. `t_a1/m[tau:1]`), and then considering
substitutions of the type `t_a1/m[tau:1] -> v` where `v` is the type of
the hole. Since the simplifier is free to unify this new type variable
with any type (and it is cloned before each check to avoid
side-effects), we can now discover any identifiers that would fit if
given another identifier of a suitable type. This is then generalized
so that we can consider any number of additional arguments by setting
the `-frefinement-level-substitutions` flag to any number, and then
considering substitutions like e.g. `foldl _ _` with two additional
arguments.

This can e.g. help beginners discover the `fold` functions.
This could also help more advanced users figure out which morphisms
they can use when arrow chasing.
Then you could write `m = _ . m2 . m3` where `m2` and `m3` are some
morphisms, and not only get exact fits, but also help in finding
morphisms that might get you a little bit closer to where you want to
go in the diagram.

Reviewers: bgamari

Reviewed By: bgamari

Subscribers: rwbarton, thomie, carter

Differential Revision: https://phabricator.haskell.org/D4357

17 months agoImplement stopgap solution for #14728
Ryan Scott [Sun, 18 Feb 2018 16:00:40 +0000 (11:00 -0500)] 
Implement stopgap solution for #14728

It turns out that one can produce ill-formed Core by
combining `GeneralizedNewtypeDeriving`, `TypeInType`, and
`TypeFamilies`, as demonstrated in #14728. The root of the problem
is allowing the last parameter of a class to appear in a //kind// of
an associated type family, as our current approach to deriving
associated type family instances simply doesn't work well for that
situation.

Although it might be possible to properly implement this feature
today (see https://ghc.haskell.org/trac/ghc/ticket/14728#comment:3
for a sketch of how this might work), there does not currently exist
a performant implementation of the algorithm needed to accomplish
this. Until such an implementation surfaces, we will make this corner
case of `GeneralizedNewtypeDeriving` an error.

Test Plan: make test TEST="T14728a T14728b"

Reviewers: bgamari

Reviewed By: bgamari

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #14728

Differential Revision: https://phabricator.haskell.org/D4402

17 months agobase: Fix changelog entry for openTempFile
Ben Gamari [Thu, 15 Feb 2018 18:01:09 +0000 (13:01 -0500)] 
base: Fix changelog entry for openTempFile

This change is present in 4.11.0.0.

17 months agocircleci: Add nightly build using devel2 flavour
Ben Gamari [Wed, 14 Feb 2018 22:37:08 +0000 (17:37 -0500)] 
circleci: Add nightly build using devel2 flavour

17 months agoFix #14811 by wiring in $tcUnit#
Ryan Scott [Fri, 16 Feb 2018 18:51:27 +0000 (13:51 -0500)] 
Fix #14811 by wiring in $tcUnit#

Previously, we were skipping over `$tcUnit#` entirely when
wiring in `Typeable` tycons, resulting in #14811. Easily fixed.

Test Plan: make test TEST=T14811

Reviewers: bgamari, dfeuer

Reviewed By: dfeuer

Subscribers: dfeuer, rwbarton, thomie, carter

GHC Trac Issues: #14811

Differential Revision: https://phabricator.haskell.org/D4414

17 months agoMove `iserv` into `utils` and change package name from `iserv-bin` to `iserv`
Moritz Angermann [Thu, 15 Feb 2018 05:54:55 +0000 (13:54 +0800)] 
Move `iserv` into `utils` and change package name from `iserv-bin` to `iserv`

This is done for consistency. We usually call the package file the same name the
folder has.  The move into `utils` is done so that we can move the library into
`libraries/iserv` and the proxy into `utils/iserv-proxy` and then break the
`iserv.cabal` apart.  This will make building the cross compiler with TH
simpler, because we can build the library and proxy as separate packages.

Reviewers: bgamari, simonmar, goldfire, erikd

Reviewed By: simonmar

Subscribers: tdammers, rwbarton, thomie, carter

Differential Revision: https://phabricator.haskell.org/D4377

17 months agoGet eqTypeRep to inline
David Feuer [Thu, 15 Feb 2018 08:48:51 +0000 (03:48 -0500)] 
Get eqTypeRep to inline

GHC didn't inline `eqTypeRep`, presumably because it ended up
being too big. This was unfortunate because it produces a
`Maybe`, which will almost always be scrutinized immediately.

Split `eqTypeRep` into a worker and a tiny wrapper, and mark the
wrapper `INLINABLE`. This change actually seems to reduce Core size,
at least in a small test.

Reviewers: hvr, bgamari, mpickering

Reviewed By: mpickering

Subscribers: mpickering, rwbarton, thomie, carter

GHC Trac Issues: #14790

Differential Revision: https://phabricator.haskell.org/D4405

17 months agorts.cabal.in: advertise profiling flavours of libraries, behind a flag
Alp Mestanogullari [Thu, 15 Feb 2018 07:23:01 +0000 (15:23 +0800)] 
rts.cabal.in: advertise profiling flavours of libraries, behind a flag

The make build system appears to be doing a bit of magic in order to supply
the profiled flavours of libHSrts and libCffi, as they're not advertised in
the 'extra-library-flavours' field of rts.cabal.in. This patch explicitly
advertises _p and _thr_p flavours of the RTS library and libCffi, but only
when the RTS is configured with the (newly introduced) 'profiling' flag.

This is necessary for Hadrian, as a branch (soon to be merged) does away with
ghc-cabal and relies just on Cabal to get package information. Without this
patch, Cabal can never inform us that _p and _thr_p flavours should be
built (and registered in the package db) as well, which obviously prevents us
from building a profiled GHC.

Reviewers: bgamari, erikd, simonmar

Reviewed By: bgamari

Subscribers: rwbarton, thomie, carter

Differential Revision: https://phabricator.haskell.org/D4409

17 months agoUpdate .cabal files for Cabal 2.1
Moritz Angermann [Mon, 5 Feb 2018 04:34:03 +0000 (12:34 +0800)] 
Update .cabal files for Cabal 2.1

cabal introduces SPDX identifier, and as such we need to change the
BSD3 license name. Also the >= qualifier is no longer prefered.

Test Plan: ./validate

Reviewers: bgamari, erikd, simonmar

Reviewed By: bgamari

Subscribers: alpmestan, rwbarton, thomie, carter

Differential Revision: https://phabricator.haskell.org/D4406

17 months agoAdds `smp` flag to rts.cabal.
Moritz Angermann [Sat, 25 Nov 2017 12:49:56 +0000 (20:49 +0800)] 
Adds `smp` flag to rts.cabal.

Reviewers: bgamari, erikd, simonmar

Reviewed By: simonmar

Subscribers: rwbarton, thomie, carter

Differential Revision: https://phabricator.haskell.org/D4393

17 months agoadds -latomic to. ghc-prim
Moritz Angermann [Thu, 8 Feb 2018 08:07:07 +0000 (16:07 +0800)] 
adds -latomic to. ghc-prim

Reviewers: bgamari, hvr

Reviewed By: bgamari

Subscribers: erikd, hvr, rwbarton, thomie, carter

Differential Revision: https://phabricator.haskell.org/D4378

17 months agoVarious documentation improvements
Sergey Vinokurov [Wed, 7 Feb 2018 21:10:17 +0000 (21:10 +0000)] 
Various documentation improvements

 * Fix missing code example in changelog for 8.4.1

 * List 'setEnv' as opposite of 'getEnv'

   It seems best to direct users to use 'System.Environment.setEnv'
   rather than 'System.Posix.Env.putEnv'. This is due to 'setEnv' being
   located in the same module as 'getEnv' and my virtue of working on
   Windows platform, whereas 'putEnv' does not have that quality because
   it's part of the 'unix' package.

 * Reflect in docs the fact that 'readMVar' is not a composition of
   'takeMVVar' and 'putMVar' any more

17 months agoRaise parse error for `data T where`.
HE, Tao [Tue, 13 Feb 2018 00:55:41 +0000 (19:55 -0500)] 
Raise parse error for `data T where`.

Empty GADTs data declarations can't be identified in type checker. This
patch adds additional checks in parser and raise a parse error when
encounter empty GADTs declarations but extension `GADTs` is not enabled.

Only empty declarations are checked in parser to avoid affecting
existing
error messages related to missing GADTs extension.

This patch should fix issue 8258.

Signed-off-by: HE, Tao <sighingnow@gmail.com>
Test Plan: make test TEST="T8258 T8258NoGADTs"

Reviewers: bgamari, mpickering, alanz, RyanGlScott

Reviewed By: bgamari, RyanGlScott

Subscribers: adamse, RyanGlScott, rwbarton, thomie, mpickering, carter

GHC Trac Issues: #8258

Differential Revision: https://phabricator.haskell.org/D4350

17 months agoFix tests broken by c9a88db3ac4f1c3e97e3492ebe076f2df6463540
Ben Gamari [Tue, 13 Feb 2018 22:49:02 +0000 (17:49 -0500)] 
Fix tests broken by c9a88db3ac4f1c3e97e3492ebe076f2df6463540

17 months agoCollect CCs in CorePrep, including CCs in unfoldings
Ömer Sinan Ağacan [Tue, 13 Feb 2018 06:03:57 +0000 (09:03 +0300)] 
Collect CCs in CorePrep, including CCs in unfoldings

This patch includes two changes:

1. Move cost centre collection from `SCCfinal` to `CorePrep`, to be able
   to collect cost centres in unfoldings. `CorePrep` drops unfoldings, so
   that's the latest stage in the compilation pipeline for this.

   After this change `SCCfinal` no longer collects all cost centres, but
   it still generates & collects CAF cost centres + updates cost centre
   stacks of `StgRhsClosure` and `StgRhsCon`s.

   This fixes #5889.

2. Initialize cost centre stack fields of `StgRhs` in `coreToStg`. With
   this we no longer need to update cost centre stack fields in
   `SCCfinal`, so that module is removed.

   Cost centre initialization explained in Note [Cost-centre
   initialization plan].

   Because with -fcaf-all we need to attach a new cost-centre to each
   CAF, `coreTopBindToStg` now returns `CollectedCCs`.

Test Plan: validate

Reviewers: simonpj, bgamari, simonmar

Reviewed By: simonpj, bgamari

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #5889

Differential Revision: https://phabricator.haskell.org/D4325

17 months agoMake ($!) representation-polymorphic
David Feuer [Tue, 13 Feb 2018 01:01:56 +0000 (20:01 -0500)] 
Make ($!) representation-polymorphic

Now that `($)` is representation-polymorphic, `($!)` should
surely follow suit.

Reviewers: hvr, bgamari, simonpj

Reviewed By: bgamari, simonpj

Subscribers: simonpj, rwbarton, thomie, carter

Differential Revision: https://phabricator.haskell.org/D4382

17 months agoEvac.c: remove unused CPP guard
Ömer Sinan Ağacan [Mon, 12 Feb 2018 11:33:25 +0000 (14:33 +0300)] 
Evac.c: remove unused CPP guard

`NO_PROMOTE_THUNKS` is never defined

17 months agoSimplify Foreign.Marshal.Alloc functions with ScopedTypeVariables
Ömer Sinan Ağacan [Sat, 10 Feb 2018 06:12:42 +0000 (09:12 +0300)] 
Simplify Foreign.Marshal.Alloc functions with ScopedTypeVariables

Reviewers: hvr, bgamari, RyanGlScott

Reviewed By: RyanGlScott

Subscribers: RyanGlScott, rwbarton, thomie, carter

Differential Revision: https://phabricator.haskell.org/D4401

17 months agoFix isDroppableCt (Trac #14763)
Simon Peyton Jones [Thu, 8 Feb 2018 14:24:11 +0000 (14:24 +0000)] 
Fix isDroppableCt (Trac #14763)

When finishing up an implication constraint, it's a bit tricky to
decide which Derived constraints to retain (for error reporting) and
which to discard.  I got this wrong in commit
   f20cf982f126aea968ed6a482551550ffb6650cf
   (Remove wc_insol from WantedConstraints)

The particular problem in Trac #14763 was that we were reporting as an
error a fundep-generated constraint
  (ex ~ T)
where 'ex' is an existentially-bound variable in a pattern match.
But this isn't really an error at all.

This patch fixes the problem. Indeed, since I had to understand
this rather tricky code, I took the opportunity to clean it up
and document better.  See
  isDroppableCt :: Ct -> Bool
and Note [Dropping derived constraints]

I also removed wl_deriv altogether from the WorkList data type.  It
was there in the hope of gaining efficiency by not even processing
lots of derived constraints, but it has turned out that most derived
constraints (notably equalities) must be processed anyway; see
Note [Prioritise equalities] in TcSMonad.

The two are coupled because to decide which constraints to put in
wl_deriv I was using another variant of isDroppableCt.  Now it's much
simpler -- and perhaps even more efficient too.

17 months agorts: fix barf format attribute
Douglas Wilson [Thu, 8 Feb 2018 00:03:28 +0000 (00:03 +0000)] 
rts: fix barf format attribute

Summary: See definition of PRINTF above the change

Reviewers: bgamari, erikd, simonmar, Phyx

Reviewed By: Phyx

Subscribers: Phyx, rwbarton, thomie, carter

Differential Revision: https://phabricator.haskell.org/D4392

17 months agoUse SPDX syntax in rts/package.conf.in
Herbert Valerio Riedel [Wed, 7 Feb 2018 17:36:13 +0000 (18:36 +0100)] 
Use SPDX syntax in rts/package.conf.in

This was an oversight from 2671cccde749ed64129097358f81bff43480cdb9
as it wasn't obvious to assume one would go the trouble to manually
construct the pkg-db entries... :-)

17 months agoFix solveOneFromTheOther for RecursiveSuperclasses
Simon Peyton Jones [Wed, 7 Feb 2018 11:57:40 +0000 (11:57 +0000)] 
Fix solveOneFromTheOther for RecursiveSuperclasses

This patch fixes the redundant superclass expansion
in Trac #14774.

The main change is to fix TcInterac.solveOneFromTheOther, so
that it does not prefer a work-item with a binding if that binding
transitively depends on the inert item we are comparing it with.

Explained in Note [Replacement vs keeping] in TcInert, esp
item (c) of the "Constraints coming from the same level" part.

To make this work I refactored out a new function
TcEvidence.findNeededEvVars, which was previously buried
inside TcSimplify.neededEvVars.

I added quite a few more comments and signposts about superclass
expansion.

17 months agoComments only
Simon Peyton Jones [Wed, 7 Feb 2018 11:56:58 +0000 (11:56 +0000)] 
Comments only

17 months agoFix utterly bogus TagToEnum rule in caseRules
Simon Peyton Jones [Wed, 7 Feb 2018 09:55:14 +0000 (09:55 +0000)] 
Fix utterly bogus TagToEnum rule in caseRules

In prelRules we had:

  tx_con_tte :: DynFlags -> AltCon -> AltCon
  tx_con_tte _      DEFAULT      = DEFAULT
  tx_con_tte dflags (DataAlt dc)
    | tag == 0  = DEFAULT   -- See Note [caseRules for tagToEnum]
    | otherwise = LitAlt (mkMachInt dflags (toInteger tag))

The tag==0 case is totally wrong, and led directly to Trac #14768.

See "Beware" in Note [caseRules for tagToEnum] (in the patch).

Easily fixed, though!

17 months agotestsuite: Add test for #14768
Ben Gamari [Tue, 6 Feb 2018 22:33:21 +0000 (17:33 -0500)] 
testsuite: Add test for #14768

17 months agorts: fix some barf format specifiers.
Douglas Wilson [Tue, 6 Feb 2018 22:27:32 +0000 (17:27 -0500)] 
rts: fix some barf format specifiers.

Reviewers: bgamari, erikd, simonmar

Reviewed By: bgamari

Subscribers: rwbarton, thomie, carter

Differential Revision: https://phabricator.haskell.org/D4390

17 months agorts: Use BITS_IN macro in bitmap calculations
Ömer Sinan Ağacan [Tue, 6 Feb 2018 18:29:50 +0000 (13:29 -0500)] 
rts: Use BITS_IN macro in bitmap calculations

Reviewers: bgamari, erikd, simonmar

Reviewed By: bgamari

Subscribers: rwbarton, thomie, carter

Differential Revision: https://phabricator.haskell.org/D4386

17 months agoImprove X86CodeGen's pprASCII.
HE, Tao [Tue, 6 Feb 2018 18:29:40 +0000 (13:29 -0500)] 
Improve X86CodeGen's pprASCII.

The original implementation generates a list of SDoc then concatenates
them using `hcat`. For memory optimization, we can transform the given
literal string into escaped string the construct SDoc directly.

This optimization will decreate the memory allocation when there's big
literal strings in haskell code, see Trac #14741.

Signed-off-by: HE, Tao <sighingnow@gmail.com>
Reviewers: bgamari, mpickering, simonpj

Reviewed By: simonpj

Subscribers: simonpj, rwbarton, thomie, carter

GHC Trac Issues: #14741

Differential Revision: https://phabricator.haskell.org/D4384

17 months agoRestore 'It is a member of hidden package' message.
Edward Z. Yang [Tue, 6 Feb 2018 18:27:46 +0000 (13:27 -0500)] 
Restore 'It is a member of hidden package' message.

See comment in Packages for more details.

Fixes #14717.

Signed-off-by: Edward Z. Yang <ezyang@fb.com>
Test Plan: validate

Reviewers: snoyberg, taylorfausak, bgamari

Reviewed By: snoyberg, taylorfausak, bgamari

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #14717

Differential Revision: https://phabricator.haskell.org/D4376

17 months agorts: Add format attribute to barf
Ben Gamari [Tue, 6 Feb 2018 18:27:35 +0000 (13:27 -0500)] 
rts: Add format attribute to barf

Test Plan: Validate

Reviewers: erikd, simonmar

Reviewed By: simonmar

Subscribers: rwbarton, thomie, carter

Differential Revision: https://phabricator.haskell.org/D4374

17 months agorts: Fix format of failed memory commit message
Ben Gamari [Tue, 6 Feb 2018 18:26:50 +0000 (13:26 -0500)] 
rts: Fix format of failed memory commit message

Test Plan: Validate

Reviewers: erikd, simonmar

Reviewed By: simonmar

Subscribers: rwbarton, thomie, carter

Differential Revision: https://phabricator.haskell.org/D4373

17 months agocmm: Remove unnecessary HsVersion.h includes
Michal Terepeta [Tue, 6 Feb 2018 18:26:29 +0000 (13:26 -0500)] 
cmm: Remove unnecessary HsVersion.h includes

Test Plan: ./validate

Reviewers: goldfire, bgamari, simonmar

Reviewed By: bgamari

Subscribers: rwbarton, thomie, carter

Differential Revision: https://phabricator.haskell.org/D4367

17 months agoCompute the union of imp_finsts on the side
Bartosz Nitka [Fri, 2 Feb 2018 14:55:19 +0000 (06:55 -0800)] 
Compute the union of imp_finsts on the side

I've explained most of the rationale in a new Note.
I'd happily add a test for this, but the difference is only
visible in run time, allocations remain more or less the same.

FWIW running `generateModules` from #14693 with DEPTH=16, WIDTH=30
finishes in `23s` before, and `11s` after.

Test Plan: ./validate

Reviewers: simonpj, simonmar, bgamari

Reviewed By: simonpj

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #14693

Differential Revision: https://phabricator.haskell.org/D4369

17 months agoBump Cabal submodule
Ben Gamari [Tue, 6 Feb 2018 01:27:10 +0000 (20:27 -0500)] 
Bump Cabal submodule

17 months agoImprove unboxed sum documentation
David Feuer [Mon, 5 Feb 2018 14:45:30 +0000 (09:45 -0500)] 
Improve unboxed sum documentation

* Clarify the representation of sums without fields.
* Try to improve language, clarity, and examples.

Fixes #14752

Reviewers: osa1, bgamari

Reviewed By: osa1

Subscribers: rwbarton, thomie, carter

GHC Trac Issues: #14752

Differential Revision: https://phabricator.haskell.org/D4379