diff options
Diffstat (limited to 'testsuite/tests/polykinds/T9200.hs')
| -rw-r--r-- | testsuite/tests/polykinds/T9200.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/testsuite/tests/polykinds/T9200.hs b/testsuite/tests/polykinds/T9200.hs index 740536a516..63c934c91b 100644 --- a/testsuite/tests/polykinds/T9200.hs +++ b/testsuite/tests/polykinds/T9200.hs @@ -2,6 +2,8 @@ TypeFamilies #-} module T9200 where + +import Data.Kind (Type) import Data.Proxy ------ @@ -18,7 +20,7 @@ class C () a => D a data T1 a b c = MkT1 (S True b c) data T2 p q r = MkT2 (S p 5 r) data T3 x y q = MkT3 (S x y '()) -type S (f :: k1) (g :: k2) (h :: k3) = ((T1 f g h, T2 f g h, T3 f g h) :: *) +type S (f :: k1) (g :: k2) (h :: k3) = ((T1 f g h, T2 f g h, T3 f g h) :: Type) ---------- |