5 months agoStgCmmMonad: remove emitProc_, don't export emitProc
Ömer Sinan Ağacan [Fri, 3 May 2019 05:12:48 +0000 (08:12 +0300)] 
StgCmmMonad: remove emitProc_, don't export emitProc

5 months agorts: Properly free the RTSSummaryStats structure
Ömer Sinan Ağacan [Wed, 1 May 2019 15:40:33 +0000 (18:40 +0300)] 
rts: Properly free the RTSSummaryStats structure

`stat_exit` always allocates a `RTSSummaryStats` but only sometimes
frees it, which casues leaks. With this patch we unconditionally free
the structure, fixing the leak.

Fixes #16584

5 months agoMake equality constraints in kinds invisible
Ryan Scott [Tue, 30 Apr 2019 15:28:41 +0000 (11:28 -0400)] 
Make equality constraints in kinds invisible

Issues #12102 and #15872 revealed something strange about the way GHC
handles equality constraints in kinds: it treats them as _visible_
arguments! This causes a litany of strange effects, from strange
error messages
to bizarre `Eq#`-related things leaking through to GHCi output, even
without any special flags enabled.

This patch is an attempt to contain some of this strangeness.
In particular:

* In `TcHsType.etaExpandAlgTyCon`, we propagate through the
  `AnonArgFlag`s of any `Anon` binders. Previously, we were always
  hard-coding them to `VisArg`, which meant that invisible binders
  (like those whose kinds were equality constraint) would mistakenly
  get flagged as visible.
* In `ToIface.toIfaceAppArgsX`, we previously assumed that the
  argument to a `FunTy` always corresponding to a `Required`
  argument. We now dispatch on the `FunTy`'s `AnonArgFlag` and map
  `VisArg` to `Required` and `InvisArg` to `Inferred`. As a
  consequence, the iface pretty-printer correctly recognizes that
  equality coercions are inferred arguments, and as a result,
  only displays them in `-fprint-explicit-kinds` is enabled.
* Speaking of iface pretty-printing, `Anon InvisArg` binders were
  previously being pretty-printed like `T (a :: b ~ c)`, as if they
  were required. This seemed inconsistent with other invisible
  arguments (that are printed like `T @{d}`), so I decided to switch
  this to `T @{a :: b ~ c}`.

Along the way, I also cleaned up a minor inaccuracy in the users'
guide section for constraints in kinds that was spotted in

Fixes #12102 and #15872.

5 months agoFix interface version number printing in --show-iface
Ömer Sinan Ağacan [Tue, 30 Apr 2019 09:42:08 +0000 (12:42 +0300)] 
Fix interface version number printing in --show-iface


    Version: Wanted [8, 0, 9, 0, 2, 0, 1, 9, 0, 4, 2, 5],
             got    [8, 0, 9, 0, 2, 0, 1, 9, 0, 4, 2, 5]


    Version: Wanted 809020190425,
             got    809020190425

