[Git][ghc/ghc][wip/T23923-mikolaj-take-2] Try preserving the original laziness

[Mikolaj Konarski (@Mikolaj)]

Mikolaj Konarski pushed to branch wip/T23923-mikolaj-take-2 at Glasgow Haskell Compiler / GHC


Commits:
4806677c by Mikolaj Konarski at 2024-03-06T22:20:07+01:00
Try preserving the original laziness

- - - - -


1 changed file:

- compiler/GHC/Core/TyCo/Tidy.hs


Changes:

=====================================
compiler/GHC/Core/TyCo/Tidy.hs
=====================================
@@ -235,7 +235,7 @@ tidyCo env@(_, subst) co
             -- the case above duplicates a bit of work in tidying h and the kind
             -- of tv. But the alternative is to use coercionKind, which seems worse.
     go (FunCo r afl afr w co1 co2) = ((FunCo r afl afr $! go w) $! go co1) $! go co2
-    go (CoVarCo cv)          = CoVarCo $! go_cv cv
+    go (CoVarCo cv)          = CoVarCo $ go_cv cv
     go (HoleCo h)            = HoleCo h
     go (AxiomInstCo con ind cos) = AxiomInstCo con ind $! strictMap go cos
     go (UnivCo p r t1 t2)    = (((UnivCo $! (go_prov p)) $! r) $!



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/4806677c9b8bad999093e94b07ae10f8a3d8e5ff
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/20240306/42734b23/attachment.html>