summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail135.hs
blob: e854723d051385482c136c76db5fc55335421583 (plain)
1
2
3
4
5
6
7
8
9
-- A missing kind check made GHC 6.4 crash on this one

module ShouldFail where

class Foo f where
        baa :: f a -> f

instance Foo Maybe where
        baa z = z