side effects on object destruction

From: Markus Mottl (
Date: Thu Jan 07 1999 - 13:34:46 MET

From: Markus Mottl <>
Message-Id: <>
Subject: side effects on object destruction
Date: Thu, 7 Jan 1999 13:34:46 +0100 (MET)

English version:


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".

Markus Mottl

Version française:


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.

Markus Mottl

Markus Mottl,,

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:17 MET