<!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>
Sebastian Graf pushed to branch wip/dmdanal-precise-exn
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/f024b6e385bd1448968b7bf20de05f655c815bae">f024b6e3</a></strong>
<div>
<span>by Sylvain Henry</span>
<i>at 2020-03-30T12:48:39+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Expect T4267 to pass
Since 54250f2d8de910b094070c1b48f086030df634b1 we expected T4267 to
fail, but it passes on CI.
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/76a9217261731c7890feebbb1a006f183c71a61c">76a92172</a></strong>
<div>
<span>by Sebastian Graf</span>
<i>at 2020-03-31T05:14:09-04:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Preserve precise exceptions in strictness analysis
Fix #13380 and #17676 by
1. Changing `raiseIO#` to have `topDiv` instead of `botDiv`
2. Give it special treatment in `Simplifier.Util.mkArgInfo`, treating it
as if it still had `botDiv`, to recover dead code elimination.
This is the first commit of the plan outlined in
https://gitlab.haskell.org/ghc/ghc/-/merge_requests/2525#note_260886.
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/06c8b0801ae37fc84632a92154b14514d77e95fc">06c8b080</a></strong>
<div>
<span>by Sebastian Graf</span>
<i>at 2020-03-31T12:11:40+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Add ConOrDiv to Divergence and see where it gets us
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/2a28d9d0e71a8762758625b65c4a60ffec9af6f4">2a28d9d0</a></strong>
<div>
<span>by Sebastian Graf</span>
<i>at 2020-03-31T12:11:40+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Actually use conDiv
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/ac5a2e72ef01f3afc01afdc52e8028141305e98f">ac5a2e72</a></strong>
<div>
<span>by Sebastian Graf</span>
<i>at 2020-03-31T12:11:40+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Attempt to make ensureArgs do the right thing
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/a8502bba906985b052671d0ed7c6672e58ec90e5">a8502bba</a></strong>
<div>
<span>by Sebastian Graf</span>
<i>at 2020-03-31T12:11:40+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">More pondering over the can of worms I opened
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/29d15c9101a13a82d6a3dc6ebf8f8284f7d0aafc">29d15c91</a></strong>
<div>
<span>by Sebastian Graf</span>
<i>at 2020-03-31T12:11:40+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">A bunch of fixes involving the new Divergence lattice
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/36c3e06b0d2361086f23a88a195326111f91dda6">36c3e06b</a></strong>
<div>
<span>by Sebastian Graf</span>
<i>at 2020-03-31T12:11:40+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">typo
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/c3b5b44fbc05e64fd397f585b2dfaa0823fbf35d">c3b5b44f</a></strong>
<div>
<span>by Sebastian Graf</span>
<i>at 2020-03-31T12:11:40+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Add strictness signature for a bunch of wired in Ids
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/d6426b0af481ca88e24356c2c415c5bab57dc6ba">d6426b0a</a></strong>
<div>
<span>by Sebastian Graf</span>
<i>at 2020-03-31T12:11:40+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Accept a bunch of testcase changes
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/dd3168b2e2b9ed9469dfc03381235abe421c1188">dd3168b2</a></strong>
<div>
<span>by Sebastian Graf</span>
<i>at 2020-03-31T12:11:40+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Rename isBot* to isDeadEnd*
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/849b89d80f22cba46b26a8aa4b2d3e37db2520bb">849b89d8</a></strong>
<div>
<span>by Sebastian Graf</span>
<i>at 2020-03-31T12:11:40+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Comments
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/160183d5a4196f5a2098e79508f59a1fea2f724b">160183d5</a></strong>
<div>
<span>by Sebastian Graf</span>
<i>at 2020-03-31T12:11:40+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Assume that precise exceptions can only be thrown from IO
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/5469f5c310a41467f2357204210aa1a0f064f3cf">5469f5c3</a></strong>
<div>
<span>by Sebastian Graf</span>
<i>at 2020-03-31T12:11:40+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Accept new testsuite results
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/f26c24c302021c2e02d9343b85af7977a66fd858">f26c24c3</a></strong>
<div>
<span>by Sebastian Graf</span>
<i>at 2020-03-31T12:11:40+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Polish Notes
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/556fe9a9493a20aeb446487ab1a27794f3322851">556fe9a9</a></strong>
<div>
<span>by Sebastian Graf</span>
<i>at 2020-03-31T12:11:40+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">More comments
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/eea1305090aa8154e843569186f22ff679058b63">eea13050</a></strong>
<div>
<span>by Sebastian Graf</span>
<i>at 2020-03-31T12:11:40+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Change forcesRealWorld to work like the old IO hack
</pre>
</li>
<li>
<strong><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/3e884a2ea78aa2e98612404642b7acafe46ec97c">3e884a2e</a></strong>
<div>
<span>by Sebastian Graf</span>
<i>at 2020-03-31T12:11:40+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Revert "Change forcesRealWorld to work like the old IO hack"
This reverts commit 516987db1eb32bb231063e1e0fa4ff78178b15c9.
</pre>
</li>
</ul>
<h4>30 changed files:</h4>
<ul>
<li class="file-stats">
<a href="#d0d96a6d03668aeab20ebe05e2c4ccb798c7e64c">
compiler/GHC.hs
</a>
</li>
<li class="file-stats">
<a href="#8b1482a65a3092c268b853a00aa18286427d1dec">
compiler/GHC/Core/Arity.hs
</a>
</li>
<li class="file-stats">
<a href="#36a42448a83a9d1f6df8475f03ead2eed199dd8e">
compiler/GHC/Core/Lint.hs
</a>
</li>
<li class="file-stats">
<a href="#3bb380152f7a13d926e48fe380cdce86d60cf92e">
compiler/GHC/Core/Op/CallArity.hs
</a>
</li>
<li class="file-stats">
<a href="#1419e35d2402c23209a644b054c5a67aa4463451">
compiler/GHC/Core/Op/DmdAnal.hs
</a>
</li>
<li class="file-stats">
<a href="#c91bc01a4374fd510bfd57e3818d888393902e29">
compiler/GHC/Core/Op/FloatIn.hs
</a>
</li>
<li class="file-stats">
<a href="#e1d5e8c787a59117885861198e4c24effc067d7a">
compiler/GHC/Core/Op/FloatOut.hs
</a>
</li>
<li class="file-stats">
<a href="#225664ec66ad2a4158da295cbc31b7e2c5808bdb">
compiler/GHC/Core/Op/LiberateCase.hs
</a>
</li>
<li class="file-stats">
<a href="#de7d9d388885ce6e3a45a39fac6e2c36a7f94f69">
compiler/GHC/Core/Op/SetLevels.hs
</a>
</li>
<li class="file-stats">
<a href="#e3fe84599ec044fc7aacb062dada32b067732fc8">
compiler/GHC/Core/Op/Simplify.hs
</a>
</li>
<li class="file-stats">
<a href="#b73ea2c5744c45878c8939cf97da70308baa7e48">
compiler/GHC/Core/Op/Simplify/Utils.hs
</a>
</li>
<li class="file-stats">
<a href="#6fd97a6cb77fefdde9bb59d009ce990a69e83d97">
compiler/GHC/Core/Op/SpecConstr.hs
</a>
</li>
<li class="file-stats">
<a href="#12b764912308026ebf73c88bcb2f60c19c2eaaf9">
compiler/GHC/Core/Op/WorkWrap/Lib.hs
</a>
</li>
<li class="file-stats">
<a href="#11ffe98a94d798427bc600e4fcfe899407536346">
compiler/GHC/Core/SimpleOpt.hs
</a>
</li>
<li class="file-stats">
<a href="#2811a7297b8aa206197ac1f5dabd0818e3c7ec5a">
compiler/GHC/Core/Unfold.hs
</a>
</li>
<li class="file-stats">
<a href="#1a7aba0daeafab195716dd25432479804a55ab60">
compiler/GHC/Core/Utils.hs
</a>
</li>
<li class="file-stats">
<a href="#d11203a9321005ba51a16d751c86f609d1f18c71">
compiler/GHC/Iface/Tidy.hs
</a>
</li>
<li class="file-stats">
<a href="#06ff7bac58fd8cfe0c17b81963b03f4cce86a065">
compiler/GHC/IfaceToCore.hs
</a>
</li>
<li class="file-stats">
<a href="#d09e98aae6ad2eb59d08eac7894b68c0ab820cda">
compiler/GHC/Types/Demand.hs
</a>
</li>
<li class="file-stats">
<a href="#20aaf8344f379f354fe31dd0c1c4db4ddc5b17aa">
compiler/GHC/Types/Id.hs
</a>
</li>
<li class="file-stats">
<a href="#38110817cdbc9a34d2b80a14070cabc7515c808a">
compiler/GHC/Types/Id/Info.hs
</a>
</li>
<li class="file-stats">
<a href="#261c0c5029eb34eb7436b087d77314f377ff8223">
compiler/GHC/Types/Id/Make.hs
</a>
</li>
<li class="file-stats">
<a href="#2a8bedbc781353ca3c4d1e56daba6faa8829aaf3">
compiler/prelude/primops.txt.pp
</a>
</li>
<li class="file-stats">
<a href="#71247aaad504d89a31c398d6edd6cfc090975b86">
testsuite/tests/deSugar/should_compile/T2431.stderr
</a>
</li>
<li class="file-stats">
<a href="#73459bdd68c8a1d83dd2fc05500d4d379b541a3d">
testsuite/tests/numeric/should_compile/T14170.stdout
</a>
</li>
<li class="file-stats">
<a href="#68981928c0d335390bba962b95dc1104a8881d05">
testsuite/tests/numeric/should_compile/T14465.stdout
</a>
</li>
<li class="file-stats">
<a href="#e6a25af732cafed9cd91b716ddbdb29b303bd865">
testsuite/tests/numeric/should_compile/T7116.stdout
</a>
</li>
<li class="file-stats">
<a href="#f41ec90131956922871428d1f65574b7c372b5af">
testsuite/tests/perf/should_run/all.T
</a>
</li>
<li class="file-stats">
<a href="#6e2ce964ea02e92c2202946150700a3219beed86">
testsuite/tests/simplCore/should_compile/T13143.stderr
</a>
</li>
<li class="file-stats">
<a href="#bf69f752e63fa946a0fa2f60e4eb26bfbdb185cd">
testsuite/tests/simplCore/should_compile/T13543.stderr
</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/c873b3b99adb4d4dd3214ae65c21f5c0452853f8...3e884a2ea78aa2e98612404642b7acafe46ec97c">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>