diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-26 21:00:02 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-26 21:00:02 +0100 |
| commit | 6dc6775590c85371c0d74249bdbcc8c51b9975ce (patch) | |
| tree | 542198287994d792a04d2689549964f2fef2522a /testsuite/tests/arrows | |
| parent | 6eb9500b3f0ad70db9d2f0bf7fc1a1fb9a2f8cf9 (diff) | |
| download | haskell-6dc6775590c85371c0d74249bdbcc8c51b9975ce.tar.gz | |
Error message wibbles following TyClDecl/HsTyDefn refactoring
Diffstat (limited to 'testsuite/tests/arrows')
| -rw-r--r-- | testsuite/tests/arrows/should_fail/T5380.stderr | 48 |
1 files changed, 24 insertions, 24 deletions
diff --git a/testsuite/tests/arrows/should_fail/T5380.stderr b/testsuite/tests/arrows/should_fail/T5380.stderr index 7249be8f13..7e0004f95d 100644 --- a/testsuite/tests/arrows/should_fail/T5380.stderr +++ b/testsuite/tests/arrows/should_fail/T5380.stderr @@ -1,24 +1,24 @@ - -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:42 - 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
+ 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 -< ()
|