From 7737c8ef1ae0b12270e9d147285f841cb6a1d153 Mon Sep 17 00:00:00 2001
From: Patrick <fwy996602672@gmail.com>
Date: Sat, 4 Jan 2025 12:05:19 +0800
Subject: [PATCH] add test case for T25611
---
testsuite/tests/indexed-types/should_compile/T25611.hs | 9 +++++++++
testsuite/tests/indexed-types/should_compile/all.T | 1 +
2 files changed, 10 insertions(+)
create mode 100644 testsuite/tests/indexed-types/should_compile/T25611.hs
diff --git a/testsuite/tests/indexed-types/should_compile/T25611.hs b/testsuite/tests/indexed-types/should_compile/T25611.hs
new file mode 100644
index 000000000000..ed50ea26602b
--- /dev/null
+++ b/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) }
diff --git a/testsuite/tests/indexed-types/should_compile/all.T b/testsuite/tests/indexed-types/should_compile/all.T
index dcf20a247bf3..310342c0272b 100644
--- a/testsuite/tests/indexed-types/should_compile/all.T
+++ b/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, [''])
--
GitLab