[Git][ghc/ghc][wip/T17521] Fix lint

[Jaro Reinders (@Noughtmare)]

Jaro Reinders pushed to branch wip/T17521 at Glasgow Haskell Compiler / GHC


Commits:
7b1725e2 by Jaro Reinders at 2023-07-18T11:38:36+02:00
Fix lint

- - - - -


1 changed file:

- compiler/GHC/Core/Lint.hs


Changes:

=====================================
compiler/GHC/Core/Lint.hs
=====================================
@@ -585,7 +585,7 @@ lintLetBind top_lvl rec_flag binder rhs rhs_ty
                || (isNonRec rec_flag && exprOkForSpeculation rhs)
                || isDataConWorkId binder || isDataConWrapId binder -- until #17521 is fixed
                || exprIsTickedString rhs
-               || isTopLevel top_lvl && isBoxedType rhs_ty && isJust (do (Var v, xs) <- pure (collectArgs rhs); pure (isDataConWorkId v && all exprIsTrivial xs)))
+               || isTopLevel top_lvl && isBoxedType rhs_ty && isJust (do (Var v, xs) <- pure (collectArgs rhs); guard (isDataConWorkId v && all exprIsTrivial xs)))
            (badBndrTyMsg binder (text "unlifted"))
 
         -- Check that if the binder is at the top level and has type Addr#,



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/7b1725e2356d92088ebbc3e586dcbe64ae8e83b4

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/7b1725e2356d92088ebbc3e586dcbe64ae8e83b4
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/20230718/4d90fad9/attachment.html>