diff options
Diffstat (limited to 'testsuite/tests/arrows/should_fail/T5380.stderr')
-rw-r--r-- | testsuite/tests/arrows/should_fail/T5380.stderr | 44 |
1 files changed, 22 insertions, 22 deletions
diff --git a/testsuite/tests/arrows/should_fail/T5380.stderr b/testsuite/tests/arrows/should_fail/T5380.stderr index f1846dd425..07b89eef84 100644 --- a/testsuite/tests/arrows/should_fail/T5380.stderr +++ b/testsuite/tests/arrows/should_fail/T5380.stderr @@ -1,22 +1,22 @@ - -T5380.hs:7:27: - Couldn't match type `not_bool' with `Bool' - `not_bool' is a rigid type variable bound by - the type signature for - testB :: not_bool -> (() -> ()) -> () -> not_unit - at T5380.hs:7:1 - 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:47: - 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:7:1 - Expected type: () -> not_unit - Actual type: () -> () - In the expression: f - In the expression: proc () -> if b then f -< () else f -< () +
+T5380.hs:7:27:
+ Couldn't match type `not_bool' with `Bool'
+ `not_bool' is a rigid type variable bound by
+ the type signature for
+ testB :: not_bool -> (() -> ()) -> () -> not_unit
+ at T5380.hs:7:1
+ 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:7:1
+ Expected type: () -> not_unit
+ Actual type: () -> ()
+ In the expression: f
+ In the expression: proc () -> if b then f -< () else f -< ()
|