<!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>
Ben Gamari pushed to branch wip/ghc-8.8-merges
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/d09a05d732359767e289edea30563e7033d26aa6">d09a05d7</a></strong>
<div>
<span>by Simon Peyton Jones</span>
<i>at 2019-06-23T02:36:52Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Add a missing update of sc_hole_ty (#16312)
In simplCast I totally failed to keep the sc_hole_ty field of
ApplyToTy (see Note [The hole type in ApplyToTy]) up to date.
When a cast goes by, of course the hole type changes.
Amazingly this has not bitten us before, but #16312 finally
triggered it. Fortunately the fix is simple.
Fixes #16312.
(cherry picked from commit ef36b10233e46f8462f42531e8e0c1ebe0bcb1eb)
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/000c9e701670bdbb1fd76f134634286926059f03">000c9e70</a></strong>
<div>
<span>by Ben Gamari</span>
<i>at 2019-06-23T02:40:12Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">ghci: Ensure that system libffi include path is searched
Previously hsc2hs failed when building against a system FFI.
(cherry picked from commit 1abb76ab8e32e7be224631506201d1beec62a5c2)
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/09902b9c5c5c34b0eb01cd08b7dfbd9b0819c637">09902b9c</a></strong>
<div>
<span>by Shayne Fletcher</span>
<i>at 2019-06-23T02:40:52Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Make Extension derive Bounded
(cherry picked from commit 9047f1844d3f332e15f9e04e74891c771388da3d)
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/7ee637c32cffa3e63a5d513d78612603ee9fa944">7ee637c3</a></strong>
<div>
<span>by Yuriy Syrovetskiy</span>
<i>at 2019-06-23T02:42:38Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Replace git.haskell.org with gitlab.haskell.org (#16196)
(cherry picked from commit 75abaaead796415cf2b5da610f4b3ee75b9d7759)
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/ab052831a046de8f5c73935267690f1c18a31fd2">ab052831</a></strong>
<div>
<span>by Iavor Diatchki</span>
<i>at 2019-06-23T02:44:55Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Add a `NOINLINE` pragma on `someNatVal` (#16586)
This fixes #16586, see `Note [NOINLINE someNatVal]` for details.
(cherry picked from commit 59f4cb6fb73ade6f9b0bdc85380dfddba93bf14b)
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/8f2ab95d0a1dd20457cfcf828302435870d99b05">8f2ab95d</a></strong>
<div>
<span>by Ben Gamari</span>
<i>at 2019-06-23T02:48:07Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">testsuite: Add test for #16514
(cherry picked from commit 41bf4045c5a85651db8ceb631a1b67edec0c1216)
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/d6b5b56d7e435a01b3b0eee4ec1df7caac07ad28">d6b5b56d</a></strong>
<div>
<span>by Zejun Wu</span>
<i>at 2019-06-23T02:50:01Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Pass preprocessor options to C compiler when building foreign C files (#16737)
(cherry picked from commit cfd3e0f1cfd16c8f35cae139d2a871a32eb4d2e1)
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/fd0aa2fea02d4c05226cb8a1a80ac6076cfb5a32">fd0aa2fe</a></strong>
<div>
<span>by Moritz Angermann</span>
<i>at 2019-06-23T02:50:28Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">llvm-targets: Add x86_64 android layout
(cherry picked from commit e87b9f8731460a7d8c0b45507be2d83935683d56)
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/8b9176de01053a9d6ba7206fab77b4e76e5aa345">8b9176de</a></strong>
<div>
<span>by Sergei Trofimovich</span>
<i>at 2019-06-23T02:52:15Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">powerpc32: fix 64-bit comparison (#16465)
On powerpc32 64-bit comparison code generated dangling
target labels. This caused ghc build failure as:
$ ./configure --target=powerpc-unknown-linux-gnu && make
...
SCCs aren't in reverse dependent order
bad blockId n3U
This happened because condIntCode' in PPC codegen generated
label name but did not place the label into `cmp_lo` code block.
The change adds the `cmp_lo` label into the case of negative
comparison.
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
(cherry picked from commit 973077ac63c79988f2d5f25d13b60dce82f9e8dd)
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/52380430a2ee1d16aa161c46a6666ae1914bcde1">52380430</a></strong>
<div>
<span>by Sergei Trofimovich</span>
<i>at 2019-06-23T02:52:17Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">powerpc32: fix stack allocation code generation
When ghc was built for powerpc32 built failed as:
It's a fallout of commit 3f46cffcc2850e68405a1
("PPC NCG: Refactor stack allocation code") where
word size used to be
II32/II64
and changed to
II8/panic "no width for given number of bytes"
widthFromBytes ((platformWordSize platform) `quot` 8)
The change restores initial behaviour by removing extra division.
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
(cherry picked from commit bb2ee86a4cf47eb56d4b8b4a552537449d492f88)
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/d950ffe48f8f07644b4e7ed77bba26ff3643832d">d950ffe4</a></strong>
<div>
<span>by Krzysztof Gogolewski</span>
<i>at 2019-06-23T02:52:42Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Fix missing unboxed tuple RuntimeReps (#16565)
Unboxed tuples and sums take extra RuntimeRep arguments,
which must be manually passed in a few places.
This was not done in deSugar/Check.
This error was hidden because zipping functions in TyCoRep
ignored lists with mismatching length. This is now fixed;
the lengths are now checked by calling zipEqual.
As suggested in #16565, I moved checking for isTyVar and
isCoVar to zipTyEnv and zipCoEnv.
(cherry picked from commit 69b1633104a43d5654e65f2c05fa6b73775936e2)
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/428952a15f4cf1ea6a711c60c6e99b8e0fc1d380">428952a1</a></strong>
<div>
<span>by Aiken Cairncross</span>
<i>at 2019-06-23T02:56:12Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Fix typo in error message
(cherry picked from commit ca721193fc71c065036deecfb9d4274fbfc6850d)
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/af905532b0aeefdc1aa29175cdd9ef444b8ac22e">af905532</a></strong>
<div>
<span>by Phuong Trinh</span>
<i>at 2019-06-23T02:56:33Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Fix #16525: ObjectCode freed wrongly because of lack of info header check
`checkUnload` currently doesn't check the info header of static objects.
Thus, it may free an `ObjectCode` struct wrongly even if there's still a
live static object whose info header lies in a mapped section of that
`ObjectCode`. This fixes the issue by adding an appropriate check.
(cherry picked from commit fc6b23be509e290f8d27775a1c637284a335ed81)
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/6cad9eb6c534e8b99ae9f3713a39fd2c8fe0f347">6cad9eb6</a></strong>
<div>
<span>by Ben Gamari</span>
<i>at 2019-06-23T02:56:52Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">SafeHaskell: Don't throw -Wsafe warning if module is declared Safe
Fixes #16689.
(cherry picked from commit 29ec33cd3ee390e8006a88d34f5ea0ac236663d0)
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/5a167d0c19555548cf8d7f41daec652aaddd079f">5a167d0c</a></strong>
<div>
<span>by Ryan Scott</span>
<i>at 2019-06-23T02:58:52Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Synchronize ClsInst.doTyConApp with TcTypeable validity checks (#15862)
Issue #15862 demonstrated examples of type constructors on which
`TcTypeable.tyConIsTypeable` would return `False`, but the `Typeable`
constraint solver in `ClsInst` (in particular, `doTyConApp`) would
try to generate `Typeable` evidence for anyway, resulting in
disaster. This incongruity was caused by the fact that `doTyConApp`
was using a weaker validity check than `tyConIsTypeable` to determine
if a type constructor warrants `Typeable` evidence or not. The
solution, perhaps unsurprisingly, is to use `tyConIsTypeable` in
`doTyConApp` instead.
To avoid import cycles between `ClsInst` and `TcTypeable`, I factored
out `tyConIsTypeable` into its own module, `TcTypeableValidity`.
Fixes #15862.
(cherry picked from commit 25ee60cdae6ddedaf6b4677c6327c0f31c81073a)
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/025fe35b096f228d4f17fedfa63dce65907294e4">025fe35b</a></strong>
<div>
<span>by Ömer Sinan Ağacan</span>
<i>at 2019-06-23T03:03:19Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Properly trim IdInfos of DFunIds and PatSyns in TidyPgm
Not doing this right caused #16608. We now properly trim IdInfos of
DFunIds and PatSyns.
Some further refactoring done by SPJ.
Two regression tests T16608_1 and T16608_2 added.
Fixes #16608
(cherry picked from commit 9d58554f7b19c52896796e8c3b6de20c154a67b2)
</pre>
</li>
</ul>
<h4>30 changed files:</h4>
<ul>
<li class="file-stats">
<a href="#0c39c6a7c54e5d668d208665d6e5ccecdd3bb246">
HACKING.md
</a>
</li>
<li class="file-stats">
<a href="#8ec9a00bfd09b3190ac6b22251dbb1aa95a0579d">
README.md
</a>
</li>
<li class="file-stats">
<a href="#5c73b0c6f476ded38de389f894770f06f4d02b2f">
boot
</a>
</li>
<li class="file-stats">
<a href="#4da676ff520e0439237349c56dc60033a512f7fd">
compiler/basicTypes/PatSyn.hs
</a>
</li>
<li class="file-stats">
<a href="#01d9cedeb185204af1d64df9cd22e7be05edb0d9">
compiler/coreSyn/CoreTidy.hs
</a>
</li>
<li class="file-stats">
<a href="#bd37d71fa68b0980d832d992b427fd6a6bdb891d">
compiler/deSugar/Check.hs
</a>
</li>
<li class="file-stats">
<a href="#0f33fd88c617246c7f89c4477d2d1d24f942df23">
compiler/ghc.cabal.in
</a>
</li>
<li class="file-stats">
<a href="#72690aad4036dea6e6e116c30e4d7582f5077db7">
compiler/main/DriverPipeline.hs
</a>
</li>
<li class="file-stats">
<a href="#a5d2f1f03da18c26aa3c615ca829648a4a806a5b">
compiler/main/HscMain.hs
</a>
</li>
<li class="file-stats">
<a href="#6c14b513ade9b691d4a805f6a7de89634d3863ae">
compiler/main/TidyPgm.hs
</a>
</li>
<li class="file-stats">
<a href="#4046c7d6a8687b60dad02104071b70a747bc6cba">
compiler/nativeGen/PPC/CodeGen.hs
</a>
</li>
<li class="file-stats">
<a href="#6c18f272fe86ef28560d2bdc8bc0c7a15f7b758a">
compiler/nativeGen/PPC/Instr.hs
</a>
</li>
<li class="file-stats">
<a href="#ad54962bae57898c236ee68bfd647356ef7718e7">
compiler/simplCore/Simplify.hs
</a>
</li>
<li class="file-stats">
<a href="#ebb1ec79dce7edc8f7cb87a0b109b53cbc02105d">
compiler/typecheck/ClsInst.hs
</a>
</li>
<li class="file-stats">
<a href="#2799ba786adc98d485fad6003334b913a0069bdc">
compiler/typecheck/TcRnDriver.hs
</a>
</li>
<li class="file-stats">
<a href="#385f906219a06a4d607c6d990b0ea2a1fd047192">
compiler/typecheck/TcTypeable.hs
</a>
</li>
<li class="file-stats">
<a href="#6aaa86ef6a550bdcf719c982026974b2841aded6">
<span class="new-file">
+
compiler/typecheck/TcTypeableValidity.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#7079a8c38af47389d02c47bbf0d7c14a0ac176bf">
compiler/types/InstEnv.hs
</a>
</li>
<li class="file-stats">
<a href="#88310e11ff3891efda62ffaa54c2830f1b147778">
compiler/types/TyCoRep.hs
</a>
</li>
<li class="file-stats">
<a href="#02ab52057b25cd107220549e7027dd4c9a6ba32c">
compiler/types/TyCon.hs
</a>
</li>
<li class="file-stats">
<a href="#7dc313da4c00f2541cb5e519a5e4a0eac7751a2a">
compiler/utils/Util.hs
</a>
</li>
<li class="file-stats">
<a href="#8d11c404e91070407324f71df4a47224c0887148">
docs/users_guide/8.8.1-notes.rst
</a>
</li>
<li class="file-stats">
<a href="#86e0c8cf2018d02de3e6a9f446938663b65ecc55">
hadrian/appveyor.yml
</a>
</li>
<li class="file-stats">
<a href="#66088d9616774022131a78eaec08a263eb9201d1">
hadrian/doc/windows.md
</a>
</li>
<li class="file-stats">
<a href="#92fed88efc6a2e0461a84dd0d0f0bfb89bdbc799">
libraries/base/GHC/TypeLits.hs
</a>
</li>
<li class="file-stats">
<a href="#613eb2a1c706c7ea57be637d2c8ed135d1d2af29">
libraries/base/GHC/TypeNats.hs
</a>
</li>
<li class="file-stats">
<a href="#b7cfb47853ef95330e499ca0c5b90964744d101f">
libraries/base/base.cabal
</a>
</li>
<li class="file-stats">
<a href="#3f7d85c388596f9ef50f1a3e0334bdb67007e969">
libraries/ghc-boot-th/GHC/LanguageExtensions/Type.hs
</a>
</li>
<li class="file-stats">
<a href="#250037ded7e5c4810bdfaae1e241ff5dd4845713">
libraries/ghc-boot-th/ghc-boot-th.cabal.in
</a>
</li>
<li class="file-stats">
<a href="#0ebb2f2be655388ecccd3e7b71ac41cff1c7beba">
libraries/ghc-boot/ghc-boot.cabal.in
</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/b923b1f9c61d67829a0d1f1b87b6f719dd701568...025fe35b096f228d4f17fedfa63dce65907294e4">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>