diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-21 12:19:56 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-21 12:19:56 +0100 |
| commit | f1557f3b7cfb0b036d0ab350ffaa910f95ff58cc (patch) | |
| tree | d92417d310e276977214ab989615b17c71ddb5d4 /testsuite/tests/arrows | |
| parent | 7095121c528fa81a27405009801855ec62fd8a7c (diff) | |
| download | haskell-f1557f3b7cfb0b036d0ab350ffaa910f95ff58cc.tar.gz | |
A ton of error message wibbles
Notably
* Showing relevant bindings
* Not suggesting add instance (Num T); see Trac #7222
Diffstat (limited to 'testsuite/tests/arrows')
| -rw-r--r-- | testsuite/tests/arrows/should_fail/T5380.stderr | 55 |
1 files changed, 31 insertions, 24 deletions
diff --git a/testsuite/tests/arrows/should_fail/T5380.stderr b/testsuite/tests/arrows/should_fail/T5380.stderr index 7e0004f95d..36cf8a4ff3 100644 --- a/testsuite/tests/arrows/should_fail/T5380.stderr +++ b/testsuite/tests/arrows/should_fail/T5380.stderr @@ -1,24 +1,31 @@ -
-T5380.hs:7:27:
- Couldn't match expected type `not_bool' with actual type `Bool'
- `not_bool' is a rigid type variable bound by
- the type signature for
- testB :: not_bool -> (() -> ()) -> () -> not_unit
- at T5380.hs:6:10
- In the expression: b
- In the expression: proc () -> if b then f -< () else f -< ()
- In an equation for `testB':
- testB b f = proc () -> if b then f -< () else f -< ()
-
-T5380.hs:7:34:
- Couldn't match type `not_unit' with `()'
- `not_unit' is a rigid type variable bound by
- the type signature for
- testB :: not_bool -> (() -> ()) -> () -> not_unit
- at T5380.hs:6:10
- Expected type: () -> not_unit
- Actual type: () -> ()
- In the expression: f
- In the expression: proc () -> if b then f -< () else f -< ()
- In an equation for `testB':
- testB b f = proc () -> if b then f -< () else f -< ()
+ +T5380.hs:7:27: + Couldn't match expected type `not_bool' with actual type `Bool' + `not_bool' is a rigid type variable bound by + the type signature for + testB :: not_bool -> (() -> ()) -> () -> not_unit + at T5380.hs:6:10 + Relevant bindings include + testB :: not_bool -> (() -> ()) -> () -> not_unit + (bound at T5380.hs:7:1) + b :: not_bool (bound at T5380.hs:7:7) + In the expression: b + In the expression: proc () -> if b then f -< () else f -< () + In an equation for `testB': + testB b f = proc () -> if b then f -< () else f -< () + +T5380.hs:7:34: + Couldn't match type `not_unit' with `()' + `not_unit' is a rigid type variable bound by + the type signature for + testB :: not_bool -> (() -> ()) -> () -> not_unit + at T5380.hs:6:10 + Expected type: () -> not_unit + Actual type: () -> () + Relevant bindings include + testB :: not_bool -> (() -> ()) -> () -> not_unit + (bound at T5380.hs:7:1) + In the expression: f + In the expression: proc () -> if b then f -< () else f -< () + In an equation for `testB': + testB b f = proc () -> if b then f -< () else f -< () |