5 months agoOnly skip decls with CUSKs with PolyKinds on (fix #16609)
Ningning Xie [Mon, 29 Apr 2019 14:57:37 +0000 (22:57 +0800)] 
Only skip decls with CUSKs with PolyKinds on (fix #16609)

5 months agoPattern/expression ambiguity resolution
Vladislav Zavialov [Tue, 23 Apr 2019 18:21:33 +0000 (21:21 +0300)] 
Pattern/expression ambiguity resolution

This patch removes 'EWildPat', 'EAsPat', 'EViewPat', and 'ELazyPat'
from 'HsExpr' by using the ambiguity resolution system introduced
earlier for the command/expression ambiguity.

Problem: there are places in the grammar where we do not know whether we
are parsing an expression or a pattern, for example:

do { Con a b <- x } -- 'Con a b' is a pattern
do { Con a b }      -- 'Con a b' is an expression

Until we encounter binding syntax (<-) we don't know whether to parse
'Con a b' as an expression or a pattern.

The old solution was to parse as HsExpr always, and rejig later:

checkPattern :: LHsExpr GhcPs -> P (LPat GhcPs)

This meant polluting 'HsExpr' with pattern-related constructors. In
other words, limitations of the parser were affecting the AST, and all
other code (the renamer, the typechecker) had to deal with these extra

We fix this abstraction leak by parsing into an overloaded

class DisambECP b where ...
newtype ECP = ECP { runECP_PV :: forall b. DisambECP b => PV (Located b) }

See Note [Ambiguous syntactic categories] for details.

Now the intricacies of parsing have no effect on the hsSyn AST when it
comes to the expression/pattern ambiguity.

5 months agoHadrian: generate JUnit testsuite report in Linux CI job
Alp Mestanogullari [Fri, 26 Apr 2019 11:58:32 +0000 (13:58 +0200)] 
Hadrian: generate JUnit testsuite report in Linux CI job

We also keep it as an artifact, like we do for non-Hadrian jobs, and list it
as a junit report, so that the test results are reported in the GitLab UI for
merge requests.

5 months agotestsuite: Mark concprog001 as fragile
Ben Gamari [Fri, 26 Apr 2019 04:54:21 +0000 (00:54 -0400)] 
testsuite: Mark concprog001 as fragile

Due to #16604.

5 months agoMake Extension derive Bounded
Shayne Fletcher [Thu, 25 Apr 2019 15:09:00 +0000 (11:09 -0400)] 
Make Extension derive Bounded

5 months agoTypeset Big-O complexities with Tex-style notation (#16090)
Sven Tennie [Mon, 22 Apr 2019 23:35:33 +0000 (01:35 +0200)] 
Typeset Big-O complexities with Tex-style notation (#16090)

Use `\min` instead of `min` to typeset it as an operator.

5 months agoEmit GHC timing events to eventlog
Ben Gamari [Tue, 16 Apr 2019 19:19:01 +0000 (15:19 -0400)] 
Emit GHC timing events to eventlog

5 months agoErrUtils: Emit progress messages to eventlog
Ben Gamari [Sun, 14 Apr 2019 21:05:50 +0000 (17:05 -0400)] 
ErrUtils: Emit progress messages to eventlog

5 months agoBuild Hadrian with -Werror in the 'ghc-in-ghci' CI job
Alp Mestanogullari [Mon, 15 Apr 2019 11:52:34 +0000 (13:52 +0200)] 
Build Hadrian with -Werror in the 'ghc-in-ghci' CI job

5 months agoMove cGHC_UNLIT_PGM to be "unlit command" in settings
John Ericson [Thu, 4 Apr 2019 17:38:53 +0000 (13:38 -0400)] 
Move cGHC_UNLIT_PGM to be "unlit command" in settings

The bulk of the work was done in #712, making settings be make/Hadrian
controlled. This commit then just moves the unlit command rules in
make/Hadrian from the `Config.hs` generator to the `settings` generator
in each build system.

I think this is a good change because the crucial benefit is *settings*
don't affect the build: ghc gets one baby step closer to being a regular
cabal executable, and make/Hadrian just maintains settings as part of

5 months agoRemove
John Ericson [Wed, 3 Apr 2019 20:31:59 +0000 (16:31 -0400)] 

It is no longer needed

5 months agoGenerate settings by make/hadrian instead of configure
John Ericson [Wed, 3 Apr 2019 13:32:05 +0000 (09:32 -0400)] 
Generate settings by make/hadrian instead of configure

This allows it to eventually become stage-specific

5 months agoCompute demand signatures assuming idArity
Sebastian Graf [Thu, 7 Feb 2019 14:34:07 +0000 (15:34 +0100)] 
Compute demand signatures assuming idArity

This does four things:

1. Look at `idArity` instead of manifest lambdas to decide whether to use LetUp
2. Compute the strictness signature in LetDown assuming at least `idArity`
   incoming arguments
3. Remove the special case for trivial RHSs, which is subsumed by 2
4. Don't perform the W/W split when doing so would eta expand a binding.
   Otherwise we would eta expand PAPs, causing unnecessary churn in the

NoFib Results

        Program         Allocs    Instrs
 fannkuch-redux          +0.3%      0.0%
             gg          -0.0%     -0.1%
       maillist          +0.2%     +0.2%
        minimax           0.0%     +0.8%
         pretty           0.0%     -0.1%
        reptile          -0.0%     -1.2%
            Min          -0.0%     -1.2%
            Max          +0.3%     +0.8%
 Geometric Mean          +0.0%     -0.0%

5 months agoghci: Ensure that system libffi include path is searched
Ben Gamari [Fri, 12 Apr 2019 20:59:50 +0000 (16:59 -0400)] 
ghci: Ensure that system libffi include path is searched

Previously hsc2hs failed when building against a system FFI.

5 months agoUse pp_item
Wojciech Baranowski [Wed, 24 Apr 2019 19:03:26 +0000 (22:03 +0300)] 
Use pp_item

5 months agoSuggest only local candidates from global env
Wojciech Baranowski [Wed, 24 Apr 2019 18:54:42 +0000 (21:54 +0300)] 
Suggest only local candidates from global env

5 months agoComment on 'candidates' function
Wojciech Baranowski [Wed, 24 Apr 2019 13:59:08 +0000 (16:59 +0300)] 
Comment on 'candidates' function

5 months agoosa1's patch: consistent suggestion message
Wojciech Baranowski [Tue, 23 Apr 2019 08:44:57 +0000 (11:44 +0300)] 
osa1's patch: consistent suggestion message

5 months agoPrint suggestions in a single message
Wojciech Baranowski [Sat, 13 Apr 2019 09:31:13 +0000 (12:31 +0300)] 
Print suggestions in a single message

5 months agorename: hadle type signatures with typos
Wojciech Baranowski [Sun, 7 Apr 2019 16:25:05 +0000 (19:25 +0300)] 
rename: hadle type signatures with typos

When encountering type signatures for unknown names, suggest similar

This fixes issue #16504

5 months agogitlab-ci: Reintroduce DWARF-enabled bindists
Ben Gamari [Thu, 25 Apr 2019 21:13:58 +0000 (17:13 -0400)] 
gitlab-ci: Reintroduce DWARF-enabled bindists

It seems that this was inadvertently dropped in

5 months agoUpdate autoconf scripts
Ben Gamari [Wed, 24 Apr 2019 17:10:54 +0000 (13:10 -0400)] 
Update autoconf scripts

Scripts taken from autoconf a8d79c3130da83c7cacd6fee31b9acc53799c406

5 months agoupdate-autoconf: Initial commit
Ben Gamari [Wed, 24 Apr 2019 17:16:51 +0000 (13:16 -0400)] 
update-autoconf: Initial commit

5 months agoMinor RTS refactoring:
Ömer Sinan Ağacan [Mon, 22 Apr 2019 06:58:56 +0000 (09:58 +0300)] 
Minor RTS refactoring:

- Remove redundant casting in evacuate_static_object
- Remove redundant parens in STATIC_LINK
- Fix a typo in GC.c

5 months agocheckPattern error hint is PV context
Vladislav Zavialov [Tue, 26 Mar 2019 17:49:26 +0000 (20:49 +0300)] 
checkPattern error hint is PV context

There is a hint added to error messages reported in checkPattern.
Instead of passing it manually, we put it in a ReaderT environment inside PV.

5 months agoIntroduce MonadP, make PV a newtype
Vladislav Zavialov [Mon, 25 Mar 2019 10:33:32 +0000 (13:33 +0300)] 
Introduce MonadP, make PV a newtype

Previously we defined   type PV = P,
this had the downside that if we wanted to change PV,
we would have to modify P as well.

Now PV is free to evolve independently from P.

The common operations addError, addFatalError, getBit, addAnnsAt,
were abstracted into a class called MonadP.

5 months agogitlab-ci: source-tarball job should have no dependencies
Ben Gamari [Wed, 24 Apr 2019 16:16:10 +0000 (12:16 -0400)] 
gitlab-ci: source-tarball job should have no dependencies

5 months agoFix error message for './configure' regarding '--with-ghc' [skip ci]
Alexandre Baldé [Tue, 9 Apr 2019 00:19:16 +0000 (01:19 +0100)] 
Fix error message for './configure' regarding '--with-ghc' [skip ci]

5 months agoosReserveHeapMemory: handle signed rlim_t
Fraser Tweedale [Mon, 8 Apr 2019 07:27:06 +0000 (17:27 +1000)] 
osReserveHeapMemory: handle signed rlim_t

rlim_t is a signed type on FreeBSD, and the build fails with a
sign-compare error.  Add explicit (unsigned) cast to handle this

5 months agoStop misusing EWildPat in pattern match coverage checking
Vladislav Zavialov [Fri, 19 Apr 2019 14:55:01 +0000 (17:55 +0300)] 
Stop misusing EWildPat in pattern match coverage checking

EWildPat is a constructor of HsExpr used in the parser to represent
wildcards in ambiguous positions:

* in expression context, EWildPat is turned into hsHoleExpr (see rnExpr)
* in pattern context, EWildPat is turned into WildPat (see checkPattern)

Since EWildPat exists solely for the needs of the parser, we could
remove it by improving the parser.

However, EWildPat has also been used for a different purpose since
8a50610: to represent patterns that the coverage checker cannot handle.
Not only this is a misuse of EWildPat, it also stymies the removal of

5 months agoHadrian: use the testsuite driver's config.haddock arg more correctly
Alp Mestanogullari [Wed, 17 Apr 2019 15:14:08 +0000 (17:14 +0200)] 
Hadrian: use the testsuite driver's config.haddock arg more correctly

4 haddock tests assume that .haddock files have been produced, by using the
'req_haddock' modifier. The testsuite driver assumes that this condition is
satisfied if 'config.haddock' is non-empty, but before this patch Hadrian was
always passing the path to where the haddock executable should be, regardless
of whether it is actually there or not.

Instead, we now pass an empty config.haddock when we can't find all of
<build root>/docs/html/libraries/<pkg>/<pkg>.haddock>, where <pkg> ranges over
array, base, ghc-prim, process and template-haskell, and pass the path
to haddock when all those file exists. This has the (desired) effect of skipping
the 4 tests (marked as 'missing library') when the docs haven't been built,
and running the haddock tests when they have.

5 months agoCorrect off by one error in ghci +c
Matthew Pickering [Wed, 17 Apr 2019 16:56:56 +0000 (17:56 +0100)] 
Correct off by one error in ghci +c

Fixes #16569

5 months agotestsuite: fix ifdef lint errors under tests/rts/linker
Artem Pyanykh [Tue, 16 Apr 2019 16:30:16 +0000 (19:30 +0300)] 
testsuite: fix ifdef lint errors under tests/rts/linker

5 months agotestsuite: move tests related to linker under tests/rts/linker
Artem Pyanykh [Tue, 16 Apr 2019 16:10:31 +0000 (19:10 +0300)] 
testsuite: move tests related to linker under tests/rts/linker

5 months ago[skip ci] correct the docs for casArray a little more. clarify that the returned...
Andrew Martin [Tue, 16 Apr 2019 13:03:46 +0000 (09:03 -0400)] 
[skip ci] correct the docs for casArray a little more. clarify that the returned element may be two different things

5 months ago[skip ci] correct formatting of casArray# in docs for casSmallArray#
Andrew Martin [Sat, 13 Apr 2019 18:25:57 +0000 (14:25 -0400)] 
[skip ci] correct formatting of casArray# in docs for casSmallArray#

5 months ago[skip ci] say "machine words" instead of "Int units" in the primops docs
Andrew Martin [Fri, 12 Apr 2019 12:45:36 +0000 (08:45 -0400)] 
[skip ci] say "machine words" instead of "Int units" in the primops docs

5 months agoimprove docs for casArray and casSmallArray
Andrew Martin [Thu, 11 Apr 2019 01:11:03 +0000 (21:11 -0400)] 
improve docs for casArray and casSmallArray

5 months agousers-guide: Add libraries section to 8.10.1 release notes
Ben Gamari [Sat, 6 Apr 2019 16:38:09 +0000 (12:38 -0400)] 
users-guide: Add libraries section to 8.10.1 release notes

5 months agousers-guide: Add pretty to package list
Ben Gamari [Sat, 6 Apr 2019 16:26:38 +0000 (12:26 -0400)] 
users-guide: Add pretty to package list

5 months agogitlab-ci: Do not build profiled libraries on 32-bit Windows
Ben Gamari [Fri, 19 Apr 2019 04:16:57 +0000 (00:16 -0400)] 
gitlab-ci: Do not build profiled libraries on 32-bit Windows

Due to #15934.

5 months agogitlab-ci: Add centos7 release job
Ben Gamari [Thu, 11 Apr 2019 22:22:51 +0000 (18:22 -0400)] 
gitlab-ci: Add centos7 release job

5 months agogitlab-ci: Only run release notes lint on release tags
Ben Gamari [Fri, 12 Apr 2019 15:10:48 +0000 (11:10 -0400)] 
gitlab-ci: Only run release notes lint on release tags

5 months agogitlab-ci: Allow doc-tarball job to fail
Ben Gamari [Sat, 20 Apr 2019 15:44:22 +0000 (11:44 -0400)] 
gitlab-ci: Allow doc-tarball job to fail

Due to allowed failure of Windows job.

5 months agogitlab-ci: Improve error message on failure of doc-tarball job
Ben Gamari [Sat, 20 Apr 2019 15:17:10 +0000 (11:17 -0400)] 
gitlab-ci: Improve error message on failure of doc-tarball job

Previously the failure was quite nondescript.

6 months agoHadrian: Drop old/unused CI scripts
Andrey Mokhov [Thu, 18 Apr 2019 22:52:17 +0000 (23:52 +0100)] 
Hadrian: Drop old/unused CI scripts

6 months agoHaddock: support strict GADT args with docs
Alec Theriault [Thu, 18 Apr 2019 19:53:56 +0000 (12:53 -0700)] 
Haddock: support strict GADT args with docs

Rather than massaging the output of the parser to re-arrange docs and
bangs, it is simpler to patch the two places in which the strictness
info is needed (to accept that the `HsBangTy` may be inside an

Fixes #16585.

6 months agoTagless final encoding of ExpCmdI in the parser
Vladislav Zavialov [Thu, 18 Apr 2019 21:36:00 +0000 (00:36 +0300)] 
Tagless final encoding of ExpCmdI in the parser

Before this change, we used a roundabout encoding:

1. a GADT (ExpCmdG)
2. a class to pass it around (ExpCmdI)
3. helpers to match on it (ecHsApp, ecHsIf, ecHsCase, ...)

It is more straightforward to turn these helpers into class methods,
removing the need for a GADT.

6 months agoDon't indent single alternative case expressions for STG. [Mon, 15 Apr 2019 22:36:26 +0000 (00:36 +0200)] 
Don't indent single alternative case expressions for STG.

Makes the width of STG dumps slightly saner.
Especially for things like unboxing.

Fixes #16580

6 months agoStgCmmPrim: remove an unnecessary instruction in doNewArrayOp
Michal Terepeta [Sun, 14 Apr 2019 19:21:17 +0000 (21:21 +0200)] 
StgCmmPrim: remove an unnecessary instruction in doNewArrayOp

Previously we would generate a local variable pointing after the array
header and use it to initialize the array elements. But we already use
stores with offset, so it's easy to just add the header to those offsets
during compilation and avoid generating the local variable (which would
become a LEA instruction when using native codegen; LLVM already
optimizes it away).

Signed-off-by: Michal Terepeta <>
6 months agoAdd test case for #16384
Alec Theriault [Wed, 17 Apr 2019 20:55:39 +0000 (13:55 -0700)] 
Add test case for #16384

Now that `TExp` accepts unlifted types, #16384 is fixed. Since the real
issue there was GHC letting through an ill-kinded type which
`-dcore-lint` rightly rejected, a reasonable regression test is that
the program from #16384 can now be accepted without `-dcore-lint`

6 months agoTH: make `Lift` and `TExp` levity-polymorphic
Alec Theriault [Wed, 17 Apr 2019 15:07:52 +0000 (08:07 -0700)] 
TH: make `Lift` and `TExp` levity-polymorphic

Besides the obvious benefits of being able to manipulate `TExp`'s of
unboxed types, this also simplified `-XDeriveLift` all while making
it more capable.

  * `ghc-prim` is explicitly depended upon by `template-haskell`

  * The following TH things are parametrized over `RuntimeRep`:

      - `TExp(..)`
      - `unTypeQ`
      - `unsafeTExpCoerce`
      - `Lift(..)`

  * The following instances have been added to `Lift`:

      - `Int#`, `Word#`, `Float#`, `Double#`, `Char#`, `Addr#`
      - unboxed tuples of lifted types up to arity 7
      - unboxed sums of lifted types up to arity 7

    Ideally we would have levity-polymorphic _instances_ of unboxed
    tuples and sums.

  * The code generated by `-XDeriveLift` uses expression quotes
    instead of generating large amounts of TH code and having
    special hard-coded cases for some unboxed types.

6 months agoHadrian: fix the value we pass to the test driver for config.compiler_debugged
Alp Mestanogullari [Wed, 17 Apr 2019 13:03:06 +0000 (15:03 +0200)] 
Hadrian: fix the value we pass to the test driver for config.compiler_debugged

We used to pass YES/NO, while that particular field is set to True/False. This
happens to fix an unexpected pass, T9208.

6 months agoHadrian: fix ghcDebugged and document it
Alp Mestanogullari [Fri, 12 Apr 2019 17:47:12 +0000 (19:47 +0200)] 
Hadrian: fix ghcDebugged and document it

6 months agoGitlab: allow execution of CI pipeline from the web interface
Sylvain Henry [Mon, 8 Apr 2019 14:07:17 +0000 (16:07 +0200)] 
Gitlab: allow execution of CI pipeline from the web interface
[skip ci]

6 months agoAdd an Outputable instance for SDoc with ppr = id. [Mon, 15 Apr 2019 21:48:02 +0000 (23:48 +0200)] 
Add an Outputable instance for SDoc with ppr = id.

When printf debugging this can be helpful.

6 months agoTypeset Big-O complexities with Tex-style notation (#16090)
Sven Tennie [Sat, 13 Apr 2019 17:17:28 +0000 (19:17 +0200)] 
Typeset Big-O complexities with Tex-style notation (#16090)

E.g. use `\(\mathcal{O}(n^2)\)` instead of `/O(n^2)/`.

6 months agoHadrian: Generate GHC wrapper scripts
Andrey Mokhov [Tue, 16 Apr 2019 01:22:30 +0000 (02:22 +0100)] 
Hadrian: Generate GHC wrapper scripts

This is a temporary workaround for #16534. We generate wrapper scripts
<build-root>/ghc-stage1 and <build-root>/ghc-stage2 that can be used to
run Stage1 and Stage2 GHCs with the right arguments.


6 months agoShow dynamic object files (#16062)
erthalion [Fri, 5 Apr 2019 20:01:52 +0000 (22:01 +0200)] 
Show dynamic object files (#16062)

Closes #16062. When -dynamic-too is specified, reflect that in the
progress message, like:

$ ghc Main.hs -dynamic-too
[1 of 1] Compiling Lib              ( Main.hs, Main.o, Main.dyn_o )

instead of:

$ ghc Main.hs -dynamic-too
[1 of 1] Compiling Lib              ( Main.hs, Main.o )

6 months agoasm-emit-time IND_STATIC elimination
Gabor Greif [Mon, 29 Jan 2018 13:34:25 +0000 (14:34 +0100)] 
asm-emit-time IND_STATIC elimination

When a new closure identifier is being established to a
local or exported closure already emitted into the same
module, refrain from adding an IND_STATIC closure, and
instead emit an assembly-language alias.

Inter-module IND_STATIC objects still remain, and need to be
addressed by other measures.

Binary-size savings on nofib are around 0.1%.

6 months agousers-guide: document :set local-config
Fraser Tweedale [Fri, 12 Apr 2019 02:27:39 +0000 (12:27 +1000)] 
users-guide: document :set local-config

Document the ':set local-config' command and add a warning about
sourcing untrusted local .ghci scripts.


6 months agoGHCi: add 'local-config' setting
Fraser Tweedale [Wed, 10 Apr 2019 12:00:18 +0000 (22:00 +1000)] 
GHCi: add 'local-config' setting

Add the ':set local-config { source | ignore }' setting to control
whether .ghci file in current directory will be sourced or not.  The
directive can be set in global config or $HOME/.ghci, which are
processed before local .ghci files.

The default is "source", preserving current behaviour.


6 months agousers-guide: update startup script order
Fraser Tweedale [Fri, 12 Apr 2019 02:25:00 +0000 (12:25 +1000)] 
users-guide: update startup script order

Update users guide to match the new startup script order.  Also
clarify that -ignore-dot-ghci does not apply to scripts specified
via the -ghci-script option.

Part of:

6 months agoGHCi: fix load order of .ghci files
Fraser Tweedale [Wed, 10 Apr 2019 11:53:08 +0000 (21:53 +1000)] 
GHCi: fix load order of .ghci files

Directives in .ghci files in the current directory ("local .ghci")
can be overridden by global files.  Change the order in which the
configs are loaded: global and $HOME/.ghci first, then local.

Also introduce a new field to GHCiState to control whether local
.ghci gets sourced or ignored.  This commit does not add a way to
set this value (a subsequent commit will add this), but the .ghci
sourcing routine respects its value.


6 months agoApply suggestion to docs/users_guide/using-optimisation.rst
Giles Anderson [Wed, 10 Apr 2019 19:29:53 +0000 (15:29 -0400)] 
Apply suggestion to docs/users_guide/using-optimisation.rst

6 months agoDocument how -O3 is handled by GHC
Giles Anderson [Tue, 9 Apr 2019 19:51:21 +0000 (21:51 +0200)] 
Document how -O3 is handled by GHC

    -O2 is the highest value of optimization.
    -O3 will be reverted to -O2.

6 months agoHadrian: don't accept p_dyn for executables, to fix --flavour=prof
Alp Mestanogullari [Wed, 10 Apr 2019 13:09:17 +0000 (15:09 +0200)] 
Hadrian: don't accept p_dyn for executables, to fix --flavour=prof

6 months agoCODEOWNERS: Add simonmar as owner of rts/linker
Ben Gamari [Tue, 9 Apr 2019 17:11:01 +0000 (13:11 -0400)] 
CODEOWNERS: Add simonmar as owner of rts/linker

I suspect this is why @simonmar wasn't notified of !706.

[skip ci]

6 months agoAdd a safeguard to Core Lint
Krzysztof Gogolewski [Tue, 9 Apr 2019 13:09:29 +0000 (15:09 +0200)] 
Add a safeguard to Core Lint

Lint returns a pair (Maybe a, WarnsAndErrs). The Maybe monad
allows to handle an unrecoverable failure.
In case of such a failure, the error should be added to the second
component of the pair. If this is not done, Lint will silently
accept bad programs. This situation actually happened during
development of linear types. This adds a safeguard.

6 months agoOrd docs: Add explanation on 'min' and 'max' operator interactions
Simon Jakobi [Wed, 10 Apr 2019 07:23:49 +0000 (09:23 +0200)] 
Ord docs: Add explanation on 'min' and 'max' operator interactions

[ci skip]

6 months agodocs: mention memcpy optimization for ByteArrays in 8.10.1-notes
Artem Pyanykh [Fri, 12 Apr 2019 07:42:43 +0000 (10:42 +0300)] 
docs: mention memcpy optimization for ByteArrays in 8.10.1-notes

6 months agocodegen: unroll memcpy calls for small bytearrays
Artem Pyanykh [Thu, 11 Apr 2019 11:20:03 +0000 (14:20 +0300)] 
codegen: unroll memcpy calls for small bytearrays

6 months agoFix assertion failures reported in #16533
Krzysztof Gogolewski [Fri, 5 Apr 2019 14:27:27 +0000 (16:27 +0200)] 
Fix assertion failures reported in #16533

6 months agoHadrian: add binary-dist-dir target
Sylvain Henry [Mon, 1 Apr 2019 20:00:40 +0000 (22:00 +0200)] 
Hadrian: add binary-dist-dir target

This patch adds an Hadrian target "binary-dist-dir". Compared to
"binary-dist", it only builds a binary distribution directory without
creating the Tar archive. It makes the use/test of the bindist
installation script easier.

6 months agoHadrian: add rts shared library symlinks for backwards compatability
David Eichmann [Wed, 27 Feb 2019 18:31:13 +0000 (18:31 +0000)] 
Hadrian: add rts shared library symlinks for backwards compatability

Fixes test T3807 when building with Hadrian.

Trac #16370

6 months agobase: Better document implementation implications of Data.Timeout
Ben Gamari [Sun, 7 Apr 2019 16:50:18 +0000 (12:50 -0400)] 
base: Better document implementation implications of Data.Timeout

As noted in #16546 timeout uses asynchronous exceptions internally, an
implementation detail which can leak out in surprising ways.  Note this

Also expose the `Timeout` tycon.

[skip ci]

6 months ago[skip ci] Update CI badge in readme
Ara Adkins [Thu, 11 Apr 2019 17:06:54 +0000 (18:06 +0100)] 
[skip ci] Update CI badge in readme

This trivial MR updates the CI badge in the readme to point to the
new CI on gitlab, rather than the very out-of-date badge from

6 months agolinters: Fix check-version-number
Ben Gamari [Sat, 13 Apr 2019 13:51:59 +0000 (09:51 -0400)] 
linters: Fix check-version-number

This should have used `grep -E`, not `grep -e`

6 months agogitlab: Don't run lint-submods job on Marge branches
Ben Gamari [Tue, 9 Apr 2019 16:30:14 +0000 (12:30 -0400)] 
gitlab: Don't run lint-submods job on Marge branches

This broke Marge by creating a second pipeline (consisting of only the
`lint-submods` job). Marge then looked at this pipeline and concluded
that CI for her merge branch passed. However, this is ignores the fact
that the majority of the CI jobs are triggered on `merge_request` and
are therefore in another pipeline.

6 months agogitlab: Disable windows-hadrian job
Ben Gamari [Fri, 12 Apr 2019 19:30:32 +0000 (15:30 -0400)] 
gitlab: Disable windows-hadrian job

Not only is it reliably failing due to #16574 but all of the quickly
failing builds also causes the Windows runners to run out of disk space.

6 months agoHadrian: document -a/--test-accept
Alp Mestanogullari [Thu, 11 Apr 2019 15:06:34 +0000 (17:06 +0200)] 
Hadrian: document -a/--test-accept

6 months agoHadrian: add a --test-accept/-a flag, to mimic 'make accept'
Alp Mestanogullari [Wed, 10 Apr 2019 13:35:40 +0000 (15:35 +0200)] 
Hadrian: add a --test-accept/-a flag, to mimic 'make accept'

When -a or --test-accept is passed, and if one runs the 'test' target, then
any test failing because of mismatching output and which is not expected to
fail will have its expected output adjusted by the test driver, effectively
considering the new output correct from now on.

When this flag is passed, hadrian's 'test' target becomes sensitive to the
PLATFORM and OS environment variable, just like the Make build system:
- when the PLATFORM env var is set to "YES", when accepting a result, accept it
  for the current platform;
- when the OS env var is set to "YES", when accepting a result, accept it
  for all wordsizes of the current operating system.

This can all be combined with `--only="..."` and `TEST="..." to only accept
the new output of a subset of tests.

6 months agoAdd -ddump-stg-final to dump stg as it is used for codegen. [Fri, 5 Apr 2019 15:02:59 +0000 (17:02 +0200)] 
Add -ddump-stg-final to dump stg as it is used for codegen.

Intermediate STG does not contain free variables which can be useful
sometimes. So adding a flag to dump that info.

6 months agogitlab-ci: Ensure that version number has three components
Ben Gamari [Sun, 7 Apr 2019 19:13:49 +0000 (15:13 -0400)] 
gitlab-ci: Ensure that version number has three components

6 months agoHadrian: fix ghci wrapper script generation (#16508)
Sylvain Henry [Fri, 29 Mar 2019 20:12:35 +0000 (21:12 +0100)] 
Hadrian: fix ghci wrapper script generation (#16508)

6 months agoUpdate a panic message
Ömer Sinan Ağacan [Wed, 10 Apr 2019 09:17:03 +0000 (12:17 +0300)] 
Update a panic message

Point users to the right URL

6 months agoRemove unused remilestoning script
Ömer Sinan Ağacan [Wed, 10 Apr 2019 09:12:28 +0000 (12:12 +0300)] 
Remove unused remilestoning script

6 months agoHadrian: fix binary-dir with --docs=none
Sylvain Henry [Tue, 9 Apr 2019 14:16:47 +0000 (16:16 +0200)] 
Hadrian: fix binary-dir with --docs=none

Hadrian's "binary-dist" target must check that the "docs" directory
exists (it may not since we can disable docs generation).

6 months agoremoving x87 register support from native code gen
Carter Schonwald [Thu, 11 Apr 2019 00:28:41 +0000 (20:28 -0400)] 
removing x87 register support from native code gen

* simplifies registers to have GPR, Float and Double, by removing the SSE2 and X87 Constructors
* makes -msse2 assumed/default for x86 platforms, fixing a long standing nondeterminism in rounding
behavior in 32bit haskell code
* removes the 80bit floating point representation from the supported float sizes
* theres still 1 tiny bit of x87 support needed,
for handling float and double return values in FFI calls  wrt the C ABI on x86_32,
but this one piece does not leak into the rest of NCG.
* Lots of code thats not been touched in a long time got deleted as a
consequence of all of this

all in all, this change paves the way towards a lot of future further
improvements in how GHC handles floating point computations, along with
making the native code gen more accessible to a larger pool of contributors.

6 months agoUse ghc-prim < 0.7, not <= 0.6.1, as upper version bounds
Ryan Scott [Tue, 9 Apr 2019 12:52:21 +0000 (08:52 -0400)] 
Use ghc-prim < 0.7, not <= 0.6.1, as upper version bounds

Using `ghc-prim <= 0.6.1` is somewhat dodgy from a PVP point of view,
as it makes it awkward to support new minor releases of `ghc-prim`.
Let's instead use `< 0.7`, which is the idiomatic way of expressing
PVP-compliant upper version bounds.

6 months agoGHC no longer ever defines TABLES_NEXT_TO_CODE on its own
Joachim Breitner [Mon, 21 Jan 2019 00:25:26 +0000 (19:25 -0500)] 
GHC no longer ever defines TABLES_NEXT_TO_CODE on its own

It should be entirely the responsibility of make/Hadrian to ensure that
everything that needs this flag gets it. GHC shouldn't be hardcoded to
assist with bootstrapping since it builds other things besides itself.


Subscribers: TerrorJack, rwbarton, carter

GHC Trac Issues: #15548 -- progress towards but not fix

Differential Revision: -- extract
from that

6 months agogitlab: Bump cabal-install version used by Windows builds to 2.4
Ben Gamari [Mon, 8 Apr 2019 19:03:16 +0000 (15:03 -0400)] 
gitlab: Bump cabal-install version used by Windows builds to 2.4

Hopefully fixes Windows Hadrian build.

6 months agoHadrian: fix library install paths in bindist Makefile (#16498)
Sylvain Henry [Fri, 29 Mar 2019 19:33:16 +0000 (20:33 +0100)] 
Hadrian: fix library install paths in bindist Makefile (#16498)

GHC now works out-of-the-box (i.e. without any wrapper script) by
assuming that @bin@ and @lib@ directories sit next to each other. In
particular, its RUNPATH uses $ORIGIN-based relative path to find the

However, to be good citizens we want to support the case where @bin@ and
@lib@ directories (respectively BINDIR and LIBDIR) don't sit next to
each other or are renamed. To do that the install script simply creates
GHC specific @bin@ and @lib@ siblings directories into:


Then it installs wrapper scripts into BINDIR that call the appropriate
programs into LIBDIR/ghc-VERSION/bin/.

The issue fixed by this patch is that libraries were not installed into
LIBDIR/ghc-VERSION/lib but directly into LIBDIR.

6 months agodocs: add a note about changes in memset unrolling to 8.10.1-notes
Artem Pyanykh [Fri, 5 Apr 2019 10:36:32 +0000 (13:36 +0300)] 
docs: add a note about changes in memset unrolling to 8.10.1-notes

6 months agocodegen: use newtype for Alignment in BasicTypes
Artem Pyanykh [Fri, 5 Apr 2019 10:15:06 +0000 (13:15 +0300)] 
codegen: use newtype for Alignment in BasicTypes

6 months agocodegen: fix memset unroll for small bytearrays, add 64-bit sets
Artem Pyanykh [Thu, 4 Apr 2019 10:43:38 +0000 (13:43 +0300)] 
codegen: fix memset unroll for small bytearrays, add 64-bit sets

Fixes #16052

When the offset in `setByteArray#` is statically known, we can provide
better alignment guarantees then just 1 byte.

Also, memset can now do 64-bit wide sets.

The current memset intrinsic is not optimal however and can be
improved for the case when we know that we deal with

(baseAddress at known alignment) + offset

For instance, on 64-bit

`setByteArray# s 1# 23# 0#`

given that bytearray is 8 bytes aligned could be unrolled into
`movb, movw, movl, movq, movq`; but currently it is
`movb x23` since alignment of 1 is all we can embed into MO_Memset op.