diff options
8 files changed, 81 insertions, 81 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T3330c.stderr b/testsuite/tests/indexed-types/should_fail/T3330c.stderr index 3d387b5bc7..52d6afe3e7 100644 --- a/testsuite/tests/indexed-types/should_fail/T3330c.stderr +++ b/testsuite/tests/indexed-types/should_fail/T3330c.stderr @@ -1,11 +1,11 @@ -
-T3330c.hs:23:43:
- Couldn't match kind ‛* -> *’ with ‛*’
- When matching types
- R :: (* -> *) -> *
- Der ((->) x) :: * -> *
- Expected type: Der ((->) x) (f1 x)
- Actual type: R f1
- In the first argument of ‛plug’, namely ‛rf’
- In the first argument of ‛Inl’, namely ‛(plug rf df x)’
- In the expression: Inl (plug rf df x)
+ +T3330c.hs:23:43: + Couldn't match kind ‛*’ with ‛* -> *’ + When matching types + Der ((->) x) :: * -> * + R :: (* -> *) -> * + Expected type: Der ((->) x) (f1 x) + Actual type: R f1 + In the first argument of ‛plug’, namely ‛rf’ + In the first argument of ‛Inl’, namely ‛(plug rf df x)’ + In the expression: Inl (plug rf df x) diff --git a/testsuite/tests/typecheck/should_fail/T2714.stderr b/testsuite/tests/typecheck/should_fail/T2714.stderr index 07adee2eee..4b42c06440 100644 --- a/testsuite/tests/typecheck/should_fail/T2714.stderr +++ b/testsuite/tests/typecheck/should_fail/T2714.stderr @@ -1,9 +1,9 @@ T2714.hs:8:5: - Couldn't match type ‛c’ with ‛f0 (a -> b)’ - ‛c’ is a rigid type variable bound by - the type signature for f :: ((a -> b) -> b) -> c -> a - at T2714.hs:8:1 + Couldn't match type ‛a’ with ‛f0 b’ + ‛a’ is a rigid type variable bound by + the type signature for f :: ((a -> b) -> b) -> forall c. c -> a + at T2714.hs:7:6 Expected type: ((a -> b) -> b) -> c -> a Actual type: ((a -> b) -> b) -> f0 (a -> b) -> f0 b Relevant bindings include @@ -12,10 +12,10 @@ T2714.hs:8:5: In an equation for ‛f’: f = ffmap T2714.hs:8:5: - Couldn't match type ‛a’ with ‛f0 b’ - ‛a’ is a rigid type variable bound by - the type signature for f :: ((a -> b) -> b) -> forall c. c -> a - at T2714.hs:7:6 + Couldn't match type ‛c’ with ‛f0 (a -> b)’ + ‛c’ is a rigid type variable bound by + the type signature for f :: ((a -> b) -> b) -> c -> a + at T2714.hs:8:1 Expected type: ((a -> b) -> b) -> c -> a Actual type: ((a -> b) -> b) -> f0 (a -> b) -> f0 b Relevant bindings include diff --git a/testsuite/tests/typecheck/should_fail/T3950.stderr b/testsuite/tests/typecheck/should_fail/T3950.stderr index d318978c8f..b95b4f8177 100644 --- a/testsuite/tests/typecheck/should_fail/T3950.stderr +++ b/testsuite/tests/typecheck/should_fail/T3950.stderr @@ -1,16 +1,16 @@ -
-T3950.hs:15:13:
- Couldn't match kind ‛*’ with ‛* -> *’
- When matching types
- Sealed :: (* -> *) -> *
- w :: (* -> * -> *) -> *
- Expected type: w (Id p)
- Actual type: Sealed (Id p0 x0)
- In the first argument of ‛Just’, namely ‛rp'’
- In the expression: Just rp'
- In an equation for ‛rp’:
- rp _
- = Just rp'
- where
- rp' :: Sealed (Id p x)
- rp' = undefined
+ +T3950.hs:15:13: + Couldn't match kind ‛* -> *’ with ‛*’ + When matching types + w :: (* -> * -> *) -> * + Sealed :: (* -> *) -> * + Expected type: w (Id p) + Actual type: Sealed (Id p0 x0) + In the first argument of ‛Just’, namely ‛rp'’ + In the expression: Just rp' + In an equation for ‛rp’: + rp _ + = Just rp' + where + rp' :: Sealed (Id p x) + rp' = undefined diff --git a/testsuite/tests/typecheck/should_fail/T5570.stderr b/testsuite/tests/typecheck/should_fail/T5570.stderr index d9ffbed251..90f9155afa 100644 --- a/testsuite/tests/typecheck/should_fail/T5570.stderr +++ b/testsuite/tests/typecheck/should_fail/T5570.stderr @@ -1,9 +1,9 @@ -
-T5570.hs:7:16:
- Couldn't match kind ‛#’ with ‛*’
- When matching types
- Double# :: #
- s0 :: *
- In the second argument of ‛($)’, namely ‛D# $ 3.0##’
- In the expression: print $ D# $ 3.0##
- In an equation for ‛main’: main = print $ D# $ 3.0##
+ +T5570.hs:7:16: + Couldn't match kind ‛*’ with ‛#’ + When matching types + s0 :: * + Double# :: # + In the second argument of ‛($)’, namely ‛D# $ 3.0##’ + In the expression: print $ D# $ 3.0## + In an equation for ‛main’: main = print $ D# $ 3.0## diff --git a/testsuite/tests/typecheck/should_fail/T7368a.stderr b/testsuite/tests/typecheck/should_fail/T7368a.stderr index e9a93441c0..bc193cab05 100644 --- a/testsuite/tests/typecheck/should_fail/T7368a.stderr +++ b/testsuite/tests/typecheck/should_fail/T7368a.stderr @@ -1,10 +1,10 @@ -
-T7368a.hs:8:6:
- Couldn't match kind ‛* -> *’ with ‛*’
- When matching types
- Bad :: (* -> *) -> *
- f :: * -> *
- Expected type: f (Bad f)
- Actual type: Bad t0
- In the pattern: Bad x
- In an equation for ‛fun’: fun (Bad x) = True
+ +T7368a.hs:8:6: + Couldn't match kind ‛*’ with ‛* -> *’ + When matching types + f :: * -> * + Bad :: (* -> *) -> * + Expected type: f (Bad f) + Actual type: Bad t0 + In the pattern: Bad x + In an equation for ‛fun’: fun (Bad x) = True diff --git a/testsuite/tests/typecheck/should_fail/tcfail123.stderr b/testsuite/tests/typecheck/should_fail/tcfail123.stderr index 2f18b191b8..2a70414aaf 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail123.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail123.stderr @@ -1,9 +1,9 @@ -
-tcfail123.hs:11:9:
- Couldn't match kind ‛#’ with ‛*’
- When matching types
- GHC.Prim.Int# :: #
- t0 :: *
- In the first argument of ‛f’, namely ‛3#’
- In the expression: f 3#
- In an equation for ‛h’: h v = f 3#
+ +tcfail123.hs:11:9: + Couldn't match kind ‛*’ with ‛#’ + When matching types + t0 :: * + GHC.Prim.Int# :: # + In the first argument of ‛f’, namely ‛3#’ + In the expression: f 3# + In an equation for ‛h’: h v = f 3# diff --git a/testsuite/tests/typecheck/should_fail/tcfail159.stderr b/testsuite/tests/typecheck/should_fail/tcfail159.stderr index ab79887bad..3ff73d8c72 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail159.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail159.stderr @@ -1,9 +1,9 @@ -
-tcfail159.hs:9:11:
- Couldn't match kind ‛#’ with ‛*’
- When matching types
- (# Int, Int #) :: #
- t0 :: *
- In the pattern: ~(# p, q #)
- In a case alternative: ~(# p, q #) -> p
- In the expression: case h x of { ~(# p, q #) -> p }
+ +tcfail159.hs:9:11: + Couldn't match kind ‛*’ with ‛#’ + When matching types + t0 :: * + (# Int, Int #) :: # + In the pattern: ~(# p, q #) + In a case alternative: ~(# p, q #) -> p + In the expression: case h x of { ~(# p, q #) -> p } diff --git a/testsuite/tests/typecheck/should_fail/tcfail200.stderr b/testsuite/tests/typecheck/should_fail/tcfail200.stderr index 8bc22599d7..57c174d109 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail200.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail200.stderr @@ -1,9 +1,9 @@ -
-tcfail200.hs:5:15:
- Couldn't match kind ‛#’ with ‛*’
- When matching types
- GHC.Prim.Int# :: #
- t1 :: *
- In the expression: 1#
- In the expression: (1#, 'c')
- In an equation for ‛x’: x = (1#, 'c')
+ +tcfail200.hs:5:15: + Couldn't match kind ‛*’ with ‛#’ + When matching types + t1 :: * + GHC.Prim.Int# :: # + In the expression: 1# + In the expression: (1#, 'c') + In an equation for ‛x’: x = (1#, 'c') |