ghc.git
3 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

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

3 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

3 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

3 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

3 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

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

3 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

3 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

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

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

3 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

3 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
`HsDocTy`).

Fixes #16585.

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

3 months agoDon't indent single alternative case expressions for STG.
klebinger.andreas@gmx.at [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

3 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 <michal.terepeta@gmail.com>
3 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`
complaining.

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

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

3 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

3 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

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

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

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

3 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

3 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

3 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

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

3 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

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

Also expose the `Timeout` tycon.

[skip ci]

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

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

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

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

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

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

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

3 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

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

3 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

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

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

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

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

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

Reviewers:

Subscribers: TerrorJack, rwbarton, carter

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

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

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

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

3 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

3 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

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

3 months agousers-guide: Document how to disable package environments
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.

3 months 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`.

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

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

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

3 months agoMake `singleConstructor` cope with pattern synonyms
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.

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

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

3 months agotestsuite: Unmark T16190 as broken
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.

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

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

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

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

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

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

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

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

3 months 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)

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

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

3 months agoFix Uncovered set of literal patterns
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.

3 months agoconfigure: Always use AC_LINK_ELSEIF when testing against assembler
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].

3 months agoInline the definition of 'ap' in the Monad laws
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.

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

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

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

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

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

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

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

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

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

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

3 months 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]

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

3 months 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>
3 months 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`).