<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
<html lang="en">
<head>
<meta content="text/html; charset=US-ASCII" http-equiv="Content-Type">
<title>
GitLab
</title>
<style>img {
max-width: 100%; height: auto;
}
</style>
</head>
<body>
<div class="content">
<h3>
Marge Bot pushed to branch wip/marge_bot_batch_merge_job
at <a href="https://gitlab.haskell.org/ghc/ghc">Glasgow Haskell Compiler / GHC</a>
</h3>
<h4>
Commits:
</h4>
<ul>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/ade3db5392d0f98cbd2e917fca926f4e08ca4fa7">ade3db53</a></strong>
<div>
<span>by Ben Gamari</span>
<i>at 2019-06-23T21:19:48Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">testsuite: Test for #13786
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/5a502cd1431b535a12dced0479b75c5f7dbfb01c">5a502cd1</a></strong>
<div>
<span>by Ben Gamari</span>
<i>at 2019-06-23T21:19:48Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">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.
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/9bbcc3be51180dcefde0c89daf8ad6f69c680b40">9bbcc3be</a></strong>
<div>
<span>by Ryan Scott</span>
<i>at 2019-06-23T21:20:41Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">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.
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/dd2bc2d5981a94243d821a8fb86e17278c319d10">dd2bc2d5</a></strong>
<div>
<span>by Erik de Castro Lopo</span>
<i>at 2019-06-23T23:21:38Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">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.
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/4eb57ff2072ec0883c6d5fc1d21a577b277e776b">4eb57ff2</a></strong>
<div>
<span>by Erik de Castro Lopo</span>
<i>at 2019-06-23T23:21:39Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Add MonadFail instance for ParserM
</pre>
</li>
</ul>
<h4>30 changed files:</h4>
<ul>
<li class="file-stats">
<a href="#47f4bea1d308dee249030e6063d92071b5aac240">
compiler/ghci/Linker.hs
</a>
</li>
<li class="file-stats">
<a href="#d30633c1ea1b5697c32c7ff20d5589078fd64274">
compiler/llvmGen/LlvmCodeGen.hs
</a>
</li>
<li class="file-stats">
<a href="#cacd8cbc59c36ab8a39258a3a1dd6c44ad547d49">
compiler/llvmGen/LlvmCodeGen/Base.hs
</a>
</li>
<li class="file-stats">
<a href="#72690aad4036dea6e6e116c30e4d7582f5077db7">
compiler/main/DriverPipeline.hs
</a>
</li>
<li class="file-stats">
<a href="#4039dc9c5a155ac264cf84037271eb8259a3f0a7">
compiler/main/SysTools/Tasks.hs
</a>
</li>
<li class="file-stats">
<a href="#350c4076427c611b8f14e875a4ca553041c2b847">
compiler/typecheck/TcHsType.hs
</a>
</li>
<li class="file-stats">
<a href="#4c1af4850cb90ab2963edb06b69b57e87ccdf9c1">
compiler/typecheck/TcInstDcls.hs
</a>
</li>
<li class="file-stats">
<a href="#bdfa0cc139f61d1236abc1598c5d684b43c357f9">
compiler/typecheck/TcTyClsDecls.hs
</a>
</li>
<li class="file-stats">
<a href="#87db583be5c13c1f7b3c958b10e03d67b6a2ca06">
configure.ac
</a>
</li>
<li class="file-stats">
<a href="#40d93f06cdb95d1c98a6b3832d0153e59839d832">
docs/users_guide/glasgow_exts.rst
</a>
</li>
<li class="file-stats">
<a href="#24243a9003371b0387d8efd5d78ddd2720730a95">
<span class="new-file">
+
testsuite/tests/ghci/T13786/Makefile
</span>
</a>
</li>
<li class="file-stats">
<a href="#95df2d7afbd47c92c6a8532e2afa4ed42fd0ae0d">
<span class="new-file">
+
testsuite/tests/ghci/T13786/T13786.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#161acca61269a3ef72a0c4c306da88b194fa898c">
<span class="new-file">
+
testsuite/tests/ghci/T13786/T13786.script
</span>
</a>
</li>
<li class="file-stats">
<a href="#276ae6e67e0feef25a9f18502dba064c833b8471">
<span class="new-file">
+
testsuite/tests/ghci/T13786/T13786.stdout
</span>
</a>
</li>
<li class="file-stats">
<a href="#693d264fcc816e77ae72777942c5e7b353b4532d">
<span class="new-file">
+
testsuite/tests/ghci/T13786/T13786a.c
</span>
</a>
</li>
<li class="file-stats">
<a href="#af1bd0b6d961e1057aaec09c631e74e35bb4d517">
<span class="new-file">
+
testsuite/tests/ghci/T13786/T13786b.c
</span>
</a>
</li>
<li class="file-stats">
<a href="#ce0e9608a81f1a5235b18111be9de063f669e30d">
<span class="new-file">
+
testsuite/tests/ghci/T13786/all.T
</span>
</a>
</li>
<li class="file-stats">
<a href="#181ca453a291afedf0b5a96e0f5c660d3321807e">
<span class="new-file">
+
testsuite/tests/typecheck/should_compile/T16827.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#34fe7bf0e6fbf60effb28393399ba68666593909">
testsuite/tests/typecheck/should_compile/all.T
</a>
</li>
<li class="file-stats">
<a href="#798d7f02ed1104057ae5ac544e44d9da849966e7">
testsuite/tests/typecheck/should_fail/T14048a.stderr
</a>
</li>
<li class="file-stats">
<a href="#377c6dceea298ea0d0549942bab113d6e03ff33c">
testsuite/tests/typecheck/should_fail/T14048b.stderr
</a>
</li>
<li class="file-stats">
<a href="#9c35bde37c560379c8aab4a5c55761ddfbf0d67e">
testsuite/tests/typecheck/should_fail/T14048c.stderr
</a>
</li>
<li class="file-stats">
<a href="#db97d2e231964bb44ec522c2e3f4dce13f8432e6">
<span class="new-file">
+
testsuite/tests/typecheck/should_fail/T16821.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#45f25fd61df2ce92f29266cbb992a1db9c765494">
<span class="new-file">
+
testsuite/tests/typecheck/should_fail/T16821.stderr
</span>
</a>
</li>
<li class="file-stats">
<a href="#9c7f39815d593f66a627efc7e12449ea7b36eef0">
<span class="new-file">
+
testsuite/tests/typecheck/should_fail/T16829a.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#6d5a4198d0cf7ff1892d25bf2d2fc639698caede">
<span class="new-file">
+
testsuite/tests/typecheck/should_fail/T16829a.stderr
</span>
</a>
</li>
<li class="file-stats">
<a href="#acc0bec10b27de2ec2759b288880bf952660efff">
<span class="new-file">
+
testsuite/tests/typecheck/should_fail/T16829b.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#6207baf175f494141c1d73f60473cf27438e6c23">
<span class="new-file">
+
testsuite/tests/typecheck/should_fail/T16829b.stderr
</span>
</a>
</li>
<li class="file-stats">
<a href="#c368f478faa7aa522de0316b8756b0d906bd8cdf">
testsuite/tests/typecheck/should_fail/UnliftedNewtypesConstraintFamily.stderr
</a>
</li>
<li class="file-stats">
<a href="#b9e86d897a62509b0114d81d5e736630d6f68f43">
testsuite/tests/typecheck/should_fail/all.T
</a>
</li>
</ul>
<h5>The diff was not included because it is too large.</h5>
</div>
<div class="footer" style="margin-top: 10px;">
<p style="font-size: small; color: #777;">
—
<br>
<a href="https://gitlab.haskell.org/ghc/ghc/compare/9b5f5c92801283d93592934bd350122d71ec1750...4eb57ff2072ec0883c6d5fc1d21a577b277e776b">View it on GitLab</a>.
<br>
You're receiving this email because of your account on gitlab.haskell.org.
If you'd like to receive fewer emails, you can
adjust your notification settings.
</p>
</div>
</body>
</html>