<!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/e018a9cf79d8311d47888eef37de6aa297a78c8d">e018a9cf</a></strong>
<div>
<span>by Ömer Sinan Ağacan</span>
<i>at 2019-06-19T11:05:32Z</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
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/547f6083f80308d8b6cc32cb87c16a084b010905">547f6083</a></strong>
<div>
<span>by Oleg Grenrus</span>
<i>at 2019-06-19T11:05:33Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Add -Winferred-safe-imports warning
This commit partly reverts e69619e923e84ae61a6bb4357f06862264daa94b
commit by reintroducing Sf_SafeInferred SafeHaskellMode.
We preserve whether module was declared or inferred Safe. When
declared-Safe module imports inferred-Safe, we warn. This inferred
status is volatile, often enough it's a happy coincidence, something
which cannot be relied upon. However, explicitly Safe or Trustworthy
packages won't accidentally become Unsafe.
Updates haddock submodule.
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/e6a425f78cd6486d528f3f38ad7d3e5c6d58d0cf">e6a425f7</a></strong>
<div>
<span>by Oleg Grenrus</span>
<i>at 2019-06-19T11:05:33Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Add -Wmissing-safe-haskell-mode warning
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/75c6313d623ad8dacf2d75aa476627ccaa823557">75c6313d</a></strong>
<div>
<span>by Simon Peyton Jones</span>
<i>at 2019-06-19T11:05:33Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Fix two places that failed the substitution invariant
The substition invariant relies on keeping the in-scope
set in sync, and we weren't always doing so, which means that
a DEBUG compiler crashes sometimes with an assertion failure
This patch fixes a couple more cases. Still not validate
clean (with -DEEBUG) but closer!
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/d03f6f6cfd9c78a27276f9b3c8fa15c629611a8d">d03f6f6c</a></strong>
<div>
<span>by Simon Peyton Jones</span>
<i>at 2019-06-19T11:05:33Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Fix typechecking of partial type signatures
Partial type sigs had grown hair. tcHsParialSigType was
doing lots of unnecessary work, and tcInstSig was cloning it
unnecessarily -- and the result didn't even work: #16728.
This patch cleans it all up, described by TcHsType
Note [Checking parital type signatures]
I basically just deleted code... but very carefully!
Some refactoring along the way
* Distinguish more explicintly between "anonymous" wildcards "_"
and "named" wildcards "_a". I changed the names of a number
of functions to make this distinction much more apparent.
The patch also revealed that the code in `TcExpr`
that implements the special typing rule for `($)` was wrong.
It called `getRuntimeRep` in a situation where where was no
particular reason to suppose that the thing had kind `TYPE r`.
This caused a crash in typecheck/should_run/T10846.
The fix was easy, and actually simplifies the code in `TcExpr`
quite a bit. Hooray.
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/c8963e6f949b8259ac3f504761373b2ff4e098f0">c8963e6f</a></strong>
<div>
<span>by Simon Peyton Jones</span>
<i>at 2019-06-19T11:05:33Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Comments and tiny refactor
* Added Note [Quantified varaibles in partial type signatures]
in TcRnTypes
* Kill dVarSetElemsWellScoped; it was only called in
one function, quantifyTyVars. I inlined it because it
was only scopedSort . dVarSetElems
* Kill Type.tyCoVarsOfBindersWellScoped, never called.
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/19cbfa7a63ecf183294d016f6efc7c7b54612e03">19cbfa7a</a></strong>
<div>
<span>by Ben Gamari</span>
<i>at 2019-06-19T11:05:34Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">users-guide: Fix a variety of broken links and syntax
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/commit/8f434d4935cfb36247d3797eb778c465b211f58a">8f434d49</a></strong>
<div>
<span>by Ben Gamari</span>
<i>at 2019-06-19T11:05:34Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">users-guide: Update -Wsafe description for #16689
We no longer emit a warning when a safe module is explicitly declared as
such.
</pre>
</li>
</ul>
<h4>30 changed files:</h4>
<ul>
<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="#11e9bfd841c4163c1919b5e07efc84740e02010f">
compiler/main/DynFlags.hs
</a>
</li>
<li class="file-stats">
<a href="#a5d2f1f03da18c26aa3c615ca829648a4a806a5b">
compiler/main/HscMain.hs
</a>
</li>
<li class="file-stats">
<a href="#a7d05a7194ce9665362b8cb2a6e3cb5bd39f2965">
compiler/main/HscTypes.hs
</a>
</li>
<li class="file-stats">
<a href="#6c14b513ade9b691d4a805f6a7de89634d3863ae">
compiler/main/TidyPgm.hs
</a>
</li>
<li class="file-stats">
<a href="#80d26d5d3ff0c380bfa505239d3192d66657fe32">
compiler/rename/RnTypes.hs
</a>
</li>
<li class="file-stats">
<a href="#c445afcfc673671d106f586e133959854186d16b">
compiler/typecheck/Inst.hs
</a>
</li>
<li class="file-stats">
<a href="#a83766f600de0ac03e19fb4b379bc90111dc73a5">
compiler/typecheck/TcBinds.hs
</a>
</li>
<li class="file-stats">
<a href="#9f8e9eab0dc8b12ae9f92fbb76ddca15c817667a">
compiler/typecheck/TcCanonical.hs
</a>
</li>
<li class="file-stats">
<a href="#3668e5951898e1cee434d7e6fb5a139287ebe70d">
compiler/typecheck/TcExpr.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="#fa5bd207fd28db668d069147fd989ad2ac810fd7">
compiler/typecheck/TcRnMonad.hs
</a>
</li>
<li class="file-stats">
<a href="#d2ddf5ce2d076f8584d9825af8ea0d7ea0a38813">
compiler/typecheck/TcRnTypes.hs
</a>
</li>
<li class="file-stats">
<a href="#341aef35ac370771edf59ec6b9fbb31507fa6f18">
compiler/typecheck/TcSigs.hs
</a>
</li>
<li class="file-stats">
<a href="#341fd962c5f2c9fcf8be3dbdaa9a14ee1538af07">
compiler/typecheck/TcType.hs
</a>
</li>
<li class="file-stats">
<a href="#7079a8c38af47389d02c47bbf0d7c14a0ac176bf">
compiler/types/InstEnv.hs
</a>
</li>
<li class="file-stats">
<a href="#07ce9a046fb8ea6659690020b0a8551d94cfdf1c">
compiler/types/Type.hs
</a>
</li>
<li class="file-stats">
<a href="#04359c28c9e4de11d44a0c6ab10e9245d68ee640">
docs/users_guide/bugs.rst
</a>
</li>
<li class="file-stats">
<a href="#d7b19ee7fec8a7412de70be27f090f4992b40ad6">
docs/users_guide/codegens.rst
</a>
</li>
<li class="file-stats">
<a href="#616606d7ec92f17c847240a7bc125e1d8c9c00a1">
docs/users_guide/extending_ghc.rst
</a>
</li>
<li class="file-stats">
<a href="#40d93f06cdb95d1c98a6b3832d0153e59839d832">
docs/users_guide/glasgow_exts.rst
</a>
</li>
<li class="file-stats">
<a href="#fcd312a649a43f4ccd8e43e52a19037131c9a687">
docs/users_guide/safe_haskell.rst
</a>
</li>
<li class="file-stats">
<a href="#1e844b137ca43fa9e39bd7208f24af186209896d">
<span class="new-file">
+
testsuite/tests/driver/T16608/Makefile
</span>
</a>
</li>
<li class="file-stats">
<a href="#1749ea628dbe31d8b776588e9e2fd7e3023544c6">
<span class="new-file">
+
testsuite/tests/driver/T16608/MyInteger.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#f0f38318d6bddbfafc10a8decd98d4ce7c7a673e">
<span class="new-file">
+
testsuite/tests/driver/T16608/T16608_1.hs
</span>
</a>
</li>
<li class="file-stats">
<a href="#9b43e7a535f693adc8a97670cb677131b0246e07">
<span class="new-file">
+
testsuite/tests/driver/T16608/T16608_1.stdout
</span>
</a>
</li>
<li class="file-stats">
<a href="#9bc868f6bca60b8a323c29cb68a6b2b5de098757">
<span class="new-file">
+
testsuite/tests/driver/T16608/T16608_2.hs
</span>
</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/0e5cdf7787ecf42ed3b2f6ace117dd4ccfa42c27...8f434d4935cfb36247d3797eb778c465b211f58a">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>