blob: e1a10511a7fd9fb7321f31e33b466c8f06e5b8bf (
plain)
1
2
3
4
5
6
7
8
|
-- Another test for the evaluated-ness of data2tag
module Main where
data S e = A | B | C | D | E | F | G | H | I deriving (Eq)
newtype R = T (S R) deriving (Eq)
main = do { print (T A == T B) ; print (T I == T I) }
|