Commit fe0531f6 authored by simonpj's avatar simonpj
Browse files

[project @ 2005-04-04 12:34:39 by simonpj]

Add another kind-checking test
parent d0e25c55
......@@ -120,3 +120,4 @@ test('tcfail131', normal, compile_fail, [''])
test('tcfail132', normal, compile_fail, [''])
test('tcfail133', normal, compile_fail, [''])
test('tcfail134', normal, compile_fail, [''])
test('tcfail135', normal, compile_fail, [''])
-- A missing kind check made GHC 6.4 crash on this one
module ShoudlFail where
class Foo f where
baa :: f a -> f
instance Foo Maybe where
baa z = z
tcfail135.hs:6:22:
Kind error: `f' is not applied to enough type arguments
In the class declaration for `Foo'
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