From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA17269 for caml-red; Sun, 4 Feb 2001 22:04:27 +0100 (MET)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA15435 for <caml-list@pauillac.inria.fr>; Sat, 3 Feb 2001 18:14:59 +0100 (MET)
Received: from post.webmailer.de (natmail2.webmailer.de [192.67.198.65])
	by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f13HExv11226
	for <caml-list@inria.fr>; Sat, 3 Feb 2001 18:14:59 +0100 (MET)
Received: from t2 (pD4B9DF63.dip.t-dialin.net [212.185.223.99])
	by post.webmailer.de (8.9.3/8.8.7) with ESMTP id SAA13739
	for <caml-list@inria.fr>; Sat, 3 Feb 2001 18:14:53 +0100 (MET)
Date: Sat, 3 Feb 2001 18:16:56 +0100
From: Stephan Tolksdorf <andorxor@gmx.de>
X-Mailer: The Bat! (v1.49) UNREG / CD5BF9353B3B7091
X-Priority: 3 (Normal)
Message-ID: <9114178788.20010203181656@gmx.de>
To: caml-list@inria.fr
Subject: Unbound type constructor
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Sender: weis@pauillac.inria.fr

I'm learning OCaml...

The following code snippet fails due to an "unbound type constructor"
error. How could I achieve the intended result in OCaml?

type combination = T1 of int | T2 of test | T3 of test * test

class test =
      object
            method virtual get : combination
      end


PS: Naive question, why aren't there type members in OCaml classes?

Stephan Tolksdof