[Git][ghc/ghc][wip/soulomoon/suggest-UnliftedNewtypes-unlifted-data-family-25593] add test case for T25611

[Patrick (@soulomoon)]

Patrick pushed to branch wip/soulomoon/suggest-UnliftedNewtypes-unlifted-data-family-25593 at Glasgow Haskell Compiler / GHC


Commits:
7737c8ef by Patrick at 2025-01-04T12:05:19+08:00
add test case for T25611

- - - - -


2 changed files:

- + testsuite/tests/indexed-types/should_compile/T25611.hs
- testsuite/tests/indexed-types/should_compile/all.T


Changes:

=====================================
testsuite/tests/indexed-types/should_compile/T25611.hs
=====================================
@@ -0,0 +1,9 @@
+{-# language DataKinds, PolyKinds, GADTs, TypeFamilies, RankNTypes,
+             TypeOperators, ConstraintKinds, UnliftedNewtypes #-}
+
+module T25611 where
+
+import Data.Kind
+
+data family Fix :: (k -> Type) -> k
+newtype instance Fix f = In { out :: f (Fix f) }


=====================================
testsuite/tests/indexed-types/should_compile/all.T
=====================================
@@ -310,3 +310,4 @@ test('T22717', normal, makefile_test, ['T22717'])
 test('T22717_fam_orph', normal, multimod_compile, ['T22717_fam_orph', '-v0'])
 test('T23408', normal, compile, [''])
 test('T24134', normal, compile, [''])
+test('T25611', normal, compile, [''])



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

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/7737c8ef1ae0b12270e9d147285f841cb6a1d153
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/20250103/22f5e803/attachment-0001.html>