diff options
Diffstat (limited to 'testsuite/tests/gadt/T3169.stderr')
| -rw-r--r-- | testsuite/tests/gadt/T3169.stderr | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/testsuite/tests/gadt/T3169.stderr b/testsuite/tests/gadt/T3169.stderr index 5770e03c70..3a5fc99fb3 100644 --- a/testsuite/tests/gadt/T3169.stderr +++ b/testsuite/tests/gadt/T3169.stderr @@ -1,17 +1,20 @@ -T3169.hs:13:22: error: +T3169.hs:13:13: error: • Couldn't match type ‘elt’ with ‘Map b elt’ - Expected: Map a (Map b elt) - Actual: Map (a, b) elt + Expected: Maybe (Map b elt) + Actual: Maybe elt ‘elt’ is a rigid type variable bound by the type signature for: lookup :: forall elt. (a, b) -> Map (a, b) elt -> Maybe elt at T3169.hs:12:3-8 - • In the second argument of ‘lookup’, namely ‘m’ - In the expression: lookup a m :: Maybe (Map b elt) + • In the expression: lookup a m :: Maybe (Map b elt) In the expression: case lookup a m :: Maybe (Map b elt) of { Just (m2 :: Map b elt) -> lookup b m2 :: Maybe elt } + In an equation for ‘lookup’: + lookup (a, b) (m :: Map (a, b) elt) + = case lookup a m :: Maybe (Map b elt) of { + Just (m2 :: Map b elt) -> lookup b m2 :: Maybe elt } • Relevant bindings include m :: Map (a, b) elt (bound at T3169.hs:12:17) b :: b (bound at T3169.hs:12:13) |