import deriving 0.1.1a

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

(* All types in a group must have the same parameters *)

type 'a t1 = int
and ('a,'b) t2 = int
and t3 = int
    deriving (Eq)