testsuite/tests/typecheck/should_fail/tcfail036.hs


1
2
3
4
5
6
7
8
9
10

-- !!! prelude class name in an instance-tycon position
--
module ShouldFail where

data NUM = ONE | TWO
instance Num NUM
  where ONE + ONE = TWO
instance Num NUM
instance Eq Num
--instance Text Num