[Git][ghc/ghc][wip/runRW] Don't look through casts in CoreLint

[Ben Gamari]

Ben Gamari pushed to branch wip/runRW at Glasgow Haskell Compiler / GHC


Commits:
c1f35320 by Ben Gamari at 2020-04-21T15:59:13+00:00
Don't look through casts in CoreLint

- - - - -


1 changed file:

- compiler/GHC/Core/Lint.hs


Changes:

=====================================
compiler/GHC/Core/Lint.hs
=====================================
@@ -710,9 +710,6 @@ lintJoinLams join_arity enforce rhs
   where
     go 0 rhs             = lintCoreExpr rhs
     go n (Lam var expr)  = lintLambda var $ go (n-1) expr
-    go n (Cast expr co)  = do { _ <- go n expr
-                              ; lintCastExpr expr co
-                              }
       -- N.B. join points can be cast. e.g. we consider ((\x -> ...) `cast` ...)
       -- to be a join point at join arity 1.
     go n _other | Just bndr <- enforce -- Join point with too few RHS lambdas



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/c1f35320a1ee3885ff8291cac9dfeefb6b32fb06
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/20200421/69da3cd0/attachment-0001.html>