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/gadt | |
| 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/gadt')
| -rw-r--r-- | testsuite/tests/gadt/T3169.stderr | 4 | ||||
| -rw-r--r-- | testsuite/tests/gadt/gadt7.stderr | 4 | ||||
| -rw-r--r-- | testsuite/tests/gadt/rw.stderr | 8 |
3 files changed, 8 insertions, 8 deletions
diff --git a/testsuite/tests/gadt/T3169.stderr b/testsuite/tests/gadt/T3169.stderr index c095f958e8..d5c658f71a 100644 --- a/testsuite/tests/gadt/T3169.stderr +++ b/testsuite/tests/gadt/T3169.stderr @@ -10,9 +10,9 @@ T3169.hs:13:22: Expected type: Map a (Map b elt) Actual type: Map (a, b) elt 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) In the second argument of ‛lookup’, namely ‛m’ In the expression: lookup a m :: Maybe (Map b elt) diff --git a/testsuite/tests/gadt/gadt7.stderr b/testsuite/tests/gadt/gadt7.stderr index d4c0468b5f..a14740580d 100644 --- a/testsuite/tests/gadt/gadt7.stderr +++ b/testsuite/tests/gadt/gadt7.stderr @@ -12,8 +12,8 @@ gadt7.hs:16:38: ‛t’ is a rigid type variable bound by the inferred type of i1b :: T t2 -> t1 -> t at gadt7.hs:16:1 Relevant bindings include - i1b :: T t2 -> t1 -> t (bound at gadt7.hs:16:1) - y :: t1 (bound at gadt7.hs:16:7) y1 :: t1 (bound at gadt7.hs:16:16) + y :: t1 (bound at gadt7.hs:16:7) + i1b :: T t2 -> t1 -> t (bound at gadt7.hs:16:1) In the expression: y1 In a case alternative: K -> y1 diff --git a/testsuite/tests/gadt/rw.stderr b/testsuite/tests/gadt/rw.stderr index 584eebb7a8..9273dbd27a 100644 --- a/testsuite/tests/gadt/rw.stderr +++ b/testsuite/tests/gadt/rw.stderr @@ -5,9 +5,9 @@ rw.hs:14:47: the type signature for writeInt :: T a -> IORef a -> IO () at rw.hs:12:12 Relevant bindings include - writeInt :: T a -> IORef a -> IO () (bound at rw.hs:13:1) - v :: T a (bound at rw.hs:13:10) ref :: IORef a (bound at rw.hs:13:12) + v :: T a (bound at rw.hs:13:10) + writeInt :: T a -> IORef a -> IO () (bound at rw.hs:13:1) In the second argument of ‛writeIORef’, namely ‛(1 :: Int)’ In the expression: writeIORef ref (1 :: Int) In a case alternative: ~(Li x) -> writeIORef ref (1 :: Int) @@ -20,8 +20,8 @@ rw.hs:19:51: Expected type: a -> Bool Actual type: Bool -> Bool Relevant bindings include - readBool :: T a -> IORef a -> IO () (bound at rw.hs:17:1) - v :: T a (bound at rw.hs:17:10) ref :: IORef a (bound at rw.hs:17:12) + v :: T a (bound at rw.hs:17:10) + readBool :: T a -> IORef a -> IO () (bound at rw.hs:17:1) In the second argument of ‛(.)’, namely ‛not’ In the second argument of ‛(>>=)’, namely ‛(print . not)’ |