diff options
Diffstat (limited to 'testsuite/tests/polykinds')
26 files changed, 84 insertions, 84 deletions
diff --git a/testsuite/tests/polykinds/PolyKinds02.stderr b/testsuite/tests/polykinds/PolyKinds02.stderr index 8fd49c8158..ab646d81c7 100644 --- a/testsuite/tests/polykinds/PolyKinds02.stderr +++ b/testsuite/tests/polykinds/PolyKinds02.stderr @@ -1,5 +1,5 @@ PolyKinds02.hs:13:16: - The second argument of ‛Vec’ should have kind ‛Nat’, - but ‛Nat’ has kind ‛*’ - In the type signature for ‛vec’: vec :: Vec Nat Nat + The second argument of ‘Vec’ should have kind ‘Nat’, + but ‘Nat’ has kind ‘*’ + In the type signature for ‘vec’: vec :: Vec Nat Nat diff --git a/testsuite/tests/polykinds/PolyKinds04.stderr b/testsuite/tests/polykinds/PolyKinds04.stderr index 1ffdf3910b..eaa4c07909 100644 --- a/testsuite/tests/polykinds/PolyKinds04.stderr +++ b/testsuite/tests/polykinds/PolyKinds04.stderr @@ -1,8 +1,8 @@ PolyKinds04.hs:5:16: - Expecting one more argument to ‛Maybe’ - The first argument of ‛A’ should have kind ‛*’, - but ‛Maybe’ has kind ‛* -> *’ - In the type ‛A Maybe’ - In the definition of data constructor ‛B1’ - In the data declaration for ‛B’ + Expecting one more argument to ‘Maybe’ + The first argument of ‘A’ should have kind ‘*’, + but ‘Maybe’ has kind ‘* -> *’ + In the type ‘A Maybe’ + In the definition of data constructor ‘B1’ + In the data declaration for ‘B’ diff --git a/testsuite/tests/polykinds/PolyKinds06.stderr b/testsuite/tests/polykinds/PolyKinds06.stderr index fc1700f31f..d6fa854c8f 100644 --- a/testsuite/tests/polykinds/PolyKinds06.stderr +++ b/testsuite/tests/polykinds/PolyKinds06.stderr @@ -1,5 +1,5 @@ PolyKinds06.hs:9:11: - Type constructor ‛A’ cannot be used here + Type constructor ‘A’ cannot be used here (it is defined and used in the same recursive group) - In the kind ‛A -> *’ + In the kind ‘A -> *’ diff --git a/testsuite/tests/polykinds/PolyKinds07.stderr b/testsuite/tests/polykinds/PolyKinds07.stderr index 761f13aeb5..6b1d6c137d 100644 --- a/testsuite/tests/polykinds/PolyKinds07.stderr +++ b/testsuite/tests/polykinds/PolyKinds07.stderr @@ -1,7 +1,7 @@ PolyKinds07.hs:10:11: - Data constructor ‛A1’ cannot be used here + Data constructor ‘A1’ cannot be used here (it is defined and used in the same recursive group) - In the type ‛B A1’ - In the definition of data constructor ‛B1’ - In the data declaration for ‛B’ + In the type ‘B A1’ + In the definition of data constructor ‘B1’ + In the data declaration for ‘B’ diff --git a/testsuite/tests/polykinds/T5716.stderr b/testsuite/tests/polykinds/T5716.stderr index f32e604c2c..227a6b88c6 100644 --- a/testsuite/tests/polykinds/T5716.stderr +++ b/testsuite/tests/polykinds/T5716.stderr @@ -1,4 +1,4 @@ T5716.hs:13:11: - ‛U’ of kind ‛*’ is not promotable - In the kind ‛U -> *’ + ‘U’ of kind ‘*’ is not promotable + In the kind ‘U -> *’ diff --git a/testsuite/tests/polykinds/T5716a.stderr b/testsuite/tests/polykinds/T5716a.stderr index e21d446678..5cee2edc2e 100644 --- a/testsuite/tests/polykinds/T5716a.stderr +++ b/testsuite/tests/polykinds/T5716a.stderr @@ -1,7 +1,7 @@ T5716a.hs:10:27: - Data constructor ‛Bar’ cannot be used here + Data constructor ‘Bar’ cannot be used here (it comes from a data family instance) - In the type ‛Bar a’ - In the definition of data constructor ‛Bar’ - In the data instance declaration for ‛DF’ + In the type ‘Bar a’ + In the definition of data constructor ‘Bar’ + In the data instance declaration for ‘DF’ diff --git a/testsuite/tests/polykinds/T6021.stderr b/testsuite/tests/polykinds/T6021.stderr index 706729113a..ea3b9e3427 100644 --- a/testsuite/tests/polykinds/T6021.stderr +++ b/testsuite/tests/polykinds/T6021.stderr @@ -1,4 +1,4 @@ T6021.hs:5:10: - Kind variable also used as type variable: ‛b’ + Kind variable also used as type variable: ‘b’ In an instance declaration diff --git a/testsuite/tests/polykinds/T6039.stderr b/testsuite/tests/polykinds/T6039.stderr index 20b947b861..def904ea33 100644 --- a/testsuite/tests/polykinds/T6039.stderr +++ b/testsuite/tests/polykinds/T6039.stderr @@ -1,4 +1,4 @@ T6039.hs:5:14: - Kind variable ‛j’ cannot appear in a function position - In the kind ‛j k’ + Kind variable ‘j’ cannot appear in a function position + In the kind ‘j k’ diff --git a/testsuite/tests/polykinds/T6054.stderr b/testsuite/tests/polykinds/T6054.stderr index c05dcd5935..645db8912f 100644 --- a/testsuite/tests/polykinds/T6054.stderr +++ b/testsuite/tests/polykinds/T6054.stderr @@ -2,8 +2,8 @@ T6054.hs:7:14:
No instance for (Bar '() a0)
arising from an expression type signature
- In the first argument of ‛print’, namely
- ‛(Proxy :: Bar () a => Proxy a)’
+ In the first argument of ‘print’, namely
+ ‘(Proxy :: Bar () a => Proxy a)’
In the expression: print (Proxy :: Bar () a => Proxy a)
- In an equation for ‛foo’:
+ In an equation for ‘foo’:
foo = print (Proxy :: Bar () a => Proxy a)
diff --git a/testsuite/tests/polykinds/T6129.stderr b/testsuite/tests/polykinds/T6129.stderr index 9b8d66f202..36b749680b 100644 --- a/testsuite/tests/polykinds/T6129.stderr +++ b/testsuite/tests/polykinds/T6129.stderr @@ -1,7 +1,7 @@ T6129.hs:12:11: - Data constructor ‛DInt’ cannot be used here + Data constructor ‘DInt’ cannot be used here (it comes from a data family instance) - In the type ‛X DInt’ - In the definition of data constructor ‛X1’ - In the data declaration for ‛X’ + In the type ‘X DInt’ + In the definition of data constructor ‘X1’ + In the data declaration for ‘X’ diff --git a/testsuite/tests/polykinds/T7053.stderr b/testsuite/tests/polykinds/T7053.stderr index f5c3efc4f9..c9ebcfe7b2 100644 --- a/testsuite/tests/polykinds/T7053.stderr +++ b/testsuite/tests/polykinds/T7053.stderr @@ -1,8 +1,8 @@ T7053.hs:6:52: Kind occurs check - The first argument of ‛a’ should have kind ‛k0’, - but ‛b’ has kind ‛k0 -> k1’ - In the type ‛TypeRep (a b)’ - In the definition of data constructor ‛TyApp’ - In the data declaration for ‛TypeRep’ + The first argument of ‘a’ should have kind ‘k0’, + but ‘b’ has kind ‘k0 -> k1’ + In the type ‘TypeRep (a b)’ + In the definition of data constructor ‘TyApp’ + In the data declaration for ‘TypeRep’ diff --git a/testsuite/tests/polykinds/T7151.stderr b/testsuite/tests/polykinds/T7151.stderr index 61949db94f..00fed221c1 100644 --- a/testsuite/tests/polykinds/T7151.stderr +++ b/testsuite/tests/polykinds/T7151.stderr @@ -1,4 +1,4 @@ T7151.hs:3:12: - Illegal type: ‛'[Int, String]’ + Illegal type: ‘'[Int, String]’ Perhaps you intended to use DataKinds diff --git a/testsuite/tests/polykinds/T7224.stderr b/testsuite/tests/polykinds/T7224.stderr index 1ae01218aa..90ebc0f3ec 100644 --- a/testsuite/tests/polykinds/T7224.stderr +++ b/testsuite/tests/polykinds/T7224.stderr @@ -1,5 +1,5 @@ T7224.hs:6:19: - Kind variable ‛i’ used as a type - In the type ‛a -> m i i a’ - In the class declaration for ‛PMonad'’ + Kind variable ‘i’ used as a type + In the type ‘a -> m i i a’ + In the class declaration for ‘PMonad'’ diff --git a/testsuite/tests/polykinds/T7230.stderr b/testsuite/tests/polykinds/T7230.stderr index ab9037da03..7e1a7ab88f 100644 --- a/testsuite/tests/polykinds/T7230.stderr +++ b/testsuite/tests/polykinds/T7230.stderr @@ -9,13 +9,13 @@ T7230.hs:48:32: bound by a pattern with constructor SCons :: forall (x :: k) (xs :: [k]). Sing x -> Sing xs -> Sing (x : xs), - in an equation for ‛crash’ + in an equation for ‘crash’ at T7230.hs:48:8-27 or from (xs1 ~ (x1 : xs2)) bound by a pattern with constructor SCons :: forall (x :: k) (xs :: [k]). Sing x -> Sing xs -> Sing (x : xs), - in an equation for ‛crash’ + in an equation for ‘crash’ at T7230.hs:48:17-26 Expected type: SBool (Increasing xs) Actual type: SBool (x :<<= x1) @@ -23,5 +23,5 @@ T7230.hs:48:32: y :: Sing x1 (bound at T7230.hs:48:23) x :: Sing x (bound at T7230.hs:48:14) In the expression: x %:<<= y - In an equation for ‛crash’: + In an equation for ‘crash’: crash (SCons x (SCons y xs)) = x %:<<= y diff --git a/testsuite/tests/polykinds/T7278.stderr b/testsuite/tests/polykinds/T7278.stderr index a242e5aaf8..f24f9b2aad 100644 --- a/testsuite/tests/polykinds/T7278.stderr +++ b/testsuite/tests/polykinds/T7278.stderr @@ -1,5 +1,5 @@ T7278.hs:8:43: - ‛t’ is applied to too many type arguments - In the type signature for ‛f’: + ‘t’ is applied to too many type arguments + In the type signature for ‘f’: f :: C (t :: k) (TF t) => TF t p1 p0 -> t p1 p0 diff --git a/testsuite/tests/polykinds/T7328.stderr b/testsuite/tests/polykinds/T7328.stderr index 54508c0773..7fcd8edf90 100644 --- a/testsuite/tests/polykinds/T7328.stderr +++ b/testsuite/tests/polykinds/T7328.stderr @@ -1,7 +1,7 @@ T7328.hs:8:34: Kind occurs check - The first argument of ‛Foo’ should have kind ‛k0’, - but ‛f’ has kind ‛k1 -> k0’ - In the type ‛a ~ f i => Proxy (Foo f)’ - In the class declaration for ‛Foo’ + The first argument of ‘Foo’ should have kind ‘k0’, + but ‘f’ has kind ‘k1 -> k0’ + In the type ‘a ~ f i => Proxy (Foo f)’ + In the class declaration for ‘Foo’ diff --git a/testsuite/tests/polykinds/T7341.stderr b/testsuite/tests/polykinds/T7341.stderr index 36ab4eaaf2..c5dd260660 100644 --- a/testsuite/tests/polykinds/T7341.stderr +++ b/testsuite/tests/polykinds/T7341.stderr @@ -1,6 +1,6 @@ T7341.hs:11:12: - Expecting one more argument to ‛[]’ - The first argument of ‛C’ should have kind ‛*’, - but ‛[]’ has kind ‛* -> *’ - In the instance declaration for ‛C []’ + Expecting one more argument to ‘[]’ + The first argument of ‘C’ should have kind ‘*’, + but ‘[]’ has kind ‘* -> *’ + In the instance declaration for ‘C []’ diff --git a/testsuite/tests/polykinds/T7404.stderr b/testsuite/tests/polykinds/T7404.stderr index a228e0c1ba..d9d4288c56 100644 --- a/testsuite/tests/polykinds/T7404.stderr +++ b/testsuite/tests/polykinds/T7404.stderr @@ -1,4 +1,4 @@ T7404.hs:4:1: - Kind variable also used as type variable: ‛x’ - In the declaration for type family ‛Foo’ + Kind variable also used as type variable: ‘x’ + In the declaration for type family ‘Foo’ diff --git a/testsuite/tests/polykinds/T7433.stderr b/testsuite/tests/polykinds/T7433.stderr index 97ba56e195..d3f57a9ee7 100644 --- a/testsuite/tests/polykinds/T7433.stderr +++ b/testsuite/tests/polykinds/T7433.stderr @@ -1,6 +1,6 @@ T7433.hs:2:10: - Data constructor ‛Z’ cannot be used here + Data constructor ‘Z’ cannot be used here (Perhaps you intended to use DataKinds) - In the type ‛Z’ - In the type declaration for ‛T’ + In the type ‘Z’ + In the type declaration for ‘T’ diff --git a/testsuite/tests/polykinds/T7438.stderr b/testsuite/tests/polykinds/T7438.stderr index 3f8ba8981e..92e01e7479 100644 --- a/testsuite/tests/polykinds/T7438.stderr +++ b/testsuite/tests/polykinds/T7438.stderr @@ -1,18 +1,18 @@ T7438.hs:6:14:
- Couldn't match expected type ‛t1’ with actual type ‛t’
- ‛t’ is untouchable
+ Couldn't match expected type ‘t1’ with actual type ‘t’
+ ‘t’ is untouchable
inside the constraints (t2 ~ t3)
bound by a pattern with constructor
Nil :: forall (a :: k). Thrist a a,
- in an equation for ‛go’
+ in an equation for ‘go’
at T7438.hs:6:4-6
- ‛t’ is a rigid type variable bound by
+ ‘t’ is a rigid type variable bound by
the inferred type of go :: Thrist t2 t3 -> t -> t1 at T7438.hs:6:1
- ‛t1’ is a rigid type variable bound by
+ ‘t1’ is a rigid type variable bound by
the inferred type of go :: Thrist t2 t3 -> t -> t1 at T7438.hs:6:1
Relevant bindings include
acc :: t (bound at T7438.hs:6:8)
go :: Thrist t2 t3 -> t -> t1 (bound at T7438.hs:6:1)
In the expression: acc
- In an equation for ‛go’: go Nil acc = acc
+ In an equation for ‘go’: go Nil acc = acc
diff --git a/testsuite/tests/polykinds/T7481.stderr b/testsuite/tests/polykinds/T7481.stderr index bd2d679c3c..cca905d5e5 100644 --- a/testsuite/tests/polykinds/T7481.stderr +++ b/testsuite/tests/polykinds/T7481.stderr @@ -1,4 +1,4 @@ T7481.hs:12:13: - ‛D’ of kind ‛* -> *’ is not promotable - In the kind ‛D * -> *’ + ‘D’ of kind ‘* -> *’ is not promotable + In the kind ‘D * -> *’ diff --git a/testsuite/tests/polykinds/T7594.stderr b/testsuite/tests/polykinds/T7594.stderr index 08bc36e02b..a01b24d7aa 100644 --- a/testsuite/tests/polykinds/T7594.stderr +++ b/testsuite/tests/polykinds/T7594.stderr @@ -1,14 +1,14 @@ T7594.hs:33:12: - Couldn't match type ‛b’ with ‛IO ()’ - ‛b’ is untouchable + Couldn't match type ‘b’ with ‘IO ()’ + ‘b’ is untouchable inside the constraints ((:&:) c0 Real a) bound by a type expected by the context: (:&:) c0 Real a => a -> b at T7594.hs:33:8-19 - ‛b’ is a rigid type variable bound by + ‘b’ is a rigid type variable bound by the inferred type of bar2 :: b at T7594.hs:33:1 Expected type: a -> b Actual type: a -> IO () Relevant bindings include bar2 :: b (bound at T7594.hs:33:1) - In the first argument of ‛app’, namely ‛print’ + In the first argument of ‘app’, namely ‘print’ In the expression: app print q2 diff --git a/testsuite/tests/polykinds/T7805.stderr b/testsuite/tests/polykinds/T7805.stderr index db9761a770..bdf0f21b14 100644 --- a/testsuite/tests/polykinds/T7805.stderr +++ b/testsuite/tests/polykinds/T7805.stderr @@ -1,4 +1,4 @@ T7805.hs:6:21: - ‛HigherRank’ of kind ‛*’ is not promotable - In the kind ‛HigherRank’ + ‘HigherRank’ of kind ‘*’ is not promotable + In the kind ‘HigherRank’ diff --git a/testsuite/tests/polykinds/T7939a.stderr b/testsuite/tests/polykinds/T7939a.stderr index 7485eb019f..09b818a5b5 100644 --- a/testsuite/tests/polykinds/T7939a.stderr +++ b/testsuite/tests/polykinds/T7939a.stderr @@ -1,7 +1,7 @@ T7939a.hs:7:5: - Expecting one more argument to ‛Maybe’ - The first argument of ‛F’ should have kind ‛*’, - but ‛Maybe’ has kind ‛* -> *’ - In the type ‛Maybe’ - In the family declaration for ‛F’ + Expecting one more argument to ‘Maybe’ + The first argument of ‘F’ should have kind ‘*’, + but ‘Maybe’ has kind ‘* -> *’ + In the type ‘Maybe’ + In the family declaration for ‘F’ diff --git a/testsuite/tests/polykinds/T8566.stderr b/testsuite/tests/polykinds/T8566.stderr index 639f72be57..4638fd8c4d 100644 --- a/testsuite/tests/polykinds/T8566.stderr +++ b/testsuite/tests/polykinds/T8566.stderr @@ -1,18 +1,18 @@ T8566.hs:31:9: Could not deduce (C ('AA (t (I a ps)) as) ps fs0) - arising from a use of ‛c’ + arising from a use of ‘c’ from the context (C ('AA (t (I a ps)) as) ps fs) bound by the instance declaration at T8566.hs:29:10-67 or from ('AA t (a : as) ~ 'AA t1 as1) bound by a pattern with constructor A :: forall (r :: [*]) (t :: k) (as :: [U *]). I ('AA t as) r, - in an equation for ‛c’ + in an equation for ‘c’ at T8566.hs:31:5 - The type variable ‛fs0’ is ambiguous + The type variable ‘fs0’ is ambiguous Relevant bindings include c :: I ('AA t (a : as)) ps -> I ('AA t (a : as)) ps (bound at T8566.hs:31:3) In the expression: c undefined - In an equation for ‛c’: c A = c undefined - In the instance declaration for ‛C ('AA t (a : as)) ps fs’ + In an equation for ‘c’: c A = c undefined + In the instance declaration for ‘C ('AA t (a : as)) ps fs’ diff --git a/testsuite/tests/polykinds/T8616.stderr b/testsuite/tests/polykinds/T8616.stderr index 4e1b9ec371..5c8449826d 100644 --- a/testsuite/tests/polykinds/T8616.stderr +++ b/testsuite/tests/polykinds/T8616.stderr @@ -1,7 +1,7 @@ T8616.hs:8:29: - Expected a type, but ‛Any’ has kind ‛k’ + Expected a type, but ‘Any’ has kind ‘k’ In an expression type signature: (Any :: k) In the expression: undefined :: (Any :: k) - In an equation for ‛withSomeSing’: + In an equation for ‘withSomeSing’: withSomeSing = undefined :: (Any :: k) |