12 months agoAdd -fno-safe-haskell flag
Matthew Pickering [Sat, 8 Dec 2018 04:25:20 +0000 (23:25 -0500)] 
Add -fno-safe-haskell flag

This flag can be set to turn off the Safe Haskell checks.

Whether a module is marked Safe/Unsafe/Trustworthy is ignored when
this flag to set.

Reviewers: bgamari, tdammers

Reviewed By: tdammers

Subscribers: rwbarton, carter

GHC Trac Issues: #15920

Differential Revision:

12 months agoFix StgLint bound id check, generalize StgLint
Ömer Sinan Ağacan [Sat, 8 Dec 2018 04:23:10 +0000 (23:23 -0500)] 
Fix StgLint bound id check, generalize StgLint

StgLint was incorrectly using isLocalId for bound id check to see
whether an id is imported (in which case we don't expect it to be bound)
or local.  The problem with isLocalId is that its semantics changes
after Core, as explained in the note: (last line)

    Note [GlobalId/LocalId]
    A GlobalId is
      * always a constant (top-level)
      * imported, or data constructor, or primop, or record selector
      * has a Unique that is globally unique across the whole
        GHC invocation (a single invocation may compile multiple
      * never treated as a candidate by the free-variable finder;
            it's a constant!

    A LocalId is
      * bound within an expression (lambda, case, local let(rec))
      * or defined at top level in the module being compiled
      * always treated as a candidate by the free-variable finder

    After CoreTidy, top-level LocalIds are turned into GlobalIds

We now pass current module as a parameter to StgLint, which uses it to
see if an id should be bound (defined in the current module) or not

Other changes:

- Generalized StgLint to make it work on both StgTopBinding and
- Bring all top-level binders into scope before linting top-level
  bindings to allow uses before definitions.

TODO: We should remove the binder from local vars when checking RHSs of
non-recursive bindings.

Test Plan: This validates.

Reviewers: simonpj, bgamari, sgraf

Reviewed By: simonpj, sgraf

Subscribers: rwbarton, carter

Differential Revision:

12 months agoFix #15369: GHCi doesn't honor :set +c when loading for a second time
Roland Senn [Sat, 8 Dec 2018 04:22:40 +0000 (23:22 -0500)] 
Fix #15369: GHCi doesn't honor :set +c when loading for a second time

The decision to (re)collect the type info for a (re)loaded module is
now taken only by comparing the file timestamps of the .hs file of the
module. (Or form the .o file if the .hs file is missing).
If the file timestamp changes, we (re)collect the type info.
The timestamp of the processing time of the last collect is no longer

Test Plan: make test TEST=T15369

Reviewers: alanz, hvr, monoidal, osa1, thomie, bgamari, tdammers

Reviewed By: tdammers

Subscribers: rwbarton, carter

GHC Trac Issues: #15369

Differential Revision:

12 months agoAdd haddock for Node in Digraph. [skip ci] [Sat, 8 Dec 2018 04:22:08 +0000 (23:22 -0500)] 
Add haddock for Node in Digraph. [skip ci]

Test Plan: make

Reviewers: bgamari

Reviewed By: bgamari

Subscribers: rwbarton, carter

Differential Revision:

12 months agoRemove redundant include of Rts.h in EventLogWriter.h
Zejun Wu [Sat, 8 Dec 2018 04:21:00 +0000 (23:21 -0500)] 
Remove redundant include of Rts.h in EventLogWriter.h

`EventLogWriter.h` doesn't use anything from `Rts.h`, the include is
redundant. This include is ignored when we include

Rts.h -> RtsAPI.h -> rts/EventLogWriter.h -> Rts.h

but can can cause problem when we include `RtsApi.h` directly with
errors like

In file included from /usr/lib/ghc-8.6.2/include/RtsAPI.h:20:
In file included from
In file included from /usr/lib/ghc-8.6.2/include/Rts.h:185:
/usr/lib/ghc-8.6.2/include/rts/storage/GC.h:187:29: error: unknown type
name 'Capability'
StgPtr  allocate          ( Capability *cap, W_ n );

Test Plan: ./validate

Reviewers: simonmar, bgamari, afarmer, erikd, alexbiehl

Reviewed By: bgamari, alexbiehl

Subscribers: rwbarton, carter

Differential Revision:

12 months agoRename "changed" to "no-change" in HscMain
Ömer Sinan Ağacan [Sat, 8 Dec 2018 04:20:42 +0000 (23:20 -0500)] 
Rename "changed" to "no-change" in HscMain

hscSimpleIface is returning a bool for whether there were _no changes_
in the iface file. The same bool is called "no_change_at_all" in
mkIface_, and "no_change" in hscWriteIface and other functions. However
it is called "changed" in HscMain.finish and hscMaybeWriteIface, which
is confusing because "changed" and "no_change" have opposite meanings.
This patch renames "changed" to "no_change" to fix this.

Reviewers: simonpj, bgamari

Reviewed By: bgamari

Subscribers: rwbarton, carter

Differential Revision:

12 months agoHadrian: fix dynamicGhcPrograms value for the quickest flavour
Alp Mestanogullari [Sat, 8 Dec 2018 04:20:23 +0000 (23:20 -0500)] 
Hadrian: fix dynamicGhcPrograms value for the quickest flavour

Quickest does not build anything in a dynamic way, so that
flavour should default to not building "ghc programs" dynamically.

I ran into this problem by building the 'docs' target with quickest,
which failed because at some point we run a haddock command in a
context whose Way is sensitive to dynamicGhcPrograms, and it
started looking for dyn interface files when it shouldn't have.

Test Plan: hadrian/ --flavour=quickest docs

Reviewers: snowleopard, bgamari

Reviewed By: snowleopard

Subscribers: rwbarton, carter

Differential Revision:

12 months agoMark SRT_1/SRT_2 as CONSTR_1_0/CONSTR_2_0
Ömer Sinan Ağacan [Sat, 8 Dec 2018 04:20:10 +0000 (23:20 -0500)] 
Mark SRT_1/SRT_2 as CONSTR_1_0/CONSTR_2_0

Test Plan:
Validated locally, but skipped perf tests as there's a
framework-related error

Reviewers: simonmar, bgamari, erikd

Reviewed By: simonmar

Subscribers: rwbarton, carter

Differential Revision:

12 months agohadrian: eliminate most of the remaining big rule enumerations
Alp Mestanogullari [Sat, 8 Dec 2018 04:19:36 +0000 (23:19 -0500)] 
hadrian: eliminate most of the remaining big rule enumerations

Following what was done to Rules.Library some time ago and to
Rules.Compile recently (D5412), this patch moves more rules away from
the "enumerate a lot of contexts and generate one rule for each" style
and instead uses the "parse data from file path to recover context"
approach. In fact, the only rules left to convert seem to be the ones
from Rules.Generate.

This effectively decreases the pauses described in #15938 further as
well as the amount of allocations and GC that we do, unsurprisingly.
Nowhere as drastically as D5412, though.

Test Plan: perform full build and generate docs

Reviewers: snowleopard, bgamari

Reviewed By: snowleopard

Subscribers: rwbarton, carter

GHC Trac Issues: #15938

Differential Revision:

12 months agoRequire 'libdw' for '--enable-dwarf-unwind'
Alec Theriault [Sat, 8 Dec 2018 04:18:15 +0000 (23:18 -0500)] 
Require 'libdw' for '--enable-dwarf-unwind'

This causes './configure --enable-dwarf-unwind' to exit with a helpful
error message when 'libdw' cannot be found (compared to the previous
behaviour of silently pretending the user hadn't requested DWARF support
at all).

Test Plan: ./configure --enable-dwarf-unwind # on systems with/without

Reviewers: bgamari, nh2

Reviewed By: nh2

Subscribers: nh2, rwbarton, erikd, carter

GHC Trac Issues: #15968

Differential Revision:

12 months agoMark broken tests on powerpc64le and skip ghci-ext
Peter Trommler [Sat, 8 Dec 2018 04:17:51 +0000 (23:17 -0500)] 
Mark broken tests on powerpc64le and skip ghci-ext

Mark tests with DWARF as broken
Test way `ghci-ext` only where available

Test Plan: validate

Reviewers: bgamari, hvr, simonmar, erikd, Phyx

Reviewed By: bgamari, Phyx

Subscribers: Phyx, rwbarton, carter

Differential Revision:

12 months agotestsuite: Fix tests expecting 64-bit word size
Ben Gamari [Fri, 7 Dec 2018 17:46:02 +0000 (12:46 -0500)] 
testsuite: Fix tests expecting 64-bit word size

These were added in 75a8349b2a7d0142d3d687837caf5a95bbb4368d.

12 months agoAdd missing space in report_summary output
Adam Sandberg Eriksson [Wed, 5 Dec 2018 21:53:37 +0000 (21:53 +0000)] 
Add missing space in report_summary output

12 months agoFixed plugin example to work
abc [Sun, 25 Nov 2018 05:16:00 +0000 (14:16 +0900)] 
Fixed plugin example to work

12 months agoFix typo in Foldable docs
Simon Jakobi [Sat, 24 Nov 2018 17:40:17 +0000 (18:40 +0100)] 
Fix typo in Foldable docs

12 months agoAdd some complexities to Data.List documentation (#15003)
Sven Tennie [Sun, 2 Dec 2018 17:02:18 +0000 (18:02 +0100)] 
Add some complexities to Data.List documentation (#15003)

Namely for:
- head
- uncons
- tail
- last
- init
- null

12 months agoCircleCI: Don't ignore gitlab/.* branches
Ben Gamari [Fri, 7 Dec 2018 16:24:07 +0000 (11:24 -0500)] 
CircleCI: Don't ignore gitlab/.* branches

This was added (for good reasons) in b9260e925e998f715865ae043bdb9f779ab5f849
but it seems this field isn't allowed in this context. Sadly there doesn't
appear to be an easy way to accomplish what we are after with CircleCI's rather
restrictive configuration language. Sigh.

12 months agotestsuite: Fix use of stats_num_field
Ben Gamari [Fri, 7 Dec 2018 15:14:25 +0000 (10:14 -0500)] 
testsuite: Fix use of stats_num_field

This is now collect_stats.

12 months agoFix #12102/#15872 by removing outdated users' guide prose
Ryan Scott [Fri, 7 Dec 2018 14:35:53 +0000 (09:35 -0500)] 
Fix #12102/#15872 by removing outdated users' guide prose

In the beginning, #12102 (and #15872, which is of a similar
ilk) were caused by a poor, confused user trying to use code that
looks like this (with a constraint in the kind of a data type):

type family IsTypeLit a where
  IsTypeLit Nat    = 'True
  IsTypeLit Symbol = 'True
  IsTypeLit a      = 'False

data T :: forall a. (IsTypeLit a ~ 'True) => a -> * where
  MkNat    :: T 42
  MkSymbol :: T "Don't panic!"

Many bizarre GHC quirks (documented in those tickets) arose from
this sort of construction. Ultimately, the use of constraints in
data type kinds like this has made a lot of people very confused and
been widely regarded as a bad move.

Commit 2257a86daa72db382eb927df12a718669d5491f8 finally put this
feature out of its misery, so now the code above simply errors with
`Illegal constraint in a kind`. As a result, the aforementioned
tickets are moot, so this patch wraps a bow on the whole thing by:

1. Removing the (now outdated) section on constraints in data type
   kinds from the users' guide, and
2. Adding a test case to test this code path.

Test Plan: make test TEST=T12102

Reviewers: goldfire, simonpj, bgamari, tdammers

Reviewed By: tdammers

Subscribers: tdammers, rwbarton, carter

GHC Trac Issues: #12102, #15872

Differential Revision:

12 months agoCareful tweaking to exprOkForSpeculation
Simon Peyton Jones [Fri, 7 Dec 2018 12:56:08 +0000 (12:56 +0000)] 
Careful tweaking to exprOkForSpeculation

This patch does several things:

* Make exprOkForSpeculation ignore evaluatedness of variables
  See the Note [exprOkForSpeculation and evaluated variables]
  This means that the binder-swap transformation no longer
  invaliates the let/app invariant.

* Make exprOkForSpeculation return False for
     DataToTagOp and SeqOp.
  See Note [exprOkForSpeculation and SeqOp/DataToTagOp]

* Remove the 'can_fail' property from dataToTag#; it was
  always a hack (described in the old Note [dataToTag#] in
  primops.txt.pp), and now its not necessary because of the
  fixes above.

* Make SetLevels use exprIsHNF, /not/ exprOkForSpeculation,
  when floating single-alternative cases.  See SetLevels
  Note [Floating single-alternative cases]

* Fix a buglet in FloatIn; probably never bites in practice
  See Note [Dead bindings]

Collectively, these changes finally fix Trac #15696.

12 months agoWibble to Taming the Kind Inference Monster
Simon Peyton Jones [Fri, 7 Dec 2018 14:25:30 +0000 (14:25 +0000)] 
Wibble to Taming the Kind Inference Monster

I had allowed rename/should_fail/T15828 (Trac #15828) to regress a bit.
The main payload of this patch is to fix that problem, at the cost of
more contortions in checkConsistentFamInst.  Oh well, at least they are
highly localised.

I also update the -ddump-types code in TcRnDriver to print out some
more expicit information about each type constructor, thus instead of

   DF{3} :: forall k. * -> k -> *

we get

   data family DF{3} :: forall k. * -> k -> *

Remember, this is debug-printing only.  This change is the reason
that so many .stderr files change.

12 months agohadrian: optimise Rules.Compile
Alp Mestanogullari [Fri, 7 Dec 2018 09:42:08 +0000 (10:42 +0100)] 
hadrian: optimise Rules.Compile

Previously, as reported in #15938, resuming a build "in the middle",
e.g when building _build/stage1/libraries/base/, hadrian would take up
to a whole minute to get started doing actual work, building code.

This was mostly due to a big enumeration that we do in Rules.hs, to
generate all the possible patterns for object files for 1) all ways, 2)
all packages and 3) all stages. Since rule enumeration is always
performed, whatever the target, we were always paying this cost, which
seemed to grow bigger the farther in the build we stopped and were
resuming from.

Instead, this patch borrows the approach that we took for Rules.Library
in, which exposes all the
relevant object files under as few catch-all rules as possible (8 here),
and parses all the information we need out of the object's path.

The concrete effect of this patch that I have observed is to reduce the
45-60 seconds pause to <5 seconds. Along with the Shake performance
improvements that Neil mentions in #15938, most of the pause should
effectively disappear.

Reviewers: snowleopard, bgamari, goldfire

Reviewed By: snowleopard

Subscribers: rwbarton, carter

GHC Trac Issues: #15938

Differential Revision:

12 months agoAdd fusion rules for the zipWith functions in base (#15263)
Tobias Decking [Thu, 6 Dec 2018 20:32:18 +0000 (15:32 -0500)] 
Add fusion rules for the zipWith functions in base (#15263)

This patch will allow `zip3` and `zipWith3` in `GHC.List` as well
as `zipWith4`, `zipWith5`, `zipWith6` and `zipWith7` in `Data.OldList` to fuse.

These rules are kept in a similar style as the rules for `zip` and `zipWith`.

Added a corresponding test case.

Test Plan: validate

Reviewers: hvr, bgamari, simonpj

Reviewed By: simonpj

Subscribers: simonpj, rockbmb, rwbarton, carter

GHC Trac Issues: #15263

Differential Revision:

12 months agoWindows: Use the "big" PE object format on amd64
Ben Gamari [Thu, 6 Dec 2018 20:28:47 +0000 (15:28 -0500)] 
Windows: Use the "big" PE object format on amd64

Test Plan: Do full build on Windows.

Reviewers: AndreasK, Phyx

Reviewed By: AndreasK

Subscribers: rwbarton, erikd, carter

GHC Trac Issues: #15934

Differential Revision:

12 months agoDon't use a generic apply thunk for known calls
Sebastian Graf [Thu, 6 Dec 2018 15:40:08 +0000 (16:40 +0100)] 
Don't use a generic apply thunk for known calls

Currently, an AP thunk like `sat = f a b c` will not have its own entry
point and info pointer and will instead reuse a generic apply thunk
like `stg_ap_4_upd`.

That's great from a code size perspective, but if `f` is a known
function, a specialised entry point with a plain call can be much faster
than figuring out the arity and doing dynamic dispatch.

This looks at `f`s arity to figure out if it is a known function and if so, it
will not lower it to a generic apply function.

Benchmark results are encouraging: No changes to allocation, but 0.2% less
counted instructions.

Test Plan: Validates locally

Reviewers: simonmar, osa1, simonpj, bgamari

Reviewed By: simonpj

Subscribers: rwbarton, carter

GHC Trac Issues: #16005

Differential Revision:

12 months agoRemove a tcTrace
Simon Peyton Jones [Thu, 6 Dec 2018 14:22:31 +0000 (14:22 +0000)] 
Remove a tcTrace

This tcTrace, in tcTyFamInstEqn, caused a knot-tying loop, because
it was printing a type after zonking-to-Type.  Easy solution: don't
do that.

12 months agoTests Trac #14847
Simon Peyton Jones [Thu, 6 Dec 2018 14:21:33 +0000 (14:21 +0000)] 
Tests Trac #14847

12 months agoRemove explicit recursion in retainer profiling (fixes #14758)
Alexander Vershilov [Wed, 5 Dec 2018 16:47:32 +0000 (19:47 +0300)] 
Remove explicit recursion in retainer profiling (fixes #14758)

Retainer profiling contained a recursion that under
certain circumstances could lead to the stack overflow
in C code.

The idea of the improvement is to keep an explicit stack for the
object, more precise to reuse existing stack, but allow new type of
objects to be stored there.

There is no reliable reproducer that is not a big program
but in some cases foldr (+) 0 [1..10000000] can work.

Reviewers: bgamari, simonmar, erikd, osa1

Reviewed By: bgamari, osa1

Subscribers: osa1, rwbarton, carter

GHC Trac Issues: #14758

Differential Revision:

12 months agoRemove duplicates in -ddump-minimial-imports
Simon Peyton Jones [Wed, 5 Dec 2018 10:12:09 +0000 (10:12 +0000)] 
Remove duplicates in -ddump-minimial-imports

This fixes Trac #15994.

Previously RdrName.gresToAvailInfo assumed that the input list
of GREs had no duplicates. I accidentally broke this precondition
in this refactoring:

    commit 6353efc7694ba8ec86c091918e02595662169ae2
    Date:   Thu Nov 22 14:48:05 2018 -0500

    Fix unused-import warnings

    This patch fixes a fairly long-standing bug (dating back to 2015) in
    RdrName.bestImport, namely

(There was an ASSERT, but it's usually switched off in stage2.  It
tripped when I switched stage2 assertions on.)

The fix is straightforward: account for dups in gresToAvailInfo.

12 months agolinker: store entire link map and use it.
Tamar Christina [Tue, 4 Dec 2018 00:29:08 +0000 (00:29 +0000)] 
linker: store entire link map and use it.

This fixes a corner case in which we have seen the symbol multiple times in
different static libraries, but due to a depencency we end up loading the
symbol from a library other than the first one.

Previously the runtime linker would only track symbols from the first
library and did not store the full link map.  In this case it was unable
to find the address for the symbols in the second library during delay

This change stores the address of all symbols seen so a full link map
is generated, such that when we make a different decision later than what
was expected we're able to still correctly load the library.

Test Plan: ./validate, new testcase T15894

Reviewers: angerman, bgamari, erikd, simonmar

Reviewed By: bgamari

Subscribers: rwbarton, carter

GHC Trac Issues: #15894

Differential Revision:

12 months agoHadrian: include 'findPtr' via find-ptr cabal flag
Alec Theriault [Tue, 4 Dec 2018 00:21:48 +0000 (00:21 +0000)] 
Hadrian: include 'findPtr' via find-ptr cabal flag

This is the latest in the 'findPtr' saga. See

  * 900c47f88784b91517c00be3e1087322e62f698e
  * 561748cb507505bd5b7bd76bdc57796d896b62a2

for the previous attempts. The problem with re-using the 'debug'
cabal flag for the purpose of forcing inclusion of 'findPtr' occurs
when 'debug' is one of the RTS ways, but RTS is not being compiled
with '-DDEBUG':

  * the 'debug' flag gets passed to cabal, signalling to build
    'rts' with the debug flavour, but also forcing inclusion of
    the 'findPtr'/'_findPtr' symbol

  * since '-DDEBUG' isn't enabled, that symbol doesn't show up in
    the libraries, so executable that depend on 'rts' (everything)
    will end up always requiring 'findPtr'/'_findPtr' but 'rts' won'y
    provide it!

The fix is simple: create a a new 'find-ptr' cabal-flag whose only
purpose is forcing '-Wl,-u,findPtr'/'-Wl,-u,_findPtr'. Then, enable that
flag when the RTS is being compiled with '-DDEBUG'

Test Plan: ./hadrian/ -c # on mac

Reviewers: alpmestan, snowleopard, bgamari, erikd, simonmar, Phyx

Reviewed By: alpmestan, snowleopard, Phyx

Subscribers: Phyx, rwbarton, carter

GHC Trac Issues: #15956

Differential Revision:

12 months agoImprove test T14452 for Windows
Roland Senn [Tue, 4 Dec 2018 00:17:47 +0000 (00:17 +0000)] 
Improve test T14452 for Windows

Summary: Under Windows all parameters to gcc are enclosed in quotes, opposite to
Linux, where the quotes are missing. Therefore in the test, we remove all
quotes in the stdout file with sed.

Test Plan: make test TEST=T14452

Reviewers: osa1, hvr, bgamari, monoidal, Phyx, simonpj

Reviewed By: Phyx

Subscribers: rwbarton, carter

GHC Trac Issues: #14452

Differential Revision:

12 months agoBump nofib submodule [Mon, 3 Dec 2018 18:59:09 +0000 (19:59 +0100)] 
Bump nofib submodule

Test Plan: run nofib

Reviewers: bgamari, tdammers

Reviewed By: tdammers

Subscribers: rwbarton, carter

Differential Revision:

12 months agoFix link name to a note
Arnaud Spiwack [Mon, 3 Dec 2018 18:54:19 +0000 (19:54 +0100)] 
Fix link name to a note

Reviewers: goldfire, bgamari, tdammers

Reviewed By: tdammers

Subscribers: rwbarton, carter

Differential Revision:

12 months agoAdd test cases for #7503, #14451
Ryan Scott [Mon, 3 Dec 2018 16:34:02 +0000 (11:34 -0500)] 
Add test cases for #7503, #14451

At some point between 8.4 and 8.6, two things were fixed:

* The entirety of #14451.
* One of the test cases in #7503. I've added this as T7503a. The
  other test case from that ticket still does /not/ work, so we'll
  have to add T7503b some other day.

12 months agoComments only
Simon Peyton Jones [Mon, 3 Dec 2018 13:47:55 +0000 (13:47 +0000)] 
Comments only

12 months agoIntroduce tcTypeKind, and use it
Simon Peyton Jones [Mon, 3 Dec 2018 11:30:22 +0000 (11:30 +0000)] 
Introduce tcTypeKind, and use it

In the type checker Constraint and * are distinct; and the function
that takes the kind of a type should respect that distinction
(Trac #15971).

This patch implements the change:

* Introduce Type.tcTypeKind, and use it throughout the type
  inference engine

* Add new Note [Kinding rules for types] for the kinding
  rules, especially for foralls.

* Redefine
    isPredTy ty = tcIsConstraintKind (tcTypeKind ty)
  (it had a much more complicated definition before)

Some miscellaneous refactoring

* Get rid of TyCoRep.isTYPE, Kind.isTYPEApp,
  in favour of TyCoRep.kindRep, kindRep_maybe

* Rename Type.getRuntimeRepFromKind_maybe
  to getRuntimeRep_maybe

I did some spot-checks on compiler perf, and it really doesn't
budge (as expected).

12 months agoFix embarrassing infinite loop in pprParendType
Ryan Scott [Mon, 3 Dec 2018 12:03:55 +0000 (07:03 -0500)] 
Fix embarrassing infinite loop in pprParendType

`pprParendType` was missing an explicit case for
`EqualityT`, which caused it to fall through to a catch-all case
that invokes `ppr`. But `ppr` itself does not have a case for a
partial application of `EqualityT`, so //it// falls back to
`pprParendType`, resulting in an infinite loop!

The fix is simple: add a case for `EqualityT` in `pprParendType`.
While I was in the neighborhood, I removed the catch-call case in
`pprParendType` to make this sort of mistake less likely to happen
in the future.

Test Plan: make test TEST=T15985

Reviewers: bgamari, monoidal, simonpj

Reviewed By: monoidal, simonpj

Subscribers: rwbarton, carter

GHC Trac Issues: #15985

Differential Revision:

12 months agoFix #15954 by rejigging check_type's order
Ryan Scott [Mon, 3 Dec 2018 12:03:52 +0000 (07:03 -0500)] 
Fix #15954 by rejigging check_type's order

Previously, `check_type` (which catches illegal uses of
unsaturated type synonyms without enabling `LiberalTypeSynonyms`,
among other things) always checks for uses of polytypes before
anything else. There is a problem with this plan, however:
checking for polytypes requires decomposing `forall`s and other
invisible arguments, an action which itself expands type synonyms!
Therefore, if we have something like:

type A a = Int
type B (a :: Type -> Type) = forall x. x -> x
type C = B A

Then when checking `B A`, `A` will get expanded to `forall x. x -> x`
before `check_type` has an opportunity to realize that `A` is an
unsaturated type synonym! This is the root cause of #15954.

This patch fixes the issue by moving the case of `check_type` that
detects polytypes to be //after// the case that checks for
`TyConApp`s. That way, the `TyConApp` case will properly flag things
like the unsaturated use of `A` in the example above before we ever
attempt to check for polytypes.

Test Plan: make test TEST=T15954

Reviewers: simonpj, bgamari, goldfire

Reviewed By: simonpj

Subscribers: rwbarton, carter

GHC Trac Issues: #15954

Differential Revision:

12 months agoWarn on all out-of-range literals in pats/exprs
Alec Theriault [Mon, 3 Dec 2018 12:03:44 +0000 (07:03 -0500)] 
Warn on all out-of-range literals in pats/exprs

These changes were motivated by #13256. While poking around, I
realized we weren't very consistent in our "-Woverflowed-literals"
warnings. This patch fixes that by:

  * warning earlier on in the pipeline (ie. before we've desugared
    'Int' patterns into 'I# Int#')
  * handling 'HsLit' as well as 'HsOverLit' (this covers unboxed
  * covering more pattern / expression forms

4/6 of the warnings in the 'Overflow' test are due to this patch. The
other two are mostly for completeness.

Also fixed a missing empty-enumeration warning for 'Natural'.

This warnings were tripped up by the 'Bounded Word' instance (see #9505),
but the fix was obvious and simple: use unboxed word literals.

Test Plan: make TEST=Overflow && make TEST=T10930

Reviewers: hvr, bgamari, RyanGlScott

Reviewed By: RyanGlScott

Subscribers: RyanGlScott, rwbarton, carter

GHC Trac Issues: #13256, #10930

Differential Revision:

12 months agoupdate (CicleCI) CI script to work with ghc-ci
Alp Mestanogullari [Wed, 28 Nov 2018 15:31:31 +0000 (16:31 +0100)] 
update (CicleCI) CI script to work with ghc-ci

ghc-ci is a tiny webservice that acts as an intermediate between our
CircleCI jobs on Gitlab and the actual builds running on CircleCI, so that
the build script doesn't need to rely on any secret, which makes the whole
setup fork-friendly.

The concrete effect of this patch is to allow any fork of GHC on Gitlab to
run CircleCI jobs.

12 months agoHadrian: Print all testsuite output to stdout
Andrey Mokhov [Mon, 26 Nov 2018 22:18:36 +0000 (22:18 +0000)] 
Hadrian: Print all testsuite output to stdout


12 months agotestsuite: Don't use git status to determine whether we are inside a repo
Ben Gamari [Sat, 1 Dec 2018 14:28:57 +0000 (09:28 -0500)] 
testsuite: Don't use git status to determine whether we are inside a repo

Git status is extremely expensive for this task. We instead use `git rev-parse
HEAD` and throw away the output to ensure we don't spam the user.

12 months agoDisable most Pipelines-based validation ways
Ben Gamari [Sat, 1 Dec 2018 14:10:35 +0000 (09:10 -0500)] 
Disable most Pipelines-based validation ways

12 months agoAdd GitLab CI
Ben Gamari [Sat, 24 Nov 2018 00:20:00 +0000 (19:20 -0500)] 
Add GitLab CI

12 months agohadrian/test: Don't depend upon iserv on Windows
Ben Gamari [Mon, 26 Nov 2018 16:08:39 +0000 (11:08 -0500)] 
hadrian/test: Don't depend upon iserv on Windows

Iserv is not supported on Windows. This fixes #15950 but this whole situation
feels awfully fragile to me.

12 months agoAdd a Gitlab CI script that runs Circle CI validation jobs
Alp Mestanogullari [Wed, 7 Nov 2018 00:21:55 +0000 (01:21 +0100)] 
Add a Gitlab CI script that runs Circle CI validation jobs

And put it to use for running i386 and x86_64 linux validate,
x86_64 darwin validate and building with hadrian. For all the validate
jobs, we save the artifacts (bindist + test results for now) in Circle CI
and subsequently grab them in Gitlab. The nice side effect is that merge
requests now show the change in test results from the patches and let you
download or browse the artifacts.

12 months agoSkip all performance tests if not in a git repo.
David Eichmann [Fri, 30 Nov 2018 16:48:25 +0000 (16:48 +0000)] 
Skip all performance tests if not in a git repo.

Reviewers: bgamari, tdammers, osa1

Reviewed By: tdammers

Subscribers: osa1, tdammers, rwbarton, carter

GHC Trac Issues: #15923

Differential Revision:

12 months agoDeduplicate decision to count thunks in `-ticky`
Sebastian Graf [Fri, 30 Nov 2018 16:18:45 +0000 (17:18 +0100)] 
Deduplicate decision to count thunks in `-ticky`

Previously, the logic that checks whether a thunk has a counter or not
was duplicated in multiple functions.

This led to thunk enters being accounted to their enclosing functions in
`StgCmmTicky.tickyEnterThunk`, because the outer call to
`withNewTickyCounterThunk` didn't set the counter label for the thunk.
And rightly so! `tickyEnterThunk` should only account thunk enters to a
counter if `-ticky-dyn-thunk` is on.

This patch extracts the logic that was already present in its most
general form in `withNewTickyCounterThunk` into its own functions and
lets all other call sites checking for `-ticky-dyn-thunk` call this new
function named `thunkHasCounter` instead.

Reviewers: bgamari, simonmar

Reviewed By: simonmar

Subscribers: rwbarton, carter

Differential Revision:

12 months agoAdd 'Lift' instances for 'NonEmpty' and 'Void'
Alec Theriault [Fri, 30 Nov 2018 14:18:10 +0000 (09:18 -0500)] 
Add 'Lift' instances for 'NonEmpty' and 'Void'

Since 'NonEmpty' and 'Void' are now part of 'base', it makes
sense that we put 'Lift' instances for them in 'template-haskell'.
Not doing so is going to force users to define their own (possibly
colliding) orphan instances downstream.

Test Plan: ./validate

Reviewers: goldfire, bgamari, RyanGlScott

Reviewed By: RyanGlScott

Subscribers: RyanGlScott, rwbarton, carter

GHC Trac Issues: #15961

Differential Revision:

12 months agoTwo tests for Trac #14230
Simon Peyton Jones [Fri, 30 Nov 2018 14:00:14 +0000 (14:00 +0000)] 
Two tests for Trac #14230

12 months agoAccept T15828 test output
Ryan Scott [Fri, 30 Nov 2018 00:43:32 +0000 (19:43 -0500)] 
Accept T15828 test output

This test output changed slightly due to commit
2257a86daa72db382eb927df12a718669d5491f8 (which is expected).

12 months agoAdd a test case for #15962
Chaitanya Koparkar [Thu, 29 Nov 2018 23:47:33 +0000 (18:47 -0500)] 
Add a test case for #15962

Test Plan: make test TEST=T15962

Reviewers: RyanGlScott, bgamari

Reviewed By: RyanGlScott

Subscribers: rwbarton, carter

GHC Trac Issues: #15962

Differential Revision:

12 months agoMake ghc-in-ghci support Hadrian
Ryan Scott [Thu, 29 Nov 2018 23:46:39 +0000 (18:46 -0500)] 
Make ghc-in-ghci support Hadrian

Currently, `ghc-in-ghci` is hard-coded to only support
the installation path of the `make`-based build system. There isn't
a fundamental reason why this must be the case, however—it's just a
matter of communicating which directories to look into.

For the time being, I've hacked `utils/ghc-in-ghci/` to just
check the default Hadrian installation path in addition to the `make`
one. Disclaimer: I'm not well-versed in `bash`-fu, so it's possible
that there is a better way to accomplish what I'm setting out to do.
Suggestions welcome.

Test Plan: ./utils/ghc-in-ghci/

Reviewers: alpmestan, bgamari

Reviewed By: alpmestan

Subscribers: rwbarton, carter

Differential Revision:

12 months agoAllow containers-0.6, QuickCheck-2.12 in Hadrian
Ryan Scott [Thu, 29 Nov 2018 23:46:16 +0000 (18:46 -0500)] 
Allow containers-0.6, QuickCheck-2.12 in Hadrian

Currently, Hadrian has restrictive upper bounds on
`containers` and `QuickCheck` that prevents it from building with
the latest versions of each respective library ( and There doesn't appear to be any good reason to do so,
since Hadrian builds fine with them, so let's bump the upper version
bounds accordingly.

Test Plan: ./build/

Reviewers: bgamari, alpmestan, snowleopard

Reviewed By: snowleopard

Subscribers: rwbarton, carter

Differential Revision:

12 months agoFix #15953 by consistently using dumpIfSet_dyn to print debug output
Chaitanya Koparkar [Thu, 29 Nov 2018 23:45:07 +0000 (18:45 -0500)] 
Fix #15953 by consistently using dumpIfSet_dyn to print debug output

In some modules we directly dump the debugging output to STDOUT
via 'putLogMsg', 'printInfoForUser' etc. However, if `-ddump-to-file`
is enabled, that output should be written to a file. Easily fixed.

Certain tests (T3017, Roles3, T12763 etc.) expect part of the
output generated by `-ddump-types` to be in 'PprUser' style. However,
generally we want all other debugging output to use 'PprDump'
style. `traceTcRn` and `traceTcRnForUser` help us accomplish this.

This patch also documents some missing flags in the users guide.

Reviewers: RyanGlScott, bgamari, hvr

Reviewed By: RyanGlScott

Subscribers: rwbarton, carter

GHC Trac Issues: #15953

Differential Revision:

12 months agoAdd missing since annotations
Victor Nawothnig [Thu, 29 Nov 2018 23:44:36 +0000 (18:44 -0500)] 
Add missing since annotations

Reviewers: hvr, bgamari, RyanGlScott

Reviewed By: RyanGlScott

Subscribers: RyanGlScott, rwbarton, carter

GHC Trac Issues: #15930

Differential Revision:

12 months agoFix #15828, from `More explicit foralls`
Matthew Yacavone [Thu, 29 Nov 2018 23:42:39 +0000 (18:42 -0500)] 
Fix #15828, from `More explicit foralls`

Fix a bug in commit 12eeb9 which permits the following:

class C a where
  type T a b
instance C (Maybe a) where
  type forall a b. T (Maybe a) b = b

where instead, the user should write:

instance C (Maybe a) where
  type forall b. T (Maybe a) b = b

Update the users guide to discuss scoping of type variables in
explicit foralls in type family instances.

Test Plan: validate

Reviewers: bgamari, goldfire, monoidal

Reviewed By: goldfire

Subscribers: monoidal, rwbarton, carter

GHC Trac Issues: #15828

Differential Revision:

12 months agoTaming the Kind Inference Monster
Simon Peyton Jones [Wed, 28 Nov 2018 16:06:15 +0000 (16:06 +0000)] 
Taming the Kind Inference Monster

My original goal was (Trac #15809) to move towards using level numbers
as the basis for deciding which type variables to generalise, rather
than searching for the free varaibles of the environment.  However
it has turned into a truly major refactoring of the kind inference

Let's deal with the level-numbers part first:

* Augment quantifyTyVars to calculate the type variables to
  quantify using level numbers, and compare the result with
  the existing approach.  That is; no change in behaviour,
  just a WARNing if the two approaches give different answers.

* To do this I had to get the level number right when calling
  quantifyTyVars, and this entailed a bit of care, especially
  in the code for kind-checking type declarations.

* However, on the way I was able to eliminate or simplify
  a number of calls to solveEqualities.

This work is incomplete: I'm not /using/ level numbers yet.
When I subsequently get rid of any remaining WARNings in
quantifyTyVars, that the level-number answers differ from
the current answers, then I can rip out the current
"free vars of the environment" stuff.

Anyway, this led me into deep dive into kind inference for type and
class declarations, which is an increasingly soggy part of GHC.
Richard already did some good work recently in

   commit 5e45ad10ffca1ad175b10f6ef3327e1ed8ba25f3
   Date:   Thu Sep 13 09:56:02 2018 +0200

    Finish fix for #14880.

    The real change that fixes the ticket is described in
    Note [Naughty quantification candidates] in TcMType.

but I kept turning over stones. So this patch has ended up
with a pretty significant refactoring of that code too.

Kind inference for types and classes

* Major refactoring in the way we generalise the inferred kind of
  a TyCon, in kcTyClGroup.  Indeed, I made it into a new top-level
  function, generaliseTcTyCon.  Plus a new Note to explain it
  Note [Inferring kinds for type declarations].

* We decided (Trac #15592) not to treat class type variables specially
  when dealing with Inferred/Specified/Required for associated types.
  That simplifies things quite a bit. I also rewrote
  Note [Required, Specified, and Inferred for types]

* Major refactoring of the crucial function kcLHsQTyVars:
  I split it into
       kcLHsQTyVars_Cusk  and  kcLHsQTyVars_NonCusk
  because the two are really quite different. The CUSK case is
  almost entirely rewritten, and is much easier because of our new
  decision not to treat the class variables specially

* I moved all the error checks from tcTyClTyVars (which was a bizarre
  place for it) into generaliseTcTyCon and/or the CUSK case of
  kcLHsQTyVars.  Now tcTyClTyVars is extremely simple.

* I got rid of all the all the subtleties in tcImplicitTKBndrs. Indeed
  now there is no difference between tcImplicitTKBndrs and
  kcImplicitTKBndrs; there is now a single bindImplicitTKBndrs.
  Same for kc/tcExplicitTKBndrs.  None of them monkey with level
  numbers, nor build implication constraints.  scopeTyVars is gone
  entirely, as is kcLHsQTyVarBndrs. It's vastly simpler.

  I found I could get rid of kcLHsQTyVarBndrs entirely, in favour of
  the bnew bindExplicitTKBndrs.

* I now deal with the "naughty quantification candidates"
  of the previous patch in candidateQTyVars, rather than in
  quantifyTyVars; see Note [Naughty quantification candidates]
  in TcMType.

  I also killed off closeOverKindsCQTvs in favour of the same
  strategy that we use for tyCoVarsOfType: namely, close over kinds
  at the occurrences.

  And candidateQTyVars no longer needs a gbl_tvs argument.

* Passing the ContextKind, rather than the expected kind itself,
  to tc_hs_sig_type_and_gen makes it easy to allocate the expected
  result kind (when we are in inference mode) at the right level.

Type families
* I did a major rewrite of the impenetrable tcFamTyPats. The result
  is vastly more comprehensible.

* I got rid of kcDataDefn entirely, quite a big function.

* I re-did the way that checkConsistentFamInst works, so
  that it allows alpha-renaming of invisible arguments.

* The interaction of kind signatures and family instances is tricky.
    Type families: see Note [Apparently-nullary families]
    Data families: see Note [Result kind signature for a data family instance]
                   and Note [Eta-reduction for data families]

* The consistent instantation of an associated type family is tricky.
  See Note [Checking consistent instantiation] and
      Note [Matching in the consistent-instantation check]
  in TcTyClsDecls.  It's now checked in TcTyClsDecls because that is
  when we have the relevant info to hand.

* I got tired of the compromises in etaExpandFamInst, so I did the
  job properly by adding a field cab_eta_tvs to CoAxBranch.
  See Coercion.etaExpandCoAxBranch.

tcInferApps and friends
* I got rid of the mysterious and horrible ClsInstInfo argument
  to tcInferApps, checkExpectedKindX, and various checkValid
  functions.  It was horrible!

* I got rid of [Type] result of tcInferApps.  This list was used
  only in tcFamTyPats, when checking the LHS of a type instance;
  and if there is a cast in the middle, the list is meaningless.
  So I made tcInferApps simpler, and moved the complexity
  (not much) to tcInferApps.

  Result: tcInferApps is now pretty comprehensible again.

* I refactored the many function in TcMType that instantiate skolems.

Smaller things

* I rejigged the error message in checkValidTelescope; I think it's
  quite a bit better now.

* checkValidType was not rejecting constraints in a kind signature
     forall (a :: Eq b => blah). blah2
  That led to further errors when we then do an ambiguity check.
  So I make checkValidType reject it more aggressively.

* I killed off quantifyConDecl, instead calling kindGeneralize

* I fixed an outright bug in tyCoVarsOfImplic, where we were not
  colleting the tyvar of the kind of the skolems

* Renamed ClsInstInfo to AssocInstInfo, and made it into its
  own data type

* Some fiddling around with pretty-printing of family
  instances which was trickier than I thought.  I wanted
  wildcards to print as plain "_" in user messages, although
  they each need a unique identity in the CoAxBranch.

Some other oddments

* Refactoring around the trace messages from reportUnsolved.
* A bit of extra tc-tracing in TcHsSyn.commitFlexi

This patch fixes a raft of bugs, and includes tests for them.

 * #14887
 * #15740
 * #15764
 * #15789
 * #15804
 * #15817
 * #15870
 * #15874
 * #15881

12 months agoHadrian: support dynamically linking ghc
David Eichmann [Thu, 29 Nov 2018 17:22:16 +0000 (18:22 +0100)] 
Hadrian: support dynamically linking ghc

* (#15837 point 5) Use the -rpath gcc option and using the $ORIGIN
variable which the dynamic linker sets to the location of the ghc
* (#15837 point 4) "-fPIC -dynamic" options are used when building ghc
when either ghc or the rts have a dynamic way.
* (#15837 point 7) "-shared -dynload deploy" options are only used when
linking a library (no longer when linking a program).

Reviewers: bgamari, alpmestan

Reviewed By: alpmestan

Subscribers: adamse, rwbarton, carter

Differential Revision:

12 months agoHadrian: bump Cabal submodule, install extra dynamic flavours of RTS
Alp Mestanogullari [Thu, 29 Nov 2018 16:14:57 +0000 (17:14 +0100)] 
Hadrian: bump Cabal submodule, install extra dynamic flavours of RTS

Previously, Hadrian was building all the appropriate dynamic ways for
but they were not picked up and installed in the package database when
we register the rts library. Since we use Cabal for registering
packages and
the .cabal files of packages as sources of truth for configuring and
we ended up patching Cabal to add a new field,
to specify those extra flavours to install in .cabal files:

We now make use of this in to expose dynamic flavours
behind a
Cabal flag, which Hadrian will use whenever we are building a GHC
flavour that
requires dynamic libraries.

This is all part of a larger plan to build a dynamic stage 2 GHC by
like with make, which in turn will fix a lot of test failures. See

Test Plan:
hadrian/ _build/stage1/lib/package.conf.d/rts-1.0.conf
_build/stage1/lib/x86_64-.../ should contain many libHSrts-*.so

Reviewers: snowleopard, DavidEichmann, bgamari, erikd, simonmar

Reviewed By: snowleopard, DavidEichmann

Subscribers: rwbarton, carter

GHC Trac Issues: #15837

Differential Revision:

12 months agoTest Trac #15943
Simon Peyton Jones [Thu, 29 Nov 2018 11:42:58 +0000 (11:42 +0000)] 
Test Trac #15943

This test seems to work in HEAD

12 months agoComments only
Simon Peyton Jones [Wed, 28 Nov 2018 15:30:10 +0000 (15:30 +0000)] 
Comments only

12 months agoAdd Note [Dead case binders in -O0]
Sebastian Graf [Wed, 28 Nov 2018 12:28:29 +0000 (13:28 +0100)] 
Add Note [Dead case binders in -O0]

After reverting Phab:D5358, Simon (Peyton Jones) asked for a Note
summarising why we want to keep the dead case binder check in `cgCase`.

Summary from mail conversation:

* Phab:D5324 means that we no longer /recompute/ dead-ness of case-binders in

* But TidyPgm preserves dead-ness info (see CoreTidy.tidyIdBndr)

* And so we can take advantage of it to avoid a redundant load. This load
  would be eliminated by CmmSink, but that only happens with -O

12 months agoHadrian: improve bindist rule
Alp Mestanogullari [Tue, 27 Nov 2018 12:17:53 +0000 (13:17 +0100)] 
Hadrian: improve bindist rule

As outlined in #15925, hadrian bindists had not made a clear choice with
respect to relocatable GHCs and wrapper scripts. This commit implements
the policy described in the ticket. That is:

- the bindists ship {bin, lib} as they are, modulo the addition of
  haddock from stage2/bin
- we now _always_ generate wrapper scripts for all the programs that
  are in the bindist's bin/ directory

The idea being that anyone on Linux/Windows/OS X can just unpack
the binary distribution anywhere and start using bin/ghc, while the
installation process systematicaly generates wrapper scripts.

Test Plan: hadrian/ binary-dist ; cd
_build/bindist/ghc-X.Y.Z-arch/; configure --prefix=/tmp/foo && make

Reviewers: snowleopard, bgamari, angerman

Reviewed By: snowleopard, bgamari, angerman

Subscribers: rwbarton, carter

GHC Trac Issues: #15925

Differential Revision:

12 months agoFix #15941 by only special-casing visible infix applications
Ryan Scott [Mon, 26 Nov 2018 17:59:50 +0000 (12:59 -0500)] 
Fix #15941 by only special-casing visible infix applications

The iface pretty-printer had a special case for an
application of an infix type constructor to two arguments. But this
didn't take the visibilities of the arguments into account, which
could lead to strange output like `@{LiftedRep} -> @{LiftedRep}` when
`-fprint-explicit-kinds` was enabled (#15941). The fix is relatively
straightforward: simply plumb through the visibilities of each
argument, and only trigger the special case for infix applications
if both arguments are visible (i.e., required).

Test Plan: make test TEST=T15941

Reviewers: goldfire, bgamari, monoidal

Reviewed By: goldfire, monoidal

Subscribers: simonpj, rwbarton, carter

GHC Trac Issues: #15941

Differential Revision:

12 months agoUse autoconf to generate version numbers for libiserv and friends
Ryan Scott [Mon, 26 Nov 2018 17:59:30 +0000 (12:59 -0500)] 
Use autoconf to generate version numbers for libiserv and friends

Currently, the version numbers for `libiserv`, `iserv`, and
`iserv-proxy` are hard-coded directly into their `.cabal` files.
These are easy to forget to update, and in fact, this has already
happened once (see #15866). Let's use `autoconf` to do this for us
so that it is not forgotten in the future.

Test Plan: ./validate

Reviewers: bgamari

Reviewed By: bgamari

Subscribers: rwbarton, erikd, carter

GHC Trac Issues: #15866

Differential Revision:

12 months agoPrint explicit foralls in type family eqns when appropriate
Ryan Scott [Mon, 26 Nov 2018 17:59:09 +0000 (12:59 -0500)] 
Print explicit foralls in type family eqns when appropriate

When `-fprint-explicit-foralls` is enabled, type family
equations are either printed without an explict `forall` entirely,
or with a bizarre square bracket syntax (in the case of closed type
families). I find neither satisfying, so in this patch, I introduce
support for printing explicit `forall`s in open type-family, closed
type-family, and data-family equations when appropriate. (By "when
appropriate", I refer to the conditions laid out in
`Note [When to print foralls]` in `IfaceType`.)

One tricky point in the implementation is that I had to pick a
visibility for each type variable in a `CoAxiom`/`FamInst` in order
to be able to pass it to `pprUserIfaceForAll` //et al.// Because
the type variables in a type family instance equation can't be
instantiated by the programmer anyway, the choice only really matters
for pretty-printing purposes, so I simply went with good ol'
trustworthy `Specified`. (This design choice is documented in
`Note [Printing foralls in type family instances]` in `IfaceType`.)

Test Plan: make test TEST=T15827

Reviewers: goldfire, bgamari, simonpj

Reviewed By: simonpj

Subscribers: simonpj, rwbarton, carter

GHC Trac Issues: #15827

Differential Revision:

12 months agoFix build on darwin
Ömer Sinan Ağacan [Mon, 26 Nov 2018 09:27:59 +0000 (12:27 +0300)] 
Fix build on darwin

CPP error introduced with b2950e0

12 months agoRevert "Remove redundant check in cgCase"
Ömer Sinan Ağacan [Mon, 26 Nov 2018 09:00:02 +0000 (12:00 +0300)] 
Revert "Remove redundant check in cgCase"

This reverts commit d13b7d60650cb84af11ee15b3f51c3511548cfdb.

(See discussion in D5358)

12 months agoRemove unused declarations in MarkWeak.h
Ömer Sinan Ağacan [Sun, 25 Nov 2018 14:03:39 +0000 (17:03 +0300)] 
Remove unused declarations in MarkWeak.h

12 months agoCircleCI: More cleanup
Ben Gamari [Sat, 24 Nov 2018 18:08:06 +0000 (13:08 -0500)] 
CircleCI: More cleanup

12 months agoRevert "Fix uninformative hp2ps error when the cmdline contains double quotes"
Ben Gamari [Sat, 24 Nov 2018 19:01:40 +0000 (14:01 -0500)] 
Revert "Fix uninformative hp2ps error when the cmdline contains double quotes"

This reverts commit 390df8b51b917fb6409cbde8e73fe838d61d8832.

12 months agoCircleCI: Clean up docker image
Ben Gamari [Sat, 24 Nov 2018 17:34:57 +0000 (12:34 -0500)] 
CircleCI: Clean up docker image

12 months ago[TTG: Handling Source Locations] Foundation and Pat
Shayan-Najd [Thu, 22 Nov 2018 01:23:29 +0000 (01:23 +0000)] 
[TTG: Handling Source Locations] Foundation and Pat

This patch removes the ping-pong style from HsPat (only, for now),
using the plan laid out at (solution

- the class `HasSrcSpan`, and its functions (e.g., `cL` and `dL`), are introduced
- some instances of `HasSrcSpan` are introduced
- some constructors `L` are replaced with `cL`
- some patterns `L` are replaced with `dL->L` view pattern
- some type annotation are necessarily updated (e.g., `Pat p` --> `Pat (GhcPass p)`)

Phab diff: D5036
Trac Issues #15495

Updates haddock submodule

12 months agoFix unused import warning
= [Sat, 24 Nov 2018 09:08:36 +0000 (11:08 +0200)] 
Fix unused import warning

Presumably introduced by new unused import checker.

12 months agoRevert "'DynFlag'-free version of 'mkParserFlags'"
Ben Gamari [Fri, 23 Nov 2018 19:09:30 +0000 (14:09 -0500)] 
Revert "'DynFlag'-free version of 'mkParserFlags'"

This reverts commit 5aa29231ab7603537284eff5e4caff3a73dba6d2.

12 months agoRevert "Simplify 'ExtBits' in the lexer"
Ben Gamari [Fri, 23 Nov 2018 19:09:28 +0000 (14:09 -0500)] 
Revert "Simplify 'ExtBits' in the lexer"

This reverts commit d2fbc33c4ff3074126ab71654af8bbf8a46e4e11.

12 months agoBump text submodule
Ben Gamari [Fri, 23 Nov 2018 17:32:09 +0000 (12:32 -0500)] 
Bump text submodule

12 months agoBump containers submodule
Ben Gamari [Fri, 23 Nov 2018 17:30:13 +0000 (12:30 -0500)] 
Bump containers submodule

12 months agousers guide: Clarify meanings of -g<n> flags
Ben Gamari [Thu, 22 Nov 2018 22:20:40 +0000 (17:20 -0500)] 
users guide: Clarify meanings of -g<n> flags

12 months agodistrib/configure: Set RanlibCmd
Ben Gamari [Thu, 8 Nov 2018 02:02:19 +0000 (21:02 -0500)] 
distrib/configure: Set RanlibCmd

This fixes #15875.

12 months agoconfigure: Use LLVM 7.0
Ben Gamari [Thu, 22 Nov 2018 21:07:49 +0000 (16:07 -0500)] 
configure: Use LLVM 7.0

12 months agoImplement late lambda lift
Sebastian Graf [Fri, 23 Nov 2018 15:24:18 +0000 (16:24 +0100)] 
Implement late lambda lift

This implements a selective lambda-lifting pass late in the STG

Lambda lifting has the effect of avoiding closure allocation at the cost
of having to make former free vars available at call sites, possibly
enlarging closures surrounding call sites in turn.

We identify beneficial cases by means of an analysis that estimates
closure growth.

There's a Wiki page at

Reviewers: simonpj, bgamari, simonmar

Reviewed By: simonpj

Subscribers: rwbarton, carter

GHC Trac Issues: #9476

Differential Revision:

12 months agoTypofix in help text
Gabor Greif [Fri, 23 Nov 2018 11:02:49 +0000 (12:02 +0100)] 
Typofix in help text

12 months agoUse handy shortcut llvm_ways
Gabor Greif [Fri, 23 Nov 2018 09:09:57 +0000 (10:09 +0100)] 
Use handy shortcut llvm_ways

12 months agoFix unused-import warnings
David Eichmann [Thu, 22 Nov 2018 19:48:05 +0000 (14:48 -0500)] 
Fix unused-import warnings

This patch fixes a fairly long-standing bug (dating back to 2015) in
RdrName.bestImport, namely

   commit 9376249b6b78610db055a10d05f6592d6bbbea2f
   Author: Simon Peyton Jones <>
   Date:   Wed Oct 28 17:16:55 2015 +0000

   Fix unused-import stuff in a better way

In that patch got the sense of the comparison back to front, and
thereby failed to implement the unused-import rules described in
  Note [Choosing the best import declaration] in RdrName

This led to Trac #13064 and #15393

Fixing this bug revealed a bunch of unused imports in libraries;
the ones in the GHC repo are part of this commit.

The two important changes are

* Fix the bug in bestImport

* Modified the rules by adding (a) in
     Note [Choosing the best import declaration] in RdrName
  Reason: the previosu rules made Trac #5211 go bad again.  And
  the new rule (a) makes sense to me.

In unravalling this I also ended up doing a few other things

* Refactor RnNames.ImportDeclUsage to use a [GlobalRdrElt] for the
  things that are used, rather than [AvailInfo]. This is simpler
  and more direct.

* Rename greParentName to greParent_maybe, to follow GHC
  naming conventions

* Delete dead code RdrName.greUsedRdrName

Bumps a few submodules.

Reviewers: hvr, goldfire, bgamari, simonmar, jrtc27

Subscribers: rwbarton, carter

Differential Revision:

12 months agoDon't pass -no-pie when -pgmc is supplied
Krzysztof Gogolewski [Thu, 22 Nov 2018 19:46:27 +0000 (14:46 -0500)] 
Don't pass -no-pie when -pgmc is supplied

Test Plan: validate

Reviewers: bgamari

Reviewed By: bgamari

Subscribers: rwbarton, carter

GHC Trac Issues: #15319

Differential Revision:

12 months agoSimplify 'ExtBits' in the lexer
Alec Theriault [Thu, 22 Nov 2018 19:40:08 +0000 (14:40 -0500)] 
Simplify 'ExtBits' in the lexer

The main change is to export 'ExtBits' instead of defining/exporting a
bunch of boilerplate functions that test for a particular 'ExtBits'.
In the process, I also

  * cleaned up an unneeded special case for 'ITstatic'
  * made 'UsePosPrags' another variant of 'ExtBits'
  * made the logic in 'reservedSymsFM' match that of 'reservedWordsFM'

Test Plan: make test

Reviewers: bgamari, alanz

Subscribers: sjakobi, rwbarton, mpickering, carter

Differential Revision:

12 months ago'DynFlag'-free version of 'mkParserFlags'
Alec Theriault [Thu, 22 Nov 2018 19:39:41 +0000 (14:39 -0500)] 
'DynFlag'-free version of 'mkParserFlags'

Obtaining a `DynFlags` is difficult, making using the lexer/parser
for pure parsing/lexing unreasonably difficult, even with
This is despite the fact that we only really need

  * language extension flags
  * warning flags
  * a handful of boolean options

The new `mkParserFlags'` function makes is easier to directly construct
a `ParserFlags`. Furthermore, since `pExtsBitmap` is just a footgun,
I've gone ahead and made `ParserFlags` an abstract type.

Reviewers: bgamari, alanz, sjakobi

Reviewed By: bgamari, sjakobi

Subscribers: mpickering, sjakobi, rwbarton, carter

GHC Trac Issues: #11301

Differential Revision:

12 months agoDoc-only fixes
Alec Theriault [Fri, 21 Sep 2018 06:31:00 +0000 (23:31 -0700)] 
Doc-only fixes

* laws are capitalized definition lists, no emphasis on the labels
* adds missing hyperlinks
* fixes other misc. Haddock markup issues.

12 months agoLLVM: Use generic code for small size quot-rem ops
Peter Trommler [Sun, 18 Nov 2018 15:41:38 +0000 (16:41 +0100)] 
LLVM: Use generic code for small size quot-rem ops

12 months agorts/MachO: Iterate through N (all) symbols, not M external symbols
Dario Bertini [Fri, 16 Nov 2018 14:49:37 +0000 (15:49 +0100)] 
rts/MachO: Iterate through N (all) symbols, not M external symbols

Fixes #15105

12 months agorts/MachO: A bit of refactoring in ocGetNames
Dario Bertini [Fri, 16 Nov 2018 14:48:36 +0000 (15:48 +0100)] 
rts/MachO: A bit of refactoring in ocGetNames

Eliminates a bit of repetition.

12 months agorts/MachO: Add a bit more debugging output to getNames
Dario Bertini [Fri, 16 Nov 2018 14:46:54 +0000 (15:46 +0100)] 
rts/MachO: Add a bit more debugging output to getNames

12 months agocircleci: Actually build with in-tree GMP on Darwin
Dario Bertini [Fri, 16 Nov 2018 09:25:32 +0000 (10:25 +0100)] 
circleci: Actually build with in-tree GMP on Darwin

Fixes #15404.

12 months agollvmGen: Eliminate duplicate definition
Gabor Greif [Tue, 20 Nov 2018 13:35:09 +0000 (14:35 +0100)] 
llvmGen: Eliminate duplicate definition

remove local

12 months agoUNREG: PprC: Add support for adjacent floats
James Clarke [Thu, 22 Nov 2018 16:55:17 +0000 (11:55 -0500)] 
UNREG: PprC: Add support for adjacent floats

When two 32-bit floats are adjacent for a 64-bit target, there is no
padding between them to force alignment, so we must combine their bit
representations into a single word.

Reviewers: bgamari, simonmar

Reviewed By: simonmar

Subscribers: rwbarton, carter

GHC Trac Issues: #15853

Differential Revision:

12 months agoOverhaul -fprint-explicit-kinds to use VKA
Ryan Scott [Thu, 22 Nov 2018 16:55:00 +0000 (11:55 -0500)] 
Overhaul -fprint-explicit-kinds to use VKA

This patch changes the behavior of `-fprint-explicit-kinds`
so that it displays kind argument using visible kind application.
In other words, the flag now:

1. Prints instantiations of specified variables with `@(...)`.
2. Prints instantiations of inferred variables with `@{...}`.

In addition, this patch removes the `Use -fprint-explicit-kinds to
see the kind arguments` error message that often arises when a type
mismatch occurs due to different kinds. Instead, whenever there is a
kind mismatch, we now enable the `-fprint-explicit-kinds` flag
locally to help cue to the programmer where the error lies.
(See `Note [Kind arguments in error messages]` in `TcErrors`.)
As a result, these funny `@{...}` things can now appear to the user
even without turning on the `-fprint-explicit-kinds` flag explicitly,
so I took the liberty of documenting them in the users' guide.

Test Plan: ./validate

Reviewers: goldfire, simonpj, bgamari

Reviewed By: simonpj

Subscribers: rwbarton, carter

GHC Trac Issues: #15871

Differential Revision:

12 months agoHadrian: Misc. fixes in Haddock rules
Alec Theriault [Thu, 22 Nov 2018 16:53:10 +0000 (11:53 -0500)] 
Hadrian: Misc. fixes in Haddock rules

* Pass 'GHC/Prim.hs' to Haddock when processing 'ghc-prim'. This
  file is autogenerated for the sole purpose of giving Haddock
  something to process, so we really should make sure it gets
  through to Haddock!

* Add a "docs-haddock" build rule, which should build all Haddock docs
  that the Makefile builds by default (all libs + index for libs + ghc)

* Prune some unnecessary rules (esp. `gen_contents_index`)

Reviewers: bgamari, snowleopard

Reviewed By: snowleopard

Subscribers: alpmestan, snowleopard, rwbarton, carter

Differential Revision: