Add kind equalities to GHC.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail036.hs
1 {-# LANGUAGE FlexibleInstances #-}
2
3 -- !!! prelude class name in an instance-tycon position
4 --
5 module ShouldFail where
6
7 data NUM = ONE | TWO
8 instance Num NUM
9 where ONE + ONE = TWO
10 instance Num NUM
11 instance Eq Num
12 --instance Text Num