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 6b8e920004..9157e116f5 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 ‘t’ with ‘t1’ - because type variable ‘t1’ would escape its scope + • Couldn't match type ‘p’ with ‘t’ + because type variable ‘t’ would escape its scope This (rigid, skolem) type variable is bound by the type signature for: - z :: Id t1 + z :: Id t at T7453.hs:8:11-19 - Expected type: Id t1 - Actual type: Id t + Expected type: Id t + Actual type: Id p • 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 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) + aux :: Id p (bound at T7453.hs:10:21) + z :: Id t (bound at T7453.hs:9:11) + v :: p (bound at T7453.hs:7:7) + cast1 :: p -> a (bound at T7453.hs:7:1) T7453.hs:15:15: error: - • Couldn't match type ‘t1’ with ‘t2’ - because type variable ‘t2’ would escape its scope + • Couldn't match type ‘p’ with ‘t1’ + because type variable ‘t1’ would escape its scope This (rigid, skolem) type variable is bound by the type signature for: - z :: () -> t2 + z :: () -> t1 at T7453.hs:14:11-22 - Expected type: () -> t2 - Actual type: () -> t1 + Expected type: () -> t1 + Actual type: () -> p • 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 -> t1 (bound at T7453.hs:16:21) - z :: () -> t2 (bound at T7453.hs:15:11) - v :: t1 (bound at T7453.hs:13:7) - cast2 :: t1 -> t (bound at T7453.hs:13:1) + aux :: forall b. b -> p (bound at T7453.hs:16:21) + z :: () -> t1 (bound at T7453.hs:15:11) + v :: p (bound at T7453.hs:13:7) + cast2 :: p -> t (bound at T7453.hs:13:1) T7453.hs:21:15: error: - • Couldn't match expected type ‘t2’ with actual type ‘t1’ - because type variable ‘t2’ would escape its scope + • Couldn't match expected type ‘t1’ with actual type ‘p’ + because type variable ‘t1’ would escape its scope This (rigid, skolem) type variable is bound by the type signature for: - z :: t2 + z :: t1 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 -> t1 (bound at T7453.hs:22:21) - z :: t2 (bound at T7453.hs:21:11) - v :: t1 (bound at T7453.hs:19:7) - cast3 :: t1 -> forall t. t (bound at T7453.hs:19:1) + aux :: forall b. b -> p (bound at T7453.hs:22:21) + z :: t1 (bound at T7453.hs:21:11) + v :: p (bound at T7453.hs:19:7) + cast3 :: p -> t (bound at T7453.hs:19:1) |