[Git][ghc/ghc][wip/T25647] Fix up T25611d with explicit kind annotation

[Patrick (@soulomoon)]

Patrick pushed to branch wip/T25647 at Glasgow Haskell Compiler / GHC


Commits:
123d8d42 by Patrick at 2025-02-06T20:27:57+08:00
Fix up T25611d with explicit kind annotation

- - - - -


1 changed file:

- testsuite/tests/indexed-types/should_compile/T25611d.hs


Changes:

=====================================
testsuite/tests/indexed-types/should_compile/T25611d.hs
=====================================
@@ -20,7 +20,7 @@ data instance T p q where
       MkkV :: forall l. l Int# -> T l Int#
 
 type N :: TYPE r -> TYPE r
-newtype N a = MkN a
+newtype N (a::TYPE r) = MkN a
 
 f :: Int# -> N Int#
 f x = MkN x
@@ -29,7 +29,7 @@ g :: Int -> N Int
 g x = MkN x
 
 data family D :: Type -> k -> k
-newtype instance D Int a = MkD a
+newtype instance D Int (a::TYPE r) = MkD a
 
 f1 :: Int# -> D Int Int#
 f1 x = MkD x



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/123d8d429aa6d16dc670adfef6d4011beca26fa2
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/20250206/17f1cd89/attachment-0001.html>