ghc.git
10 hours agoHadrian: fix ghcDebugged and document it master
Alp Mestanogullari [Fri, 12 Apr 2019 17:47:12 +0000 (19:47 +0200)] 
Hadrian: fix ghcDebugged and document it

10 hours 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]

19 hours agoAdd an Outputable instance for SDoc with ppr = id.
klebinger.andreas@gmx.at [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.

19 hours 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)/`.

2 days agoHadrian: Generate GHC wrapper scripts wip/andrey/ghc-wrapper-script
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.

See https://gitlab.haskell.org/ghc/ghc/issues/16534.

2 days 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 )

3 days 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%.

3 days 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.

Related: https://gitlab.haskell.org/ghc/ghc/issues/6017
Related: https://gitlab.haskell.org/ghc/ghc/issues/14250

3 days 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.

Related: https://gitlab.haskell.org/ghc/ghc/issues/6017
Related: https://gitlab.haskell.org/ghc/ghc/issues/14250

3 days 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: https://gitlab.haskell.org/ghc/ghc/issues/14689

3 days 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.

Fixes: https://gitlab.haskell.org/ghc/ghc/issues/14689
Related: https://gitlab.haskell.org/ghc/ghc/issues/6017
Related: https://gitlab.haskell.org/ghc/ghc/issues/14250

3 days 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

3 days 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.

4 days 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

4 days agoCODEOWNERS: Add simonmar as owner of rts/linker wip/codeowners
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]

4 days agoAdd a safeguard to Core Lint wip/corelint-safeguard
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.

4 days 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]

4 days 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

4 days 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

4 days agoFix assertion failures reported in #16533 wip/T16533
Krzysztof Gogolewski [Fri, 5 Apr 2019 14:27:27 +0000 (16:27 +0200)] 
Fix assertion failures reported in #16533

4 days 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.

4 days 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

5 days agobase: Better document implementation implications of Data.Timeout wip/T16546
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
fact.

Also expose the `Timeout` tycon.

[skip ci]

5 days ago[skip ci] Update CI badge in readme wip/ara/ci-badge
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
Travis.

5 days 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 days 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 days 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 days agoHadrian: document -a/--test-accept
Alp Mestanogullari [Thu, 11 Apr 2019 15:06:34 +0000 (17:06 +0200)] 
Hadrian: document -a/--test-accept

6 days 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 days agoAdd -ddump-stg-final to dump stg as it is used for codegen.
klebinger.andreas@gmx.at [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 days agogitlab-ci: Ensure that version number has three components wip/lint-check-version-number
Ben Gamari [Sun, 7 Apr 2019 19:13:49 +0000 (15:13 -0400)] 
gitlab-ci: Ensure that version number has three components

6 days 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 days 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 days agoRemove unused remilestoning script
Ömer Sinan Ağacan [Wed, 10 Apr 2019 09:12:28 +0000 (12:12 +0300)] 
Remove unused remilestoning script

6 days 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).

7 days 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.

8 days 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.

8 days 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.

Reviewers:

Subscribers: TerrorJack, rwbarton, carter

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

Differential Revision: https://phabricator.haskell.org/D5082 -- extract
from that

9 days agogitlab: Bump cabal-install version used by Windows builds to 2.4 wip/bump-windows-cabal
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.

9 days 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
libraries.

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:

   LIBDIR/ghc-VERSION/{bin,lib}

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.

9 days 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

9 days 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

9 days 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.

9 days agousers-guide: Document how to disable package environments wip/document-package-env
Ben Gamari [Sun, 31 Mar 2019 20:22:04 +0000 (16:22 -0400)] 
users-guide: Document how to disable package environments

As noted in #16309 this somehow went undocumented.

10 days agoBump hpc submodule
Ryan Scott [Fri, 5 Apr 2019 15:24:12 +0000 (11:24 -0400)] 
Bump hpc submodule

Currently, the `hpc` submodule is pinned against the `wip/final-mfp`
branch, not against `master`. This pins it back against `master`.

10 days agosettings.in: Reformat
John Ericson [Wed, 3 Apr 2019 17:29:19 +0000 (13:29 -0400)] 
settings.in: Reformat

We're might be about to switch to generating it in Hadrian/Make. This
reformat makes it easier to programmingmatically generate and end up
with the exact same thing, which is good for diffing to ensure no
regressions.

I had this as part of !712, but given the difficulty of satisfying CI, I
figured I should break things up even further.

10 days agotestsuite: Show exit code of GHCi tests on failure
Ömer Sinan Ağacan [Thu, 4 Apr 2019 09:40:22 +0000 (12:40 +0300)] 
testsuite: Show exit code of GHCi tests on failure

10 days agoSkip test ArithInt16 and ArithWord16 in GHCi way
Ömer Sinan Ağacan [Thu, 4 Apr 2019 07:51:36 +0000 (10:51 +0300)] 
Skip test ArithInt16 and ArithWord16 in GHCi way

These tests use unboxed tuples, which GHCi doesn't support

10 days agoMake `singleConstructor` cope with pattern synonyms wip/T15753
Sebastian Graf [Wed, 3 Apr 2019 16:53:32 +0000 (18:53 +0200)] 
Make `singleConstructor` cope with pattern synonyms

Previously, `singleConstructor` didn't handle singleton `COMPLETE` sets
of a single pattern synonym, resulting in incomplete pattern warnings
in #15753.

This is fixed by making `singleConstructor` (now named
`singleMatchConstructor`) query `allCompleteMatches`, necessarily making
it effectful. As a result, most of this patch is concerned with
threading the side-effect through to `singleMatchConstructor`.

Unfortunately, this is not enough to completely fix the original
reproduction from #15753 and #15884, which are related to function
applications in pattern guards being translated too conservatively.

10 days agoUse ./hadrian/ghci.sh in .ghcid wip/hadrian-ghcid
Matthew Pickering [Wed, 3 Apr 2019 14:42:53 +0000 (15:42 +0100)] 
Use ./hadrian/ghci.sh in .ghcid

10 days agoFix whitespace style
Yuriy Syrovetskiy [Wed, 3 Apr 2019 12:36:14 +0000 (15:36 +0300)] 
Fix whitespace style

10 days agotestsuite: Unmark T16190 as broken wip/T16389
Ben Gamari [Wed, 3 Apr 2019 12:08:18 +0000 (08:08 -0400)] 
testsuite: Unmark T16190 as broken

Was broken via #16389 yet strangely it has started passing despite the
fact that the suggested root cause has not changed.

10 days agoAdd `-optcxx` option (#16477)
Yuriy Syrovetskiy [Tue, 2 Apr 2019 09:59:49 +0000 (12:59 +0300)] 
Add `-optcxx` option (#16477)

10 days agoFix #16500: look for interface files in -hidir flag in OneShot mode
Phuong Trinh [Sat, 30 Mar 2019 19:00:12 +0000 (19:00 +0000)] 
Fix #16500: look for interface files in -hidir flag in OneShot mode

We are currently ignoring options set in the hiDir field of hsc_dflags
when looking for interface files while compiling in OneShot mode. This
is inconsistent with the behaviour of other directory redirecting fields
(such as objectDir or hieDir). It is also inconsistent with the
behaviour of compilation in CompManager mode (a.k.a `ghc --make`) which
looks for interface files in the directory set in hidir flag. This
changes Finder.hs so that we use the value of hiDir while looking for
interface in OneShot mode.

10 days agoGenerate straightline code for inline array allocation
Michal Terepeta [Sat, 30 Mar 2019 17:36:36 +0000 (18:36 +0100)] 
Generate straightline code for inline array allocation

GHC has an optimization for allocating arrays when the size is
statically known -- it'll generate the code allocating and initializing
the array inline (instead of a call to a procedure from
`rts/PrimOps.cmm`).

However, the generated code uses a loop to do the initialization. Since
we already check that the requested size is small (we check against
`maxInlineAllocSize`), we can generate faster straightline code instead.
This brings about 15% improvement for `newSmallArray#` in my testing and
slightly simplifies the code in GHC.

