summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail135.hs
blob: 5cfc926085a86c7644a69f27f19e5a4415c4d193 (plain)
1
2
3
4
5
6
7
8
9
-- 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