I need to declare two types depending one on the other ; one of them is
a class type, with a menber variable of the second type, and the other
one is a basic type with a constructor needing an argument of the first
type.

Example :

  class type c_foo =
  object
    val val_foo : t_foo
  end
and
  t_foo = Foo of c_foo

However, that syntax doesn't work ; is there a correct one ?


Thank you for hour help.


Boris Yakobowski

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr