Fundeps work even for unary type classes
[ghc.git] / testsuite / tests / typecheck / should_fail / T1595.hs
1 --
2 -- Check that we produce only one error message for each type
3 -- signature. See ticket #1595.
4 --
5
6 module T1595 where
7
8 foo1, bar1 :: DoesNotExist
9 foo1 = undefined
10 bar1 = undefined
11
12 class Test a where
13 foo2, bar2 :: a -> DoesNotExist