[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 5 commits: testsuite: Test for #13786

[Marge Bot]

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


Commits:
ade3db53 by Ben Gamari at 2019-06-23T21:19:48Z
testsuite: Test for #13786

- - - - -
5a502cd1 by Ben Gamari at 2019-06-23T21:19:48Z
ghci: Load static objects in batches

Previously in the case where GHC was dynamically linked we would load
static objects one-by-one by linking each into its own shared object and
dlopen'ing each in order. However, this meant that the link would fail
in the event that the objects had cyclic symbol dependencies.

Here we fix this by merging each "run" of static objects into a single
shared object and loading this.

Fixes #13786 for the case where GHC is dynamically linked.

- - - - -
9bbcc3be by Ryan Scott at 2019-06-23T21:20:41Z
Refactor UnliftedNewtypes-relation kind signature validity checks

This fixes three infelicities related to the programs that are
(and aren't) accepted with `UnliftedNewtypes`:

* Enabling `UnliftedNewtypes` would permit newtypes to have return
  kind `Id Type`, which had disastrous results (i.e., GHC panics).
* Data family declarations ending in kind `TYPE r` (for some `r`)
  weren't being accepted if `UnliftedNewtypes` wasn't enabled,
  despite the GHC proposal specifying otherwise.
* GHC wasn't warning about programs that _would_ typecheck if
  `UnliftedNewtypes` were enabled in certain common cases.

As part of fixing these issues, I factored out the logic for checking
all of the various properties about data type/data family return
kinds into a single `checkDataKindSig` function. I also cleaned up
some of the formatting in the existing error message that gets
thrown.

Fixes #16821, fixes #16827, and fixes #16829.

- - - - -
dd2bc2d5 by Erik de Castro Lopo at 2019-06-23T23:21:38Z
Fixes for LLVM 7

LLVM version numberinf changed recently. Previously, releases were numbered
4.0, 5.0 and 6.0 but with version 7, they dropped the redundant ".0".

Fix requires for Llvm detection and some code.

- - - - -
4eb57ff2 by Erik de Castro Lopo at 2019-06-23T23:21:39Z
Add MonadFail instance for ParserM

- - - - -


30 changed files:

- compiler/ghci/Linker.hs
- compiler/llvmGen/LlvmCodeGen.hs
- compiler/llvmGen/LlvmCodeGen/Base.hs
- compiler/main/DriverPipeline.hs
- compiler/main/SysTools/Tasks.hs
- compiler/typecheck/TcHsType.hs
- compiler/typecheck/TcInstDcls.hs
- compiler/typecheck/TcTyClsDecls.hs
- configure.ac
- docs/users_guide/glasgow_exts.rst
- + testsuite/tests/ghci/T13786/Makefile
- + testsuite/tests/ghci/T13786/T13786.hs
- + testsuite/tests/ghci/T13786/T13786.script
- + testsuite/tests/ghci/T13786/T13786.stdout
- + testsuite/tests/ghci/T13786/T13786a.c
- + testsuite/tests/ghci/T13786/T13786b.c
- + testsuite/tests/ghci/T13786/all.T
- + testsuite/tests/typecheck/should_compile/T16827.hs
- testsuite/tests/typecheck/should_compile/all.T
- testsuite/tests/typecheck/should_fail/T14048a.stderr
- testsuite/tests/typecheck/should_fail/T14048b.stderr
- testsuite/tests/typecheck/should_fail/T14048c.stderr
- + testsuite/tests/typecheck/should_fail/T16821.hs
- + testsuite/tests/typecheck/should_fail/T16821.stderr
- + testsuite/tests/typecheck/should_fail/T16829a.hs
- + testsuite/tests/typecheck/should_fail/T16829a.stderr
- + testsuite/tests/typecheck/should_fail/T16829b.hs
- + testsuite/tests/typecheck/should_fail/T16829b.stderr
- testsuite/tests/typecheck/should_fail/UnliftedNewtypesConstraintFamily.stderr
- testsuite/tests/typecheck/should_fail/all.T


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/compare/9b5f5c92801283d93592934bd350122d71ec1750...4eb57ff2072ec0883c6d5fc1d21a577b277e776b

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/compare/9b5f5c92801283d93592934bd350122d71ec1750...4eb57ff2072ec0883c6d5fc1d21a577b277e776b
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/20190623/0a412e0b/attachment.html>