diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T7453.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T7453.stderr | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T7453.stderr b/testsuite/tests/typecheck/should_fail/T7453.stderr index 9345595fb4..48fdcb70ba 100644 --- a/testsuite/tests/typecheck/should_fail/T7453.stderr +++ b/testsuite/tests/typecheck/should_fail/T7453.stderr @@ -6,10 +6,10 @@ T7453.hs:10:30: the type signature for z :: Id t1 at T7453.hs:8:16-19 Relevant bindings include - cast1 :: t -> a (bound at T7453.hs:7:1) - v :: t (bound at T7453.hs:7:7) - z :: Id t1 (bound at T7453.hs:9:11) aux :: Id t1 (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) In the first argument of ‛Id’, namely ‛v’ In the expression: Id v @@ -20,10 +20,10 @@ T7453.hs:16:33: the type signature for z :: () -> t2 at T7453.hs:14:16-22 Relevant bindings include - cast2 :: t -> t1 (bound at T7453.hs:13:1) - v :: t (bound at T7453.hs:13:7) - z :: () -> t2 (bound at T7453.hs:15:11) aux :: b -> t2 (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) In the first argument of ‛const’, namely ‛v’ In the expression: const v @@ -34,10 +34,10 @@ T7453.hs:21:15: the type signature for z :: t2 at T7453.hs:20:16 Relevant bindings include - cast3 :: t -> t1 (bound at T7453.hs:19:1) - v :: t (bound at T7453.hs:19:7) - z :: t2 (bound at T7453.hs:21:11) aux :: forall b. b -> t2 (bound at T7453.hs:22:21) + z :: t2 (bound at T7453.hs:21:11) + v :: t (bound at T7453.hs:19:7) + cast3 :: t -> t1 (bound at T7453.hs:19:1) In the expression: v In an equation for ‛z’: z = v |