<!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/abf568ddb607149dff0c141661f07739e1335f6e">abf568dd</a></strong>
<div>
<span>by Ben Gamari</span>
<i>at 2019-06-16T15:32:08Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">ErrUtils: Emit progress messages to eventlog
(cherry picked from commit 1bef62c38d3737b5f5d7ebbb479f3c1a12b1aa09)
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/048d4d227dcf1af7019ae658dd71980b9f1406c1">048d4d22</a></strong>
<div>
<span>by Ben Gamari</span>
<i>at 2019-06-16T15:32:08Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Emit GHC timing events to eventlog
(cherry picked from commit ebfa35284741fca47719f531f0996261441f75b0)
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/ce6a492b6d2ec818d6fe57f0892ba0716c1ff9a7">ce6a492b</a></strong>
<div>
<span>by Simon Peyton Jones</span>
<i>at 2019-06-19T16:39:50Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Fail fast in solveLocalEqualities
This patch makes us fail fast in TcSimplify.solveLocalEqualities,
and in TcHsType.tc_hs_sig_type, if there are insoluble constraints.
Previously we ploughed on even if there were insoluble constraints,
leading to a cascade of hard-to-understand type errors. Failing
eagerly is much better; hence a lot of testsuite error message
changes. Eg if we have
f :: [Maybe] -> blah
f xs = e
then trying typecheck 'f x = e' with an utterly bogus type
is just asking for trouble.
I can't quite remember what provoked me to make this change,
but I think the error messages are notably improved, by
removing confusing clutter and focusing on the real error.
(cherry picked from commit 5c1f268e2744fab2d36e64c163858995451d7095)
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/4a5ab8f0f91230113dcd4ce3bd6fad37932547b7">4a5ab8f0</a></strong>
<div>
<span>by Richard Eisenberg</span>
<i>at 2019-06-19T16:39:50Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Fix #16517 by bumping the TcLevel for method sigs
There were actually two bugs fixed here:
1. candidateQTyVarsOfType needs to be careful that it does not
try to zap metavariables from an outer scope as "naughty"
quantification candidates. This commit adds a simple check
to avoid doing so.
2. We weren't bumping the TcLevel in kcHsKindSig, which was used
only for class method sigs. This mistake led to the acceptance
of
class C a where
meth :: forall k. Proxy (a :: k) -> ()
Note that k is *locally* quantified. This patch fixes the
problem by using tcClassSigType, which correctly bumps the
level. It's a bit inefficient because tcClassSigType does other
work, too, but it would be tedious to repeat much of the code
there with only a few changes. This version works well and is
simple.
And, while updating comments, etc., I noticed that tcRnType was
missing a pushTcLevel, leading to #16767, which this patch also
fixes, by bumping the level. In the refactoring here, I also
use solveEqualities. This initially failed ghci/scripts/T15415,
but that was fixed by teaching solveEqualities to respect
-XPartialTypeSignatures.
This patch also cleans up some Notes around error generation that
came up in conversation.
Test case: typecheck/should_fail/T16517, ghci/scripts/T16767
(cherry picked from commit a22e51ea6f7a046c87d57ce30d143eef6abee9ff)
(cherry picked from commit 19ab32c5fb3ebd88927b94acf6b348facc1552a2)
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/92543601915d2386c5f80e460330a173a4ab0ace">92543601</a></strong>
<div>
<span>by Ben Gamari</span>
<i>at 2019-06-21T21:17:46Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Merge branch 'wip/backport-MR951' into wip/ghc-8.8-merges
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/7c9c129ef2f688c878f21af11d3a4195744bc1e6">7c9c129e</a></strong>
<div>
<span>by Ben Gamari</span>
<i>at 2019-06-22T13:01:34Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">testsuite: Fix expected output
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/856cdb9d53242afe7ad2d15c3841427f83d55773">856cdb9d</a></strong>
<div>
<span>by Michael Peyton Jones</span>
<i>at 2019-06-23T17:27:12Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">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.
(cherry picked from commit 8a20bfc21da6a47087c8069f92691629eb47951d)
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/589ad6029467f5234b63b667ccf615fedabb5b92">589ad602</a></strong>
<div>
<span>by Simon Peyton Jones</span>
<i>at 2019-06-23T17:27:12Z</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/0b1519b32a3c6262e5647b087b237cfde73dfa39">0b1519b3</a></strong>
<div>
<span>by Ben Gamari</span>
<i>at 2019-06-23T17:27:12Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">users guide: Mention supported LLVM version
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/0988b19350e59e350a8d4cf0094a866aafaee8cd">0988b193</a></strong>
<div>
<span>by Ben Gamari</span>
<i>at 2019-06-23T17:27: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/bdb70d2efcd6b9d2ddbfd78593b62f72fb17964a">bdb70d2e</a></strong>
<div>
<span>by Shayne Fletcher</span>
<i>at 2019-06-23T17:27:12Z</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/04a27889231ad78effc43d71a94937a4117c02be">04a27889</a></strong>
<div>
<span>by Yuriy Syrovetskiy</span>
<i>at 2019-06-23T17:27:12Z</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/ab8a4a3a98cdc84b080e745cd40d3ca0c53bd25e">ab8a4a3a</a></strong>
<div>
<span>by Iavor Diatchki</span>
<i>at 2019-06-23T17:27:12Z</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/c1c0ce7ad45a24042175f2b0d2eb466a769ba29d">c1c0ce7a</a></strong>
<div>
<span>by Ben Gamari</span>
<i>at 2019-06-23T17:27:12Z</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/1c18d3b41f897f34a93669edaebe6069f319f9e2">1c18d3b4</a></strong>
<div>
<span>by Zejun Wu</span>
<i>at 2019-06-23T17:27:12Z</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/70655b73edf602c32885256d91ec9924c941a881">70655b73</a></strong>
<div>
<span>by Moritz Angermann</span>
<i>at 2019-06-23T17:27:12Z</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/b508386c0f60cc12e688c16af49ac597390ce811">b508386c</a></strong>
<div>
<span>by Sergei Trofimovich</span>
<i>at 2019-06-23T17:27:12Z</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/1a39496a6a25774a901c9a70d1a7f3250b7a9762">1a39496a</a></strong>
<div>
<span>by Sergei Trofimovich</span>
<i>at 2019-06-23T17:27:12Z</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/acfc726a3c06ffd1b1dd17c3e67234a91c82fd84">acfc726a</a></strong>
<div>
<span>by Krzysztof Gogolewski</span>
<i>at 2019-06-23T17:27:12Z</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/31b2eacde8c32493d0962c4085816adbdd1270e1">31b2eacd</a></strong>
<div>
<span>by Aiken Cairncross</span>
<i>at 2019-06-23T17:27: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/f7df329abd867d240a2ddfed9241868373c85948">f7df329a</a></strong>
<div>
<span>by Phuong Trinh</span>
<i>at 2019-06-23T17:27:12Z</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/37a47f678677e74410eb082504931d2cf0424e53">37a47f67</a></strong>
<div>
<span>by Ben Gamari</span>
<i>at 2019-06-23T17:27:13Z</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/27425530bda1ea040fb1720727343b9616819901">27425530</a></strong>
<div>
<span>by Ryan Scott</span>
<i>at 2019-06-23T17:27:13Z</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/c63f166d2653b59caf1ee696f746b51c93f6a375">c63f166d</a></strong>
<div>
<span>by Ömer Sinan Ağacan</span>
<i>at 2019-06-23T17:27:13Z</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="#033a4b0a0dd5b2de8e407e7ee840e7bd5d90a25e">
compiler/main/ErrUtils.hs
</a>
</li>
<li class="file-stats">
<a href="#a5d2f1f03da18c26aa3c615ca829648a4a806a5b">
compiler/main/HscMain.hs
</a>
</li>
<li class="file-stats">
<a href="#cdec0bcdc645a00b0d184ad59451df48e8287298">
compiler/main/Packages.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="#9f8e9eab0dc8b12ae9f92fbb76ddca15c817667a">
compiler/typecheck/TcCanonical.hs
</a>
</li>
<li class="file-stats">
<a href="#c573dfc3158e7ec41ecc0965becd5f1e6e92a2e6">
compiler/typecheck/TcErrors.hs
</a>
</li>
<li class="file-stats">
<a href="#350c4076427c611b8f14e875a4ca553041c2b847">
compiler/typecheck/TcHsType.hs
</a>
</li>
<li class="file-stats">
<a href="#367db94fc37c8c7548dbe545a5302c7a5108e41e">
compiler/typecheck/TcMType.hs
</a>
</li>
<li class="file-stats">
<a href="#2799ba786adc98d485fad6003334b913a0069bdc">
compiler/typecheck/TcRnDriver.hs
</a>
</li>
<li class="file-stats">
<a href="#d2ddf5ce2d076f8584d9825af8ea0d7ea0a38813">
compiler/typecheck/TcRnTypes.hs
</a>
</li>
<li class="file-stats">
<a href="#75d517f701402b106e4d98d255eb24b57ba72aab">
compiler/typecheck/TcSimplify.hs
</a>
</li>
<li class="file-stats">
<a href="#bdfa0cc139f61d1236abc1598c5d684b43c357f9">
compiler/typecheck/TcTyClsDecls.hs
</a>
</li>
<li class="file-stats">
<a href="#341fd962c5f2c9fcf8be3dbdaa9a14ee1538af07">
compiler/typecheck/TcType.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>
</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/abf9bab73d9004bac34a1db14759a6ff7e95b5c9...c63f166d2653b59caf1ee696f746b51c93f6a375">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>