import deriving 0.1.1a

[deriving.git] / tests / rejected / polyrec.ml

(* non-regular datatype *) 

type 'a seq = Nil | Cons of 'a * ('a * 'a) seq
  deriving (Eq)