[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 12 commits: Fix #16282.

Mon Apr 8 18:19:34 UTC 2019

 Marge Bot pushed to branch wip/marge_bot_batch_merge_job at Glasgow Haskell Compiler / GHC

Commits:
3a38ea44 by Eric Crockett at 2019-04-07T19:21:59Z
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.

- - - - -
3025e427 by Michal Terepeta at 2019-04-08T18:19:13Z
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 at gmail.com>

- - - - -
d487cba1 by Phuong Trinh at 2019-04-08T18:19:15Z
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.

- - - - -
79ef852c by Yuriy Syrovetskiy at 2019-04-08T18:19:16Z
Add `-optcxx` option (#16477)

- - - - -
7df5aedf by Ben Gamari at 2019-04-08T18:19:16Z
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.

- - - - -
f4814f35 by Yuriy Syrovetskiy at 2019-04-08T18:19:17Z
Fix whitespace style

- - - - -
ae8251b1 by Matthew Pickering at 2019-04-08T18:19:17Z
Use ./hadrian/ghci.sh in .ghcid

- - - - -
6665a30d by Sebastian Graf at 2019-04-08T18:19:18Z
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.

- - - - -
c2f2734e by Ömer Sinan Ağacan at 2019-04-08T18:19:22Z
Skip test ArithInt16 and ArithWord16 in GHCi way

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

- - - - -
0eebc0a7 by Ömer Sinan Ağacan at 2019-04-08T18:19:23Z
testsuite: Show exit code of GHCi tests on failure

- - - - -
27f3939f by John Ericson at 2019-04-08T18:19:24Z
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.

- - - - -
27d0db37 by Ryan Scott at 2019-04-08T18:19:26Z
Bump hpc submodule

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

- - - - -

30 changed files:

- .ghcid
- .gitlab-ci.yml
- compiler/codeGen/StgCmmPrim.hs
- compiler/deSugar/Check.hs
- compiler/main/DriverPhases.hs
- compiler/main/DriverPipeline.hs
- compiler/main/DynFlags.hs
- compiler/main/Finder.hs
- compiler/main/HscTypes.hs
- compiler/main/SysTools.hs
- compiler/main/SysTools/ExtraObj.hs
- compiler/main/SysTools/Tasks.hs
- compiler/simplCore/CoreMonad.hs
- compiler/specialise/Specialise.hs
- docs/users_guide/phases.rst
- docs/users_guide/separate_compilation.rst
- libraries/ghc-prim/cbits/bitrev.c
- libraries/hpc
- settings.in
- testsuite/driver/testlib.py
- + testsuite/tests/codeGen/should_run/NewSmallArray.hs
- + testsuite/tests/codeGen/should_run/NewSmallArray.stdout
- testsuite/tests/codeGen/should_run/all.T
- + testsuite/tests/driver/T16500/A.hs
- + testsuite/tests/driver/T16500/B.hs
- + testsuite/tests/driver/T16500/Makefile
- + testsuite/tests/driver/T16500/T16500.stdout
- + testsuite/tests/driver/T16500/all.T
- testsuite/tests/ffi/should_compile/all.T
- + testsuite/tests/ffi/should_compile/cc017.hs

The diff was not included because it is too large.

View it on GitLab: https://gitlab.haskell.org/ghc/ghc/compare/f4fc54c12b2d6a25497fab30dbef2a0d94183f55...27d0db377d53b46a4861dc977010049f6eb6088e

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/compare/f4fc54c12b2d6a25497fab30dbef2a0d94183f55...27d0db377d53b46a4861dc977010049f6eb6088e
You're receiving this email because of your account on gitlab.haskell.org.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20190408/af3be6a6/attachment-0001.html>