diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail122.hs')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail122.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail122.hs b/testsuite/tests/typecheck/should_fail/tcfail122.hs index 0576f5f9d0..2594ca6e24 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail122.hs +++ b/testsuite/tests/typecheck/should_fail/tcfail122.hs @@ -5,4 +5,4 @@ module ShouldFail where -- There should be a kind error, when unifying (a b) against (c d) foo = [ undefined :: forall a b. a b, - undefined :: forall (c:: (* -> *) -> *) (d :: * -> *). c d ] + undefined :: forall (c:: (* -> *) -> *) (d :: * -> *). c d ] |