diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-01-12 15:13:32 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-01-12 15:13:32 +0000 |
| commit | 4c68c2f97b25d58e7e1be03891ceff90d48d0936 (patch) | |
| tree | 7ca2f8ab2b81edad9ec151fe900c373da1ff31e6 /testsuite/tests/typecheck/should_fail/tcfail018.stderr | |
| parent | ad0e1c9c577ee87a5da8fcf8530ddede06e94de4 (diff) | |
| download | haskell-4c68c2f97b25d58e7e1be03891ceff90d48d0936.tar.gz | |
Lots of error message wibbling, following the
major TcErrors refactoring
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail018.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail018.stderr | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail018.stderr b/testsuite/tests/typecheck/should_fail/tcfail018.stderr index 67ee509537..1aa13624e9 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail018.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail018.stderr @@ -2,6 +2,11 @@ tcfail018.hs:5:10: No instance for (Num [t0]) arising from the literal `1' + The type variable `t0' is ambiguous + Possible cause: the monomorphism restriction applied to the following: + a :: t0 (bound at tcfail018.hs:5:2) + Probable fix: give these definition(s) an explicit type signature + or use -XNoMonomorphismRestriction Possible fix: add an instance declaration for (Num [t0]) In the expression: 1 In a pattern binding: (a : []) = 1 |