diff options
Diffstat (limited to 'testsuite/tests/polykinds')
-rw-r--r-- | testsuite/tests/polykinds/PolyKinds06.stderr | 9 | ||||
-rw-r--r-- | testsuite/tests/polykinds/T13625.stderr | 1 | ||||
-rw-r--r-- | testsuite/tests/polykinds/T14846.stderr | 18 | ||||
-rw-r--r-- | testsuite/tests/polykinds/T15592.hs | 2 | ||||
-rw-r--r-- | testsuite/tests/polykinds/T7524.stderr | 2 |
5 files changed, 17 insertions, 15 deletions
diff --git a/testsuite/tests/polykinds/PolyKinds06.stderr b/testsuite/tests/polykinds/PolyKinds06.stderr index d6fa854c8f..e5c9daa8c3 100644 --- a/testsuite/tests/polykinds/PolyKinds06.stderr +++ b/testsuite/tests/polykinds/PolyKinds06.stderr @@ -1,5 +1,6 @@ -PolyKinds06.hs:9:11: - Type constructor ‘A’ cannot be used here - (it is defined and used in the same recursive group) - In the kind ‘A -> *’ +PolyKinds06.hs:9:11: error: + • Type constructor ‘A’ cannot be used here + (it is defined and used in the same recursive group) + • In the kind ‘A -> *’ + In the data type declaration for ‘B’ diff --git a/testsuite/tests/polykinds/T13625.stderr b/testsuite/tests/polykinds/T13625.stderr index 4e0d4b68d6..98208fcde3 100644 --- a/testsuite/tests/polykinds/T13625.stderr +++ b/testsuite/tests/polykinds/T13625.stderr @@ -3,3 +3,4 @@ T13625.hs:5:11: error: • Data constructor ‘Y’ cannot be used here (it is defined and used in the same recursive group) • In the kind ‘Y’ + In the data type declaration for ‘X’ diff --git a/testsuite/tests/polykinds/T14846.stderr b/testsuite/tests/polykinds/T14846.stderr index 1d852031d9..062dc49e1f 100644 --- a/testsuite/tests/polykinds/T14846.stderr +++ b/testsuite/tests/polykinds/T14846.stderr @@ -3,8 +3,8 @@ T14846.hs:38:8: error: • Couldn't match type ‘ríki’ with ‘Hom riki’ ‘ríki’ is a rigid type variable bound by the type signature for: - i :: forall k5 (cls2 :: k5 - -> Constraint) k6 (xx :: k6) (a :: Struct cls2) (ríki :: Struct + i :: forall k5 k6 (cls2 :: k6 + -> Constraint) (xx :: k5) (a :: Struct cls2) (ríki :: Struct cls2 -> Struct cls2 @@ -16,12 +16,12 @@ T14846.hs:38:8: error: Actual type: Hom riki a a • When checking that instance signature for ‘i’ is more general than its signature in the class - Instance sig: forall k1 (cls :: k1 - -> Constraint) k2 (xx :: k2) (a :: Struct cls). + Instance sig: forall k1 k2 (cls :: k2 + -> Constraint) (xx :: k1) (a :: Struct cls). StructI xx a => Hom riki a a - Class sig: forall k1 (cls :: k1 - -> Constraint) k2 (xx :: k2) (a :: Struct + Class sig: forall k1 k2 (cls :: k2 + -> Constraint) (xx :: k1) (a :: Struct cls) (ríki :: Struct cls -> Struct @@ -32,12 +32,12 @@ T14846.hs:38:8: error: In the instance declaration for ‘Category (Hom riki)’ T14846.hs:39:31: error: - • Couldn't match kind ‘k4’ with ‘Struct cls2’ - ‘k4’ is a rigid type variable bound by + • Couldn't match kind ‘k3’ with ‘Struct cls2’ + ‘k3’ is a rigid type variable bound by the instance declaration at T14846.hs:37:10-65 When matching kinds - cls1 :: k4 -> Constraint + cls1 :: k3 -> Constraint cls0 :: Struct cls -> Constraint Expected kind ‘Struct cls0’, but ‘Structured a cls’ has kind ‘Struct cls1’ diff --git a/testsuite/tests/polykinds/T15592.hs b/testsuite/tests/polykinds/T15592.hs index 7e81c42565..e351c82bf5 100644 --- a/testsuite/tests/polykinds/T15592.hs +++ b/testsuite/tests/polykinds/T15592.hs @@ -1,4 +1,4 @@ -{-# LANGUAGE TypeInType #-} +{-# LANGUAGE PolyKinds, TypeFamilies #-} {-# OPTIONS_GHC -ddump-types -fprint-explicit-foralls #-} module T15592 where diff --git a/testsuite/tests/polykinds/T7524.stderr b/testsuite/tests/polykinds/T7524.stderr index 2340ce1aa6..26cfe39e8a 100644 --- a/testsuite/tests/polykinds/T7524.stderr +++ b/testsuite/tests/polykinds/T7524.stderr @@ -2,5 +2,5 @@ T7524.hs:5:15: error: Conflicting family instance declarations: forall k2 (a :: k2). F a a = Int -- Defined at T7524.hs:5:15 - forall k2 k1 (a :: k1) (b :: k2). + forall k1 k2 (a :: k1) (b :: k2). F a b = Bool -- Defined at T7524.hs:6:15 |