diff options
Diffstat (limited to 'testsuite/tests/arrows/should_fail/T5380.stderr')
| -rw-r--r-- | testsuite/tests/arrows/should_fail/T5380.stderr | 48 |
1 files changed, 25 insertions, 23 deletions
diff --git a/testsuite/tests/arrows/should_fail/T5380.stderr b/testsuite/tests/arrows/should_fail/T5380.stderr index 177183225c..2aeb01f1c0 100644 --- a/testsuite/tests/arrows/should_fail/T5380.stderr +++ b/testsuite/tests/arrows/should_fail/T5380.stderr @@ -1,27 +1,29 @@ -T5380.hs:7:27: - Couldn't match expected type ‘Bool’ with actual type ‘not_bool’ +T5380.hs:7:27: error: + • Couldn't match expected type ‘Bool’ with actual type ‘not_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 -< () - Relevant bindings include - b :: not_bool (bound at T5380.hs:7:7) - testB :: not_bool -> (() -> ()) -> () -> not_unit - (bound at T5380.hs:7:1) + the type signature for: + testB :: forall not_bool not_unit. + not_bool -> (() -> ()) -> () -> not_unit + at T5380.hs:6:10 + • In the expression: b + In the expression: proc () -> if b then f -< () else f -< () + • Relevant bindings include + b :: not_bool (bound at T5380.hs:7:7) + testB :: not_bool -> (() -> ()) -> () -> not_unit + (bound at T5380.hs:7:1) -T5380.hs:7:34: - Couldn't match type ‘not_unit’ with ‘()’ +T5380.hs:7:34: error: + • 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 command: f -< () - Relevant bindings include - testB :: not_bool -> (() -> ()) -> () -> not_unit - (bound at T5380.hs:7:1) + the type signature for: + testB :: forall not_bool not_unit. + not_bool -> (() -> ()) -> () -> not_unit + at T5380.hs:6:10 + Expected type: () -> not_unit + Actual type: () -> () + • In the expression: f + In the command: f -< () + • Relevant bindings include + testB :: not_bool -> (() -> ()) -> () -> not_unit + (bound at T5380.hs:7:1) |