diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-02 16:35:42 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-02 16:35:42 +0000 |
| commit | 64880bb7693ca9a97e26a292b5d3fe402f72c143 (patch) | |
| tree | 87885e83aab4d79fdc15922eba28ea0e63f622c1 /testsuite/tests/arrows | |
| parent | 7a29e7e2e17b47360adfca59d049b77f8ec3f0f7 (diff) | |
| download | haskell-64880bb7693ca9a97e26a292b5d3fe402f72c143.tar.gz | |
Modified error output and new tests for PolyKinds commit
Diffstat (limited to 'testsuite/tests/arrows')
| -rw-r--r-- | testsuite/tests/arrows/should_fail/T5380.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/arrows/should_fail/T5380.stderr b/testsuite/tests/arrows/should_fail/T5380.stderr index c9df47cf6f..7249be8f13 100644 --- a/testsuite/tests/arrows/should_fail/T5380.stderr +++ b/testsuite/tests/arrows/should_fail/T5380.stderr @@ -4,7 +4,7 @@ T5380.hs:7:27: `not_bool' is a rigid type variable bound by the type signature for testB :: not_bool -> (() -> ()) -> () -> not_unit - at T5380.hs:7:1 + at T5380.hs:6:10 In the expression: b In the expression: proc () -> if b then f -< () else f -< () In an equation for `testB': @@ -15,7 +15,7 @@ T5380.hs:7:34: `not_unit' is a rigid type variable bound by the type signature for testB :: not_bool -> (() -> ()) -> () -> not_unit - at T5380.hs:7:1 + at T5380.hs:6:42 Expected type: () -> not_unit Actual type: () -> () In the expression: f |