Signed-off-by: Michal Terepeta <michal.terepeta@gmail.com>
11 days agoFix #16282.
Eric Crockett [Sun, 7 Apr 2019 19:21:59 +0000 (15:21 -0400)] 
Fix #16282.

Previously, -W(all-)missed-specs was created with 'NoReason',
so no information about the flag was printed along with the warning.
Now, -Wall-missed-specs is listed as the Reason if it was set,
otherwise -Wmissed-specs is listed as the reason.

2 weeks agoTweak error messages for narrowly-kinded assoc default decls
Ryan Scott [Wed, 3 Apr 2019 14:28:15 +0000 (10:28 -0400)] 
Tweak error messages for narrowly-kinded assoc default decls

This program, from #13971, currently has a rather confusing error
message:

```hs
class C a where
  type T a :: k
  type T a = Int
```
```
    • Kind mis-match on LHS of default declaration for ‘T’
    • In the default type instance declaration for ‘T’
      In the class declaration for ‘C’
```

It's not at all obvious why GHC is complaining about the LHS until
you realize that the default, when printed with
`-fprint-explicit-kinds`, is actually `type T @{k} @* a = Int`.
That is to say, the kind of `a` is being instantiated to `Type`,
whereas it ought to be a kind variable. The primary thrust of this
patch is to weak the error message to make this connection
more obvious:

