diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-10-02 14:01:02 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-10-02 14:01:02 +0100 |
| commit | 067f78b276f3f3d2d50a2d3134f211ccd099f4a6 (patch) | |
| tree | bb68ee378c4cd5745302dbf739430b36d71c5891 /testsuite/tests/typecheck/should_fail/tcfail097.stderr | |
| parent | 6b5696230f426f531eb182cd189c0b206afe9296 (diff) | |
| download | haskell-067f78b276f3f3d2d50a2d3134f211ccd099f4a6.tar.gz | |
Error message wibbles following ambiguity check changes
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail097.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail097.stderr | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail097.stderr b/testsuite/tests/typecheck/should_fail/tcfail097.stderr index 7b2b3aed89..4d5d40c8d3 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail097.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail097.stderr @@ -6,4 +6,5 @@ tcfail097.hs:5:6: at tcfail097.hs:5:6-23 The type variable âa0â is ambiguous In the ambiguity check for: forall a. Eq a => Int -> Int + To defer the ambiguity check to use sites, enable AllowAmbiguousTypes In the type signature for âfâ: f :: Eq a => Int -> Int |