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

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

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

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

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

5 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

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

5 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

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

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

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

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

5 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

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

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

5 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

5 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

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

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

5 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`.

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

5 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

5 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

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

5 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

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

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

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

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

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

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

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

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

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

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

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

5 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

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

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

5 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].

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

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

5 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

5 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

5 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

5 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

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

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

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

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

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

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

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

5 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>
5 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`).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

5 months agoHadrian: don't use -zorigin on darwin.
David Eichmann [Tue, 19 Mar 2019 11:42:27 +0000 (11:42 +0000)] 
Hadrian: don't use -zorigin on darwin.

5 months agoHadrian: introduce an easy way for users to build with -split-sections
Alp Mestanogullari [Fri, 15 Mar 2019 20:35:59 +0000 (21:35 +0100)] 
Hadrian: introduce an easy way for users to build with -split-sections

Any user can now trivially build any number of Haskell packages with
`-split-sections` by using `splitSections`/`splitSectionsIf` on any
existing or new flavour:

    -- build all packages but the ghc library with -split-sections
    splitSections :: Flavour -> Flavour

    -- build all packages that satisfy the given predicate
    -- with --split-sections
    splitSectionsIf :: (Package -> Bool) -> Flavour -> Flavour

See the new section in `doc/user-settings.md`.

5 months agoHadrian: trace the execution of expensive Cabal calls
Andrey Mokhov [Thu, 14 Mar 2019 14:12:20 +0000 (14:12 +0000)] 
Hadrian: trace the execution of expensive Cabal calls

We use Cabal to parse, configure, register and copy packages, which are
expensive operations that are currently not visible to Shake's profiling
infrastructure. By using `traced` we tell Shake to add these IO actions
to the profiling report, helping us to identify performance bottlenecks.

We use short tracing keys, as recommended in Shake docs: the name of the
current target is already available in the rest of the profiling
information.

5 months agoHadrian: Bump Shake to 0.17.6
Andrey Mokhov [Thu, 14 Mar 2019 11:40:08 +0000 (11:40 +0000)] 
Hadrian: Bump Shake to 0.17.6

The new release of Shake comes with these relevant features:

* use symlinks for --shared
* add --compact for a Bazel/Buck style output

5 months agoCorrect duplicate 4.12.0.0 entry in base's changelog
Ryan Scott [Sun, 24 Mar 2019 14:35:21 +0000 (10:35 -0400)] 
Correct duplicate 4.12.0.0 entry in base's changelog

See #16490.

[ci skip]

5 months agoUpdate Wiki URLs to point to GitLab
Takenobu Tani [Thu, 21 Mar 2019 07:06:39 +0000 (16:06 +0900)] 
Update Wiki URLs to point to GitLab

This moves all URL references to Trac Wiki to their corresponding
GitLab counterparts.

This substitution is classified as follows:

1. Automated substitution using sed with Ben's mapping rule [1]
    Old: ghc.haskell.org/trac/ghc/wiki/XxxYyy...
    New: gitlab.haskell.org/ghc/ghc/wikis/xxx-yyy...

2. Manual substitution for URLs containing `#` index
    Old: ghc.haskell.org/trac/ghc/wiki/XxxYyy...#Zzz
    New: gitlab.haskell.org/ghc/ghc/wikis/xxx-yyy...#zzz

3. Manual substitution for strings starting with `Commentary`
    Old: Commentary/XxxYyy...
    New: commentary/xxx-yyy...

See also !539

[1]: https://gitlab.haskell.org/bgamari/gitlab-migration/blob/master/wiki-mapping.json

5 months agoRefactor ./hadrian/ghci.sh for better error messages
Matthew Pickering [Wed, 20 Mar 2019 14:12:53 +0000 (14:12 +0000)] 
Refactor ./hadrian/ghci.sh for better error messages

By separating these two lines, if the first command fails then `ghci` is
not loaded. Before it would still load ghci but display lots of errors
about not being able to find modules.

5 months agoCheck hadrian/ghci.sh script output to determine pass/fail
Matthew Pickering [Sun, 17 Mar 2019 10:24:31 +0000 (10:24 +0000)] 
Check hadrian/ghci.sh script output to determine pass/fail

ghci always exits with exit code 0 so you have to check the output
to see if the modules loaded succesfully.

5 months agoUser's Guide: extensions compatibility
Haskell-mouse [Thu, 28 Feb 2019 17:26:16 +0000 (20:26 +0300)] 
User's Guide: extensions compatibility

Adds the mention that extensions "AllowAmbiguousTypes" and "RankNTypes"
are not always compatible with each other.
Specifies the conditions and causes of failing in resolving
of ambiguity.

