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 IAA18353 for caml-redistribution; Mon, 12 Apr 1999 08:43:26 +0200 (MET DST) 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 BAA13413 for ; Sat, 10 Apr 1999 01:15:49 +0200 (MET DST) Received: from miss.wu-wien.ac.at (miss.wu-wien.ac.at [137.208.107.17]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id BAA00665 for ; Sat, 10 Apr 1999 01:15:46 +0200 (MET DST) Received: (from mottl@localhost) by miss.wu-wien.ac.at (8.9.0/8.9.0) id BAA03653 for caml-list@inria.fr; Sat, 10 Apr 1999 01:15:45 +0200 (MET DST) From: Markus Mottl Message-Id: <199904092315.BAA03653@miss.wu-wien.ac.at> Subject: Followup: creating fresh objects of type 'self To: caml-list@inria.fr (OCAML) Date: Sat, 10 Apr 1999 01:15:44 +0100 (MET DST) X-Mailer: ELM [version 2.4 PL21] MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Sender: weis There is probably no sensible answer to the question in my former mail: In the case of parameterized classes it would be impossible to call a constructor of type 'self (unknown number/type of parameters). Could have thought about this faster... ;-) Hm, I fear the only way to get the intended result without too much effort is to restrict the interface of the self-object when it is passed to another instance of its class... Best regards, Markus Mottl -- Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl