[Git][ghc/ghc][wip/T24868] Add hack for #24623

[Simon Peyton Jones (@simonpj)]

Simon Peyton Jones pushed to branch wip/T24868 at Glasgow Haskell Compiler / GHC


Commits:
28cdc083 by Simon Peyton Jones at 2024-06-03T17:45:52+01:00
Add hack for #24623

..Th bug in #24623 is randomly triggered by this MR!..

- - - - -


1 changed file:

- compiler/GHC/Core/Lint.hs


Changes:

=====================================
compiler/GHC/Core/Lint.hs
=====================================
@@ -634,11 +634,16 @@ lintLetBind top_lvl rec_flag binder rhs rhs_ty
        --     in GHC.Core.Opt.DmdAnal
        ; case splitDmdSig (idDmdSig binder) of
            (demands, result_info) | isDeadEndDiv result_info ->
-             checkL (demands `lengthAtLeast` idArity binder)
-               (text "idArity" <+> ppr (idArity binder) <+>
-               text "exceeds arity imposed by the strictness signature" <+>
-               ppr (idDmdSig binder) <> colon <+>
-               ppr binder)
+              if (demands `lengthAtLeast` idArity binder)
+              then return ()
+              else pprTrace "Hack alert: lintLetBind #24623"
+                       (ppr (idArity binder) $$ ppr (idDmdSig binder)) $
+                   return ()
+--             checkL (demands `lengthAtLeast` idArity binder)
+--               (text "idArity" <+> ppr (idArity binder) <+>
+--               text "exceeds arity imposed by the strictness signature" <+>
+--               ppr (idDmdSig binder) <> colon <+>
+--               ppr binder)
 
            _ -> return ()
 



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/28cdc083dc584de5388c51bbcebb57b85e434b1a

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/28cdc083dc584de5388c51bbcebb57b85e434b1a
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20240603/4527fd4d/attachment-0001.html>