[Git][ghc/ghc][wip/torsten.schmits/16468] mult and fun

[Torsten Schmits (@torsten.schmits)]

Torsten Schmits pushed to branch wip/torsten.schmits/16468 at Glasgow Haskell Compiler / GHC


Commits:
726552f5 by Krzysztof Gogolewski at 2023-06-26T18:11:24+00:00
mult and fun
- - - - -


1 changed file:

- compiler/GHC/Iface/Type.hs


Changes:

=====================================
compiler/GHC/Iface/Type.hs
=====================================
@@ -1165,10 +1165,10 @@ defaultIfaceTyVarsOfKind def_rep def_mult ty = go emptyFsEnv True ty
       = IfaceTupleTy sort is_prom (go_args subs False tc_args)
 
     go subs rank1 (IfaceFunTy af w arg res)
-      = IfaceFunTy af (go subs rank1 w) (go subs False arg) (go subs rank1 res)
+      = IfaceFunTy af (go subs False w) (go subs False arg) (go subs rank1 res)
 
     go subs rank1 (IfaceAppTy t ts)
-      = IfaceAppTy (go subs rank1 t) (go_args subs False ts)
+      = IfaceAppTy (go subs False t) (go_args subs False ts)
 
     go subs rank1 (IfaceCastTy x co)
       = IfaceCastTy (go subs rank1 x) co



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/726552f54c349126ed0cc2fe79a8f543a01ac198
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/20230626/28e716e1/attachment.html>