5 months agogitlab-ci: Allow linters to fail for now
Ben Gamari [Sun, 24 Mar 2019 12:46:13 +0000 (08:46 -0400)] 
gitlab-ci: Allow linters to fail for now

They are broken and I don't have time to fix them at the moment.

5 months agogitlab-ci: Explicitly fetch target branch
Ben Gamari [Sat, 23 Mar 2019 00:53:32 +0000 (20:53 -0400)] 
gitlab-ci: Explicitly fetch target branch

`git fetch`, which we used previously, doesn't update the remote
tracking branches.

6 months agogitlab-ci: Compute merge base against remote tracking branch
Ben Gamari [Fri, 22 Mar 2019 22:49:34 +0000 (18:49 -0400)] 
gitlab-ci: Compute merge base against remote tracking branch

Previously we would use the local branch with the name
`$CI_MERGE_REQUEST_TARGET_BRANCH_NAME` to compute the merge base when
linting. However, this branch isn't necessarily up-to-date. We should
rather use `origin/$CI_MERGE_REQUEST_TARGET_BRANCH_NAME`.

6 months agogitlab-ci: Fix YAML syntax
Ben Gamari [Fri, 22 Mar 2019 22:38:11 +0000 (18:38 -0400)] 
gitlab-ci: Fix YAML syntax

6 months agogitlab-ci: Clean up linter
Ben Gamari [Fri, 22 Mar 2019 22:33:08 +0000 (18:33 -0400)] 
gitlab-ci: Clean up linter

I'm not sure why these steps were done but they seem counterproductive
and unnecessary.

6 months agobase: Remove `Monad(fail)` method and reexport `MonadFail(fail)` instead
Herbert Valerio Riedel [Sat, 10 Nov 2018 00:12:52 +0000 (01:12 +0100)] 
base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` instead

As per https://prime.haskell.org/wiki/Libraries/Proposals/MonadFail

Coauthored-by: Ben Gamari <ben@well-typed.com>
6 months agogitlab-ci: Fix linters
Ben Gamari [Fri, 22 Mar 2019 04:46:37 +0000 (00:46 -0400)] 
gitlab-ci: Fix linters

6 months agoForce LF line ending for md5sum [skip-ci]
Tamar Christina [Thu, 21 Mar 2019 19:47:06 +0000 (19:47 +0000)] 
Force LF line ending for md5sum [skip-ci]

6 months agogitlab: Deploy documentation snapshot via GitLab Pages
Ben Gamari [Thu, 21 Mar 2019 16:59:11 +0000 (12:59 -0400)] 
gitlab: Deploy documentation snapshot via GitLab Pages

6 months agoCI: Allow failure in packaging step
Matthew Pickering [Thu, 21 Mar 2019 08:27:55 +0000 (08:27 +0000)] 
CI: Allow failure in packaging step

This depends on the windows build which is still allowed to fail. If
that job fails then the packaging job will also fail.

6 months agoBump cabal submodule
Ben Gamari [Wed, 20 Mar 2019 13:39:31 +0000 (09:39 -0400)] 
Bump cabal submodule

Due to https://github.com/haskell/cabal/issues/5953.

6 months agogitlab-ci: Pass --target explicitly to configure on Windows
Ben Gamari [Thu, 21 Mar 2019 03:45:26 +0000 (23:45 -0400)] 
gitlab-ci: Pass --target explicitly to configure on Windows

Otherwise configure fails in the 32-bit case with
```
This GHC (c:/GitLabRunner/builds/8fc0e283/0/ghc/ghc/toolchain/bin/ghc) does not generate code for the build platform
   GHC target platform    : x86_64-unknown-mingw32
   Desired build platform : i386-unknown-mingw32
```

6 months agogitlab-ci: Do full `perf` build when building Windows releases
Ben Gamari [Fri, 8 Mar 2019 15:05:45 +0000 (10:05 -0500)] 
gitlab-ci: Do full `perf` build when building Windows releases

6 months agoRun linters on merge requests
Matthew Pickering [Mon, 18 Feb 2019 17:28:39 +0000 (17:28 +0000)] 
Run linters on merge requests

It seems that it has failed to execute at all since it was implemented.

We now run the linters on merge requests.

6 months agoOnly run check-makefiles.py linter in testsuite dir
Matthew Pickering [Wed, 20 Mar 2019 14:17:54 +0000 (14:17 +0000)] 
Only run check-makefiles.py linter in testsuite dir

6 months agoFix typo [skip ci]
Alexandre Esteves [Fri, 15 Mar 2019 22:42:50 +0000 (18:42 -0400)] 
Fix typo [skip ci]