diff options
Diffstat (limited to 'testsuite/tests/polykinds')
21 files changed, 91 insertions, 91 deletions
diff --git a/testsuite/tests/polykinds/PolyKinds02.stderr b/testsuite/tests/polykinds/PolyKinds02.stderr index 60e00d5c96..8fd49c8158 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 2796b1a898..1ffdf3910b 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 0d0baca84a..fc1700f31f 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
- (it is defined and used in the same recursive group)
- In the kind `A -> *'
+ +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 -> *’ diff --git a/testsuite/tests/polykinds/PolyKinds07.stderr b/testsuite/tests/polykinds/PolyKinds07.stderr index 29930179ca..761f13aeb5 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
- (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'
+ +PolyKinds07.hs:10:11: + 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’ diff --git a/testsuite/tests/polykinds/T5716.stderr b/testsuite/tests/polykinds/T5716.stderr index 165f32bd7e..f32e604c2c 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 -> *'
+ +T5716.hs:13:11: + ‛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 4b10729cdd..e21d446678 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
- (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'
+ +T5716a.hs:10:27: + 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’ diff --git a/testsuite/tests/polykinds/T6021.stderr b/testsuite/tests/polykinds/T6021.stderr index f164f78ed2..706729113a 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'
- In an instance declaration
+ +T6021.hs:5:10: + 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 7620c3adfb..20b947b861 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 bc034d313a..5fb7f6daa0 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 10db12ef45..9b8d66f202 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
- (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'
+ +T6129.hs:12:11: + 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’ diff --git a/testsuite/tests/polykinds/T7053.stderr b/testsuite/tests/polykinds/T7053.stderr index ab85797890..f5c3efc4f9 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'
+ +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’ diff --git a/testsuite/tests/polykinds/T7151.stderr b/testsuite/tests/polykinds/T7151.stderr index ed98ddc0dd..bdefa666d3 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 -XDataKinds diff --git a/testsuite/tests/polykinds/T7224.stderr b/testsuite/tests/polykinds/T7224.stderr index c1508e9b7d..1ae01218aa 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 3bcccee8f2..34695d0e02 100644 --- a/testsuite/tests/polykinds/T7230.stderr +++ b/testsuite/tests/polykinds/T7230.stderr @@ -10,13 +10,13 @@ T7230.hs:48:32: bound by a pattern with constructor SCons :: forall (k :: BOX) (x :: k) (xs :: [k]). Sing k x -> Sing [k] xs -> Sing [k] ((':) k x xs), - in an equation for `crash' + in an equation for ‛crash’ at T7230.hs:48:8-27 or from (xs1 ~ (':) Nat x1 xs2) bound by a pattern with constructor SCons :: forall (k :: BOX) (x :: k) (xs :: [k]). Sing k x -> Sing [k] xs -> Sing [k] ((':) k 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) @@ -24,5 +24,5 @@ T7230.hs:48:32: x :: Sing Nat x (bound at T7230.hs:48:14) y :: Sing Nat x1 (bound at T7230.hs:48:23) 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 96f8dd7181..a242e5aaf8 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 6151c5ae42..54508c0773 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 da9ae7f707..36ab4eaaf2 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 []'
+ +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 []’ diff --git a/testsuite/tests/polykinds/T7404.stderr b/testsuite/tests/polykinds/T7404.stderr index 561cc24b02..a228e0c1ba 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 8f80b9e679..6cb69630e8 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 -XDataKinds) - 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 8a1af96fe3..aaa4daf019 100644 --- a/testsuite/tests/polykinds/T7438.stderr +++ b/testsuite/tests/polykinds/T7438.stderr @@ -1,20 +1,20 @@ 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 (k :: BOX) (a :: k). Thrist k 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 k 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 k t2 t3 -> t -> t1 at T7438.hs:6:1 Relevant bindings include go :: Thrist k t2 t3 -> t -> t1 (bound at T7438.hs:6:1) acc :: t (bound at T7438.hs:6:8) 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/T7594.stderr b/testsuite/tests/polykinds/T7594.stderr index 85a927decd..c813a65e8c 100644 --- a/testsuite/tests/polykinds/T7594.stderr +++ b/testsuite/tests/polykinds/T7594.stderr @@ -1,16 +1,16 @@ T7594.hs:25:11: - Couldn't match type `b' with `IO ()' - `b' is untouchable + Couldn't match type ‛b’ with ‛IO ()’ + ‛b’ is untouchable inside the constraints ((:&:) Show Real a) bound by a type expected by the context: (:&:) Show Real a => a -> b at T7594.hs:25:7-17 - `b' is a rigid type variable bound by + ‛b’ is a rigid type variable bound by the inferred type of bar :: b at T7594.hs:25:1 Expected type: a -> b Actual type: a -> IO () Relevant bindings include bar :: b (bound at T7594.hs:25:1) - In the first argument of `app', namely `print' + In the first argument of ‛app’, namely ‛print’ In the expression: app print q - In an equation for `bar': bar = app print q + In an equation for ‛bar’: bar = app print q |