diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-28 15:55:22 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-28 15:55:22 +0100 |
| commit | c22af4a538ad83191266c1150ca7182206ed2351 (patch) | |
| tree | 3d11971d7dabeb0857fed7b6a85d1c2983041d02 /testsuite/tests/gadt | |
| parent | 77193177a3239185f0cfca4d2844a8d5bc7d0d37 (diff) | |
| download | haskell-c22af4a538ad83191266c1150ca7182206ed2351.tar.gz | |
Tons of error message wibbles
Diffstat (limited to 'testsuite/tests/gadt')
| -rw-r--r-- | testsuite/tests/gadt/T3169.stderr | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/testsuite/tests/gadt/T3169.stderr b/testsuite/tests/gadt/T3169.stderr index f256f8cbfe..62f49d467b 100644 --- a/testsuite/tests/gadt/T3169.stderr +++ b/testsuite/tests/gadt/T3169.stderr @@ -1,23 +1,5 @@ T3169.hs:13:22: - Could not deduce (Map a ~ MP a b) - from the context (Key a, Key b) - bound by the instance declaration at T3169.hs:10:10-36 - Expected type: Map a (Map b elt) - Actual type: Map (a, b) elt - Relevant bindings include - lookup :: (a, b) -> Map (a, b) elt -> Maybe elt - (bound at T3169.hs:12:3) - a :: a (bound at T3169.hs:12:11) - 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) - In the expression: - case lookup a m :: Maybe (Map b elt) of { - Just (m2 :: Map b elt) -> lookup b m2 :: Maybe elt } - -T3169.hs:13:22: Could not deduce (elt ~ Map b elt) from the context (Key a, Key b) bound by the instance declaration at T3169.hs:10:10-36 |