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/polykinds/T7438.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/polykinds/T7438.stderr')
-rw-r--r-- | testsuite/tests/polykinds/T7438.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/polykinds/T7438.stderr b/testsuite/tests/polykinds/T7438.stderr index aaa4daf019..940f87bf68 100644 --- a/testsuite/tests/polykinds/T7438.stderr +++ b/testsuite/tests/polykinds/T7438.stderr @@ -14,7 +14,7 @@ T7438.hs:6:14: the inferred type of go :: Thrist k t2 t3 -> t -> t1 at T7438.hs:6:1 Relevant bindings include - go :: Thrist k t2 t3 -> t -> t1 (bound at T7438.hs:6:1) acc :: t (bound at T7438.hs:6:8) + go :: Thrist k t2 t3 -> t -> t1 (bound at T7438.hs:6:1) In the expression: acc In an equation for ‛go’: go Nil acc = acc |