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