[Git][ghc/ghc][wip/forall-vis-coercions] Wibble

[Simon Peyton Jones (@simonpj)]

Simon Peyton Jones pushed to branch wip/forall-vis-coercions at Glasgow Haskell Compiler / GHC


Commits:
f9541e0a by Simon Peyton Jones at 2023-07-11T09:50:33+01:00
Wibble

- - - - -


1 changed file:

- compiler/GHC/Core/Coercion/Opt.hs


Changes:

=====================================
compiler/GHC/Core/Coercion/Opt.hs
=====================================
@@ -290,7 +290,8 @@ opt_co4 env sym rep r (AppCo co1 co2)
   = mkAppCo (opt_co4_wrap env sym rep r co1)
             (opt_co4_wrap env sym False Nominal co2)
 
-opt_co4 env sym rep r (ForAllCo tv visL visR k_co co)
+opt_co4 env sym rep r (ForAllCo { fco_tcv = tv, fco_visL = visL, fco_visR = visR
+                                , fco_kind = k_co, fco_body = co })
   = case optForAllCoBndr env sym tv k_co of
       (env', tv', k_co') -> mkForAllCo tv' visL' visR' k_co' $
                             opt_co4_wrap env' sym rep r co



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/f9541e0a363de6ca0200991e7ee1d1c7d8415924
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/20230711/81f33649/attachment.html>