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 XAA11447 for caml-redistribution; Sat, 9 Jan 1999 23:22:09 +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 NAA00506 for ; Thu, 7 Jan 1999 13:34:54 +0100 (MET) 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 NAA03049 for ; Thu, 7 Jan 1999 13:34:52 +0100 (MET) Received: (from mottl@localhost) by miss.wu-wien.ac.at (8.9.0/8.9.0) id NAA06542 for caml-list@inria.fr; Thu, 7 Jan 1999 13:34:47 +0100 (MET) From: Markus Mottl Message-Id: <199901071234.NAA06542@miss.wu-wien.ac.at> Subject: side effects on object destruction To: caml-list@inria.fr (OCAML) Date: Thu, 7 Jan 1999 13:34:46 +0100 (MET) 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 English version: Hello, I would like to know whether it is already somehow possible to yield side effects when an object ceases to exist. There is nothing about destructors in the OCAML-documentation. This would allow e.g. closing of open channels or other measures for "cleaning up". Regards, Markus Mottl Version française: Bonjour, Je voudrais savoir s'il est déjà possible d'obtenir des "side effects" si un objet fini d'exister. Je n'ai rien trouver sur des "destructors" dans la documentation de OCAML. Ils le feraient possible de (par exemple) fermer des canaux ouverts. Cordialement, Markus Mottl -- Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl