[Git][ghc/ghc][wip/soulomoon/25647-allow-newtype-instance-in-gadt-syntax] update T25611a

[Patrick (@soulomoon)]

Patrick pushed to branch wip/soulomoon/25647-allow-newtype-instance-in-gadt-syntax at Glasgow Haskell Compiler / GHC


Commits:
c20734e6 by Patrick at 2025-01-17T19:16:21+08:00
update T25611a

- - - - -


1 changed file:

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


Changes:

=====================================
testsuite/tests/indexed-types/should_compile/T25611a.hs
=====================================
@@ -12,6 +12,6 @@ data family Fix0 :: (k -> Type) -> k
 newtype instance Fix0 f = In0 { out0 :: f (Fix0 f) }
 
 -- This is the GADT newtype instance case
--- currently not enabled since !9116 (closed) impose `A newtype must not be a GADT`
--- data family Fix2 :: (k -> Type) -> k
--- newtype instance Fix2 f where In2 :: f (Fix2 f) -> Fix2 f
+-- enabled since !13809
+data family Fix2 :: (k -> Type) -> k
+newtype instance Fix2 f where In2 :: f (Fix2 f) -> Fix2 f



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/c20734e6dbeda89d7ed3337be3764fdbbce3c9f3
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/20250117/d0fa7db7/attachment-0001.html>