From 4c68c2f97b25d58e7e1be03891ceff90d48d0936 Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones Date: Thu, 12 Jan 2012 15:13:32 +0000 Subject: Lots of error message wibbling, following the major TcErrors refactoring --- testsuite/tests/arrows/should_fail/T5380.stderr | 46 +++++++++++++------------ 1 file changed, 24 insertions(+), 22 deletions(-) (limited to 'testsuite/tests/arrows') diff --git a/testsuite/tests/arrows/should_fail/T5380.stderr b/testsuite/tests/arrows/should_fail/T5380.stderr index 07b89eef84..c9df47cf6f 100644 --- a/testsuite/tests/arrows/should_fail/T5380.stderr +++ b/testsuite/tests/arrows/should_fail/T5380.stderr @@ -1,22 +1,24 @@ - -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 -< () + +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: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 -< () + In an equation for `testB': + testB b f = proc () -> if b then f -< () else f -< () -- cgit v1.2.1