testsuite/tests/ghc-regress/typecheck/should_fail/T1595.hs


1
2
3
4
5
6
7
8
9
10
11
12
13

--
-- Check that we produce only one error message for each type
-- signature. See ticket #1595.
--

module T1595 where

foo1, bar1 :: DoesNotExist
foo1 = undefined
bar1 = undefined

class Test a where
  foo2, bar2 :: a -> DoesNotExist