diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-09-10 17:58:20 +0100 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-09-10 17:58:34 +0100 |
commit | 9ca4a73d74e0b945a55a607ec0c8dae16df2fa28 (patch) | |
tree | 96709456fa2c2e20d42d051e1cc0b82895fa8131 /testsuite/tests/typecheck/should_fail/T7453.stderr | |
parent | ad8fb8f38b86ac28ebf701a96e7ea4479ff0f127 (diff) | |
download | haskell-9ca4a73d74e0b945a55a607ec0c8dae16df2fa28.tar.gz |
Error message wibbles
Almost all are re-orderings of relevant-binding output
Relevant bindings include
+ m :: Map (a, b) elt (bound at T3169.hs:12:17)
+ b :: b (bound at T3169.hs:12:13)
lookup :: (a, b) -> Map (a, b) elt -> Maybe elt
(bound at T3169.hs:12:3)
- b :: b (bound at T3169.hs:12:13)
- m :: Map (a, b) elt (bound at T3169.hs:12:17)
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 |