<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>GHC 9.4.3 with -O2 is miscompiling the derived Show and Eq
instances for SeqT in logict-sequence.</p>
<p> main :: IO ()<br>
main = print (pure 0 :: Seq Int)<br>
-- -O0, -O1: prints the Seq<br>
-- -O2: <<loop>></p>
<p>On top of that, both hedgehog and hspec fail to catch
`<<loop>>`.</p>
<p> main :: IO ()<br>
main = defaultMain<br>
[ check $ property $ do<br>
let x = x :: Int -- obvious loop compiles to a thrown
exception <<loop>><br>
if x == x then pure () else pure () ]<br>
-- "thread blocked indefinitely in an STM transaction"<br>
-- meaning some thread is not getting cleaned up properly<br>
<br>
main :: IO ()<br>
main = hspec $ do<br>
describe "work" $ do<br>
it "works" $ do<br>
let x = x :: Int -- obvious loop compiles to a thrown
exception <<loop>><br>
if x == x then pure () else pure () :: IO ()<br>
--- hangs</p>
<p>Cheers,<br>
Li-yao</p>
<p><br>
</p>
<div class="moz-cite-prefix">On 2022-11-30 10:33 PM, David Feuer
wrote:<br>
</div>
<div class="replaced-blockquote"
cite="mid:CAMgWh9sbnqwi3jF9kZt1JJkCq+jwY-mGJWnd805Du=rOKABh0g@mail.gmail.com"
type="cite">
<pre class="moz-quote-pre" wrap="">The logict-sequence test suite consistently freezes up on the last
test when compiled with GHC 9.4.3. logict-sequence and its test suite
don't do anything special with that GHC/base version as far as I can
see, or anything particularly strange in general, so I'm pretty
confident the problem lies elsewhere. My best guesses are hedgehog,
tasty, and tasty-hedgehog. Has anyone else run into weird issues with
any/all of these on GHC 9.4.3?
David
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
<a class="moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a>
Only members subscribed via the mailman list are allowed to post.</pre>
</div>
</body>
</html>