[Git][ghc/ghc][wip/T25647] add Dix7 for T25647a

[Patrick (@soulomoon)]

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


Commits:
edf3368d by Patrick at 2025-02-06T22:57:21+08:00
add Dix7 for T25647a

- - - - -


1 changed file:

- testsuite/tests/typecheck/should_compile/T25647a.hs


Changes:

=====================================
testsuite/tests/typecheck/should_compile/T25647a.hs
=====================================
@@ -69,4 +69,6 @@ newtype instance Dix5 f = DIn5 (f (Dix5 f))
 -- newtype instance Dix6 f where
 --   DIn6 :: forall ff. ff (Dix6 ff) -> Dix6 ff
 
+data family Dix7 :: (k -> TYPE 'IntRep) -> k
+newtype instance Dix7 f = DIn7 (f (Dix7 f))
 



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/edf3368d8a9aec51111850718e5f3cd6cb033605
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/51a673dc/attachment.html>