```
    • Illegal argument ‘*’ in:
        ‘type T @{k} @* a = Int’
        The arguments to ‘T’ must all be type variables
    • In the default type instance declaration for ‘T’
      In the class declaration for ‘C’
```

Along the way, I performed some code cleanup suggested by @rae in
https://gitlab.haskell.org/ghc/ghc/issues/13971#note_191287. Before,
we were creating a substitution from the default declaration's type
variables to the type family tycon's type variables by way of
`tcMatchTys`. But this is overkill, since we already know (from the
aforementioned validity checking) that all the arguments in a default
declaration must be type variables anyway. Therefore, creating the
substitution is as simple as using `zipTvSubst`. I took the
opportunity to perform this refactoring while I was in town.

Fixes #13971.

2 weeks agoRestore Xmm registers properly in StgCRun.c
klebinger.andreas@gmx.at [Mon, 1 Apr 2019 14:17:41 +0000 (16:17 +0200)] 
Restore Xmm registers properly in StgCRun.c

This fixes #16514: Xmm6-15 was restored based off rax instead of rsp.
The code was introduced in the fix for #14619.

2 weeks agotestsuite: Add testcase for #16111
Ben Gamari [Fri, 29 Mar 2019 21:26:05 +0000 (17:26 -0400)] 
testsuite: Add testcase for #16111

2 weeks agoUse funPrec, not topPrec, to parenthesize GADT argument types
Ryan Scott [Wed, 3 Apr 2019 16:37:10 +0000 (12:37 -0400)] 
Use funPrec, not topPrec, to parenthesize GADT argument types

A simple oversight. Fixes #16527.

2 weeks agoFix #16518 with some more kind-splitting smarts
Ryan Scott [Tue, 2 Apr 2019 00:36:31 +0000 (20:36 -0400)] 
Fix #16518 with some more kind-splitting smarts

This patch corrects two simple oversights that led to #16518:

1. `HsUtils.typeToLHsType` was taking visibility into account in the
   `TyConApp` case, but not the `AppTy` case. I've factored out the
   visibility-related logic into its own `go_app` function and now
   invoke `go_app` from both the `TyConApp` and `AppTy` cases.
2. `Type.fun_kind_arg_flags` did not properly split kinds with
   nested `forall`s, such as
   `(forall k. k -> Type) -> (forall k. k -> Type)`. This was simply
   because `fun_kind_arg_flags`'s `FunTy` case always bailed out and
   assumed all subsequent arguments were `Required`, which clearly
   isn't the case for nested `forall`s. I tweaked the `FunTy` case
   to recur on the result kind.

2 weeks agoReplace git.haskell.org with gitlab.haskell.org (#16196)
Yuriy Syrovetskiy [Mon, 1 Apr 2019 18:03:41 +0000 (21:03 +0300)] 
Replace git.haskell.org with gitlab.haskell.org (#16196)

2 weeks agogitlab: Fix label names in issue templates
Ben Gamari [Wed, 3 Apr 2019 12:15:06 +0000 (08:15 -0400)] 
gitlab: Fix label names in issue templates

2 weeks agogitlab-ci: Build hyperlinked sources for releases
Ben Gamari [Sun, 31 Mar 2019 18:32:01 +0000 (14:32 -0400)] 
gitlab-ci: Build hyperlinked sources for releases

Fixes #16445.

2 weeks agoFix Uncovered set of literal patterns wip/overlapping-lits
Sebastian Graf [Mon, 1 Apr 2019 17:59:45 +0000 (19:59 +0200)] 
Fix Uncovered set of literal patterns

Issues #16289 and #15713 are proof that the pattern match checker did
an unsound job of estimating the value set abstraction corresponding to
the uncovered set.

The reason is that the fix from #11303 introducing `NLit` was
incomplete: The `LitCon` case desugared to `Var` rather than `LitVar`,
which would have done the necessary case splitting analogous to the
`ConVar` case.

This patch rectifies that by introducing the fresh unification variable
in `LitCon` in value abstraction position rather than pattern postition,
recording a constraint equating it to the constructor expression rather
than the literal. Fixes #16289 and #15713.

2 weeks agoconfigure: Always use AC_LINK_ELSEIF when testing against assembler wip/T16440
Ben Gamari [Sun, 31 Mar 2019 20:00:34 +0000 (16:00 -0400)] 
configure: Always use AC_LINK_ELSEIF when testing against assembler

This fixes #16440, where the build system incorrectly concluded that the
`.subsections_via_symbols` assembler directive was supported on a Linux
system. This was caused by the fact that gcc was invoked with `-flto`;
when so-configured gcc does not call the assembler but rather simply
serialises its AST for compilation during the final link.

This is described in Note [autoconf assembler checks and -flto].

2 weeks agoInline the definition of 'ap' in the Monad laws wip/github-prs
Chris Martin [Wed, 27 Mar 2019 20:23:57 +0000 (14:23 -0600)] 
Inline the definition of 'ap' in the Monad laws

The law as it is currently written is meaningless, because nowhere have
we defined the implementation of 'ap'. The reader of the Control.Monad
documentation is provided with only a type signature,

> ap :: Monad m => m (a -> b) -> m a -> m b

an informal description,

> In many situations, the liftM operations can be replaced by uses of
> ap, which promotes function application.

and a relationship between 'ap' and the 'liftM' functions

> return f `ap` x1 `ap` ... `ap` xn
> is equivalent to
> liftMn f x1 x2 ... xn

Without knowing how 'ap' is defined, a law involving 'ap' cannot
provide any guidance for how to write a lawful Monad instance, nor can
we conclude anything from the law.

I suspect that a reader equipped with the understanding that 'ap' was
defined prior to the invention of the Applicative class could deduce
that 'ap' must be defined in terms of (>>=), but nowhere as far as I can
tell have we written this down explicitly for readers without the
benefit of historical context.

If the law is meant to express a relationship among (<*>), (>>=), and
'return', it seems that it is better off making this statement directly,
sidestepping 'ap' altogether.

2 weeks agoCorrect two misspellings of "separately"
Chris Martin [Tue, 12 Feb 2019 21:38:19 +0000 (14:38 -0700)] 
Correct two misspellings of "separately"

2 weeks agointeger-simple: Add documentation for Integer type
Ben Gamari [Tue, 2 Apr 2019 21:00:22 +0000 (17:00 -0400)] 
integer-simple: Add documentation for Integer type

2 weeks agointeger-gmp: Write friendlier documentation for Integer
Ben Gamari [Tue, 2 Apr 2019 20:59:29 +0000 (16:59 -0400)] 
integer-gmp: Write friendlier documentation for Integer

2 weeks agousers-guide: Typo in Users Guide, Glasgow Exts
Frank Steffahn [Mon, 7 Jan 2019 21:33:53 +0000 (22:33 +0100)] 
users-guide: Typo in Users Guide, Glasgow Exts

2 weeks agobase: Add documentation that liftA2 used to not be a typeclass method
Andrew Martin [Fri, 4 Jan 2019 17:01:25 +0000 (12:01 -0500)] 
base: Add documentation that liftA2 used to not be a typeclass method

2 weeks agousers-guide: Fix typo
Nathan Collins [Thu, 20 Dec 2018 18:27:01 +0000 (10:27 -0800)] 
users-guide: Fix typo

2 weeks agoFix faulty substitutions in StgCse (#11532).
klebinger.andreas@gmx.at [Tue, 2 Apr 2019 12:20:12 +0000 (14:20 +0200)] 
Fix faulty substitutions in StgCse (#11532).

`substBndr` should rename bindings which shadow existing ids.
However while it was renaming the bindings it was not adding proper substitutions
for renamed bindings.
Instead of adding a substitution of the form `old -> new` for renamed
bindings it mistakenly added `old -> old` if no replacement had taken
place while adding none if `old` had been renamed.

As a byproduct this should improve performance, as we no longer add
useless substitutions for unshadowed bindings.

2 weeks agoAdd myself to libraries/ghci wip/simonmar-codeowners
Simon Marlow [Tue, 2 Apr 2019 10:13:54 +0000 (06:13 -0400)] 
Add myself to libraries/ghci

2 weeks agoHadrian: lint ignore autom4te and ghc-pkg cache files.
David Eichmann [Tue, 2 Apr 2019 09:59:12 +0000 (10:59 +0100)] 
Hadrian: lint ignore autom4te and ghc-pkg cache files.

2 weeks agoHadrian: traceAllow deep dependencies when compilling haskell object files.
David Eichmann [Tue, 2 Apr 2019 09:57:24 +0000 (10:57 +0100)] 
Hadrian: traceAllow deep dependencies when compilling haskell object files.

2 weeks agoFix formatting issue in ghc-prim's changelog [skip ci]
Alexandre Baldé [Tue, 2 Apr 2019 00:05:23 +0000 (01:05 +0100)] 
Fix formatting issue in ghc-prim's changelog [skip ci]

2 weeks agoHadrian: correct deps for ghc builder.
David Eichmann [Fri, 29 Mar 2019 12:30:54 +0000 (12:30 +0000)] 
Hadrian: correct deps for ghc builder.

Previously, when needing ghc as a builder, the ghcDeps (Files
the GHC binary depends on) for the current stage were needed.
This is incorrect as the previous stage's ghc is used for building.
This commit fixes the issue, needing the previous stage's ghcDeps.

2 weeks agoImprove performance of newSmallArray#
Michal Terepeta [Sun, 24 Mar 2019 12:58:53 +0000 (13:58 +0100)] 
Improve performance of newSmallArray#

This:
- Hoists part of the condition outside of the initialization loop in
  `stg_newSmallArrayzh`.
- Annotates one of the unlikely branches as unlikely, also in
  `stg_newSmallArrayzh`.
- Adds a couple of annotations to `allocateMightFail` indicating which
  branches are likely to be taken.

Together this gives about 5% improvement.

Signed-off-by: Michal Terepeta <michal.terepeta@gmail.com>
2 weeks agoBump array submodule
Ryan Scott [Tue, 26 Mar 2019 14:55:10 +0000 (10:55 -0400)] 
Bump array submodule

This bumps `array` to version 0.5.4.0 so that we can distinguish
it with `MIN_VERSION_array` (as it introduces some changes to the
`Show` instance for `UArray`).

2 weeks agogitlab: Mention ~"user facing" label
Ben Gamari [Mon, 1 Apr 2019 23:15:48 +0000 (19:15 -0400)] 
gitlab: Mention ~"user facing" label

2 weeks agogitlab: Move feature request template to issue_templates
Ben Gamari [Mon, 1 Apr 2019 23:13:51 +0000 (19:13 -0400)] 
gitlab: Move feature request template to issue_templates

Whoops.

2 weeks agogitlab: Add feature request MR template
Ben Gamari [Mon, 1 Apr 2019 21:47:21 +0000 (17:47 -0400)] 
gitlab: Add feature request MR template

2 weeks agoconfigure: document the use of the LD variable
Adam Sandberg Eriksson [Sun, 31 Mar 2019 16:36:13 +0000 (17:36 +0100)] 
configure: document the use of the LD variable

2 weeks agoClean up URLs to point to GitLab
Takenobu Tani [Sat, 30 Mar 2019 02:42:14 +0000 (11:42 +0900)] 
Clean up URLs to point to GitLab

This moves URL references to old Trac to their corresponding
GitLab counterparts.

This patch does not update the submodule library, such as
libraries/Cabal.

See also !539, !606, !618

[ci skip]

2 weeks agogitlab: Add some simply issue templates
Ben Gamari [Fri, 29 Mar 2019 20:11:58 +0000 (16:11 -0400)] 
gitlab: Add some simply issue templates

2 weeks agogitlab: Add merge request template for backports for 8.8
Ben Gamari [Fri, 29 Mar 2019 19:59:02 +0000 (15:59 -0400)] 
gitlab: Add merge request template for backports for 8.8

2 weeks agoSupport Shake's --lint-fsatrace feature.
David Eichmann [Thu, 7 Mar 2019 17:35:09 +0000 (17:35 +0000)] 
Support Shake's --lint-fsatrace feature.

Using this feature requires fsatrace (e.g. https://github.com/jacereda/fsatrace).
Simply use the `--lint-fsatrace` option when running hadrian.
Shake version >= 0.17.7 is required to support linting out of tree build dirs.

2 weeks agoRemove unnecessary uses of UnboxedTuples pragma (see #13101 / #15454)
Michael Sloan [Thu, 14 Mar 2019 23:01:44 +0000 (16:01 -0700)] 
Remove unnecessary uses of UnboxedTuples pragma (see #13101 / #15454)

Also removes a couple unnecessary MagicHash pragmas

2 weeks agoBump ghc-prim's version where needed
Alexandre [Thu, 28 Mar 2019 16:28:42 +0000 (16:28 +0000)] 
Bump ghc-prim's version where needed

2 weeks ago Add support for bitreverse primop
Alexandre [Thu, 28 Mar 2019 16:21:35 +0000 (16:21 +0000)] 
Add support for bitreverse primop

    This commit includes the necessary changes in code and
    documentation to support a primop that reverses a word's
    bits. It also includes a test.

2 weeks agoci: Ensure index.html is preserved in documentation tarball
Ben Gamari [Mon, 25 Mar 2019 21:41:13 +0000 (17:41 -0400)] 
ci: Ensure index.html is preserved in documentation tarball

2 weeks agoBump transformers to 0.5.6.2
Ben Gamari [Thu, 17 Jan 2019 14:53:23 +0000 (09:53 -0500)] 
Bump transformers to 0.5.6.2

See #16199.

2 weeks agoci: Check that changelogs don't contain "TBA"
Ben Gamari [Mon, 25 Mar 2019 16:57:08 +0000 (12:57 -0400)] 
ci: Check that changelogs don't contain "TBA"

This ensures that the release dates in the library changelogs are
properly set.

2 weeks agodocs: make nfib compute the Fibonacci sequence [skipci]
Artem Pelenitsyn [Sat, 23 Mar 2019 17:18:12 +0000 (13:18 -0400)] 
docs: make nfib compute the Fibonacci sequence [skipci]

2 weeks agoVisibility: handle multiple units with the same name
Michael Peyton Jones [Wed, 13 Mar 2019 11:46:56 +0000 (11:46 +0000)] 
Visibility: handle multiple units with the same name

Fixes #16228. The included test case is adapted from the reproduction in
the issue, and fails without this patch.

------

We compute an initial visilibity mapping for units based on what is
present in the package databases. To seed this, we compute a set of all
the package configs to add visibilities for.

However, this set was keyed off the unit's *package name*. This is
correct, since we compare packages across databases by version. However,
we would only ever consider a single, most-preferable unit from the
database in which it was found.

The effect of this was that only one of the libraries in a Cabal package
would be added to this initial set. This would cause attempts to use
modules from the omitted libraries to fail, claiming that the package
was hidden (even though `ghc-pkg` would correctly show it as visible).

A solution is to do the selection of the most preferable packages
separately, and then be sure to consider exposing all units in the
same package in the same package db. We can do this by picking a
most-preferable unit for each package name, and then considering
exposing all units that are equi-preferable with that unit.

------

Why wasn't this bug apparent to all people trying to use sub-libraries
in Cabal? The answer is that Cabal explicitly passes `-package` and
`-package-id` flags for all the packages it wants to use, rather than
relying on the state of the package database. So this bug only really
affects people who are trying to use package databases produced by Cabal
outside of Cabal itself.

One particular example of this is the way that the
Nixpkgs Haskell infrastructure provides wrapped GHCs: typically these
are equipped with a package database containing all the needed
package dependencies, and the user is not expected to pass
`-package` flags explicitly.

2 weeks agoAdd some tips to the Troubleshooting section of README
Artem Pelenitsyn [Mon, 11 Mar 2019 17:40:48 +0000 (13:40 -0400)] 
Add some tips to the Troubleshooting section of README

3 weeks agoFix a few broken Trac links [skip ci]
Chaitanya Koparkar [Fri, 22 Mar 2019 18:42:27 +0000 (14:42 -0400)] 
Fix a few broken Trac links [skip ci]

This patch only attempts to fix links that don't automatically re-direct to the correct URL.

3 weeks agoMinor refactoring in copy array primops:
Ömer Sinan Ağacan [Fri, 22 Mar 2019 07:06:37 +0000 (10:06 +0300)] 
Minor refactoring in copy array primops:

- `emitCopySmallArray` now checks size before generating code and
  doesn't generate any code when size is 0. `emitCopyArray` already does
  this so this makes small/large array cases the same in argument
  checking.

- In both `emitCopySmallArray` and `emitCopyArray` read the `dflags`
  after checking the argument.