diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T7453.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T7453.stderr | 50 |
1 files changed, 25 insertions, 25 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T7453.stderr b/testsuite/tests/typecheck/should_fail/T7453.stderr index 47bfa78754..bcb2df84c8 100644 --- a/testsuite/tests/typecheck/should_fail/T7453.stderr +++ b/testsuite/tests/typecheck/should_fail/T7453.stderr @@ -1,13 +1,13 @@ T7453.hs:9:15: error: - • Couldn't match type ‘r’ with ‘t’ - because type variable ‘t’ would escape its scope + • Couldn't match type ‘t’ with ‘t1’ + because type variable ‘t1’ would escape its scope This (rigid, skolem) type variable is bound by the type signature for: - z :: Id t + z :: Id t1 at T7453.hs:8:11-19 - Expected type: Id t - Actual type: Id r + Expected type: Id t1 + Actual type: Id t • In the expression: aux In an equation for ‘z’: z = aux @@ -22,20 +22,20 @@ T7453.hs:9:15: error: where aux = Id v • Relevant bindings include - aux :: Id r (bound at T7453.hs:10:21) - z :: Id t (bound at T7453.hs:9:11) - v :: r (bound at T7453.hs:7:7) - cast1 :: r -> a (bound at T7453.hs:7:1) + aux :: Id t (bound at T7453.hs:10:21) + z :: Id t1 (bound at T7453.hs:9:11) + v :: t (bound at T7453.hs:7:7) + cast1 :: t -> a (bound at T7453.hs:7:1) T7453.hs:15:15: error: - • Couldn't match type ‘r’ with ‘t1’ - because type variable ‘t1’ would escape its scope + • Couldn't match type ‘t’ with ‘t2’ + because type variable ‘t2’ would escape its scope This (rigid, skolem) type variable is bound by the type signature for: - z :: () -> t1 + z :: () -> t2 at T7453.hs:14:11-22 - Expected type: () -> t1 - Actual type: () -> r + Expected type: () -> t2 + Actual type: () -> t • In the expression: aux In an equation for ‘z’: z = aux @@ -50,17 +50,17 @@ T7453.hs:15:15: error: where aux = const v • Relevant bindings include - aux :: forall b. b -> r (bound at T7453.hs:16:21) - z :: () -> t1 (bound at T7453.hs:15:11) - v :: r (bound at T7453.hs:13:7) - cast2 :: r -> t (bound at T7453.hs:13:1) + aux :: forall b. b -> t (bound at T7453.hs:16:21) + z :: () -> t2 (bound at T7453.hs:15:11) + v :: t (bound at T7453.hs:13:7) + cast2 :: t -> t1 (bound at T7453.hs:13:1) T7453.hs:21:15: error: - • Couldn't match expected type ‘t1’ with actual type ‘r’ - because type variable ‘t1’ would escape its scope + • Couldn't match expected type ‘t2’ with actual type ‘t’ + because type variable ‘t2’ would escape its scope This (rigid, skolem) type variable is bound by the type signature for: - z :: t1 + z :: t2 at T7453.hs:20:11-16 • In the expression: v In an equation for ‘z’: @@ -76,7 +76,7 @@ T7453.hs:21:15: error: where aux = const v • Relevant bindings include - aux :: forall b. b -> r (bound at T7453.hs:22:21) - z :: t1 (bound at T7453.hs:21:11) - v :: r (bound at T7453.hs:19:7) - cast3 :: r -> forall t. t (bound at T7453.hs:19:1) + aux :: forall b. b -> t (bound at T7453.hs:22:21) + z :: t2 (bound at T7453.hs:21:11) + v :: t (bound at T7453.hs:19:7) + cast3 :: t -> forall t1. t1 (bound at T7453.hs:19:1) |