From: Markus Mottl <mottl@miss.wu-wien.ac.at>
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)
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
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:22 MET