diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-04-23 14:36:05 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-04-23 14:36:05 +0100 |
| commit | a7bf4c0148b4c2dc1329eb21c428ca215c75ceab (patch) | |
| tree | a53ef4c80e54260d28d330bec208e1d018c34d8b /testsuite/tests/typecheck/should_fail | |
| parent | 6ea9c2bb90136fec9a55d58781d5630f43464dca (diff) | |
| download | haskell-a7bf4c0148b4c2dc1329eb21c428ca215c75ceab.tar.gz | |
Error message wibbles
Diffstat (limited to 'testsuite/tests/typecheck/should_fail')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T5691.stderr | 12 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail043.stderr | 2 |
2 files changed, 7 insertions, 7 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T5691.stderr b/testsuite/tests/typecheck/should_fail/T5691.stderr index bfc572cfea..0102aef55a 100644 --- a/testsuite/tests/typecheck/should_fail/T5691.stderr +++ b/testsuite/tests/typecheck/should_fail/T5691.stderr @@ -1,11 +1,11 @@ -T5691.hs:15:24: +T5691.hs:14:9: Couldn't match type `p' with `PrintRuleInterp' - Expected type: PrintRuleInterp a - Actual type: p a - In the first argument of `printRule_', namely `f' - In the second argument of `($)', namely `printRule_ f' - In the expression: MkPRI $ printRule_ f + Expected type: p a + Actual type: PrintRuleInterp a + In the pattern: f :: p a + In an equation for `test': test (f :: p a) = MkPRI $ printRule_ f + In the instance declaration for `Test PrintRuleInterp' T5691.hs:24:10: No instance for (Monad RecDecParser) diff --git a/testsuite/tests/typecheck/should_fail/tcfail043.stderr b/testsuite/tests/typecheck/should_fail/tcfail043.stderr index 3e52e69c56..a1904d2b4c 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail043.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail043.stderr @@ -29,8 +29,8 @@ tcfail043.hs:40:25: Probable fix: give these definition(s) an explicit type signature or use -XNoMonomorphismRestriction Note: there are several potential instances: - instance Eq_ a => Eq_ [a] -- Defined at tcfail043.hs:23:10 instance Eq_ Int -- Defined at tcfail043.hs:20:10 + instance Eq_ a => Eq_ [a] -- Defined at tcfail043.hs:23:10 In the expression: eq a (hd bs) In the expression: if eq a (hd bs) then True else search a (tl bs) In the expression: |