diff options
Diffstat (limited to 'testsuite/tests/arrows/should_fail/T5380.stderr')
-rw-r--r-- | testsuite/tests/arrows/should_fail/T5380.stderr | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/testsuite/tests/arrows/should_fail/T5380.stderr b/testsuite/tests/arrows/should_fail/T5380.stderr index 2aeb01f1c0..0e258a2c28 100644 --- a/testsuite/tests/arrows/should_fail/T5380.stderr +++ b/testsuite/tests/arrows/should_fail/T5380.stderr @@ -8,6 +8,8 @@ T5380.hs:7:27: error: 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 -< () • Relevant bindings include b :: not_bool (bound at T5380.hs:7:7) testB :: not_bool -> (() -> ()) -> () -> not_unit @@ -24,6 +26,7 @@ T5380.hs:7:34: error: Actual type: () -> () • In the expression: f In the command: f -< () + In the expression: proc () -> if b then f -< () else f -< () • Relevant bindings include testB :: not_bool -> (() -> ()) -> () -> not_unit (bound at T5380.hs:7:1) |