Followup: creating fresh objects of type 'self

From: Markus Mottl (mottl@miss.wu-wien.ac.at)
Date: Sat Apr 10 1999 - 02:15:44 MET DST


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