<div dir="auto">Wow, that's ... interesting. Could this have to do with the way the constraints are written? Has there been some change in UndecidableInstances? I'll try simplifying the Eq, Ord, Show, etc. constraints manually and see if that fixes it.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Dec 1, 2022, 7:14 PM Li-yao Xia <<a href="mailto:lysxia@gmail.com">lysxia@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
  
  <div>
    <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>On 2022-11-30 10:33 PM, David Feuer
      wrote:<br>
    </div>
    <div type="cite">
      <pre>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 href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" target="_blank" rel="noreferrer">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a>
Only members subscribed via the mailman list are allowed to post.</pre>
    </div>
  </div>

</blockquote></div>