[Git][ghc/ghc][wip/int-index/decl-invis-binders] Fix typo

[Vladislav Zavialov (@int-index)]

Vladislav Zavialov pushed to branch wip/int-index/decl-invis-binders at Glasgow Haskell Compiler / GHC


Commits:
9cc8cf7d by Vladislav Zavialov at 2023-02-03T13:50:59+03:00
Fix typo

- - - - -


1 changed file:

- compiler/GHC/Tc/TyCl.hs


Changes:

=====================================
compiler/GHC/Tc/TyCl.hs
=====================================
@@ -542,7 +542,7 @@ But notice that (#16344 comment:3)
   Starting with inferInitialKinds:
     MonoTcTyCon binders:
       ka[tyv] :: (kappa1[tau] :: Type)
-      ia[tyv] :: (ka[tyv]     :: Type)
+       a[tyv] :: (ka[tyv]     :: Type)
     MonoTcTyCon kind:
       T2 :: kappa1[tau] -> ka[tyv] -> Type
     From (ka :: kappa1) and (ka :: Type) we learned that



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/9cc8cf7dcf92dd0ec65b2b4116c9bc9416fc6c29
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/20230203/fdc1f714/attachment.html>