<div dir="ltr">Thanks both of you, that makes sense.<div><br></div><div>Re: let-bindings floating more easily, would a check for `exprIsOkForSpeculation scrut` in theory suffice to float out cases?</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Oct 30, 2017 at 10:56 AM, Simon Peyton Jones <span dir="ltr"><<a href="mailto:simonpj@microsoft.com" target="_blank">simonpj@microsoft.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">





<div lang="EN-GB" link="blue" vlink="purple">
<div class="m_1582500135497221253WordSection1">
<p class="MsoNormal"><span style="font-size:12.0pt">See Note [CoreSyn let/app invariant] in CoreSyn.<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt">Briefly, you can write<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt">            let x::Int# = e in …<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt">if e is “ok-for-speculation”.  See extensive comments in CoreUtils on what that means.<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt">You could also use case, but let-bindings “float” more easily than cases, because they are not worried about preserving exception behaviour.<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt">Simon<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:12.0pt"><u></u> <u></u></span></p>
<div style="border:none;border-left:solid blue 1.5pt;padding:0cm 0cm 0cm 4.0pt">
<div>
<div style="border:none;border-top:solid #e1e1e1 1.0pt;padding:3.0pt 0cm 0cm 0cm">
<p class="MsoNormal"><b><span lang="EN-US">From:</span></b><span lang="EN-US"> ghc-devs [mailto:<a href="mailto:ghc-devs-bounces@haskell.org" target="_blank">ghc-devs-bounces@<wbr>haskell.org</a>]
<b>On Behalf Of </b>Sebastian Graf<br>
<b>Sent:</b> 29 October 2017 21:07<br>
<b>To:</b> ghc-devs <<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a>><br>
<b>Subject:</b> When does GHC produce unlifted `let` bindings?<u></u><u></u></span></p>
</div>
</div><div><div class="h5">
<p class="MsoNormal"><u></u> <u></u></p>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
Hi folks,<u></u><u></u></p>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
<u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
I was debugging a Core-to-Core transform for TEST=<a href="https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc%2Fghc%2Fblob%2Ffe04f3783b662c52c4a0ff36b2d62a7a575998a5%2Ftestsuite%2Ftests%2FsimplCore%2Fshould_compile%2Fspec-inline.hs&data=02%7C01%7Csimonpj%40microsoft.com%7C77699e26801a4d458b9a08d51f11085f%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636449080385955811&sdata=t%2BAXQszqKfFRYNjjLJtMHpLsS2RzwTaBFA42JuLBN4o%3D&reserved=0" target="_blank">spec-inline</a> and
 was wondering (yet again) why GHC produces unlifted `let` bindings in Core like <a href="https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc%2Fghc%2Fblob%2Ffe04f3783b662c52c4a0ff36b2d62a7a575998a5%2Ftestsuite%2Ftests%2FsimplCore%2Fshould_compile%2Fspec-inline.stderr%23L68-L76&data=02%7C01%7Csimonpj%40microsoft.com%7C77699e26801a4d458b9a08d51f11085f%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636449080385955811&sdata=pVNrzDY%2ByfK%2FVl%2Fk8B5P0HuGC6PG5kD7mHiwa0Vck9o%3D&reserved=0" target="_blank">
it seems supposed to be doing</a>.<u></u><u></u></p>
</div>
<div>
<ul type="disc">
<li class="MsoNormal" style="margin-left:0cm">
Why doesn't this use `case` instead? <u></u><u></u></li><li class="MsoNormal" style="margin-left:0cm">
Is there a semantic difference? <u></u><u></u></li><li class="MsoNormal" style="margin-left:0cm">
Can `case` be used with unlifted types? <u></u><u></u></li><li class="MsoNormal" style="margin-left:0cm">
And if not, why can `let`?<u></u><u></u></li></ul>
</div>
<div>
<p class="MsoNormal">Unlifted `let` seems much close to `case` than to `let`. <a href="https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc%2Fghc%2Fsearch%3Fl%3DHaskell%26q%3D%2522strict%2Blet%2522%26type%3D%26utf8%3D%25E2%259C%2593&data=02%7C01%7Csimonpj%40microsoft.com%7C77699e26801a4d458b9a08d51f11085f%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636449080385955811&sdata=ksdZGbGyw6%2FLEIMiJpCaHlDh4iipdkKcSCEDdTySExk%3D&reserved=0" target="_blank">
Some GHC passes seem to agree.</a><u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">Cheers,<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal">Sebastian<u></u><u></u></p>
</div>
</div>
</div></div></div>
</div>
</div>

</blockquote></div><br></div>