Commit 9106bfc2 authored by simonpj's avatar simonpj

[project @ 2004-11-09 12:41:49 by simonpj]

Add a test for ill-formed type
parent 06d6752e
......@@ -112,3 +112,4 @@ test('tcfail123', normal, compile_fail, [''])
test('tcfail124', normal, compile_fail, [''])
test('tcfail125', normal, compile_fail, [''])
test('tcfail126', normal, compile_fail, [''])
test('tcfail127', normal, compile_fail, [''])
module ShouldFail where
foo :: IO (Num a => a -> a)
foo = error "urk"
-- baz :: (Num a => a -> a) -> Int
-- baz = error "urk"
\ No newline at end of file
tcfail127.hs:3:0:
Illegal polymorphic or qualified type: (Num a) => a -> a
In the type signature: foo :: IO ((Num a) => a -> a)
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment