From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA28446; Mon, 1 Apr 2002 09:45:30 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 JAA08306 for ; Mon, 1 Apr 2002 09:45:29 +0200 (MET DST) Received: from mailrelay1.inwind.it (mailrelay1.inwind.it [212.141.54.101]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g317jSf13427 for ; Mon, 1 Apr 2002 09:45:28 +0200 (MET DST) Received: from dalamar.takhisis.org (62.98.126.166) by mailrelay1.inwind.it (6.5.015) id 3C9BC641005764E4 for caml-list@inria.fr; Mon, 1 Apr 2002 09:45:31 +0200 Received: from lordsoth.takhisis.org (lordsoth.takhisis.org [192.168.1.119]) by dalamar.takhisis.org (8.12.0/8.12.0/Debian -3) with ESMTP id g317jPq3002506 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=FAIL) for ; Mon, 1 Apr 2002 09:45:26 +0200 Received: from lordsoth.takhisis.org (localhost [127.0.0.1]) by lordsoth.takhisis.org (8.12.0/8.12.0/Debian -3) with ESMTP id g317jOqP030424 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=FAIL) for ; Mon, 1 Apr 2002 09:45:24 +0200 Received: (from zack@localhost) by lordsoth.takhisis.org (8.12.0/8.12.0/Debian -3) id g317jOUG030422 for caml-list@inria.fr; Mon, 1 Apr 2002 09:45:24 +0200 Date: Mon, 1 Apr 2002 09:45:24 +0200 From: Stefano Zacchiroli To: caml-list@inria.fr Subject: Re: [Caml-list] initializers and destructor Message-ID: <20020401074522.GA30409@cs.unibo.it> Mail-Followup-To: caml-list@inria.fr References: <20020331210924.GA11224@cs.unibo.it> <87n0wo5sak.dlv@wanadoo.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <87n0wo5sak.dlv@wanadoo.fr> User-Agent: Mutt/1.3.28i Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sun, Mar 31, 2002 at 11:41:23PM +0200, Remi VANICAT wrote: > there is the finalise function in the module Gc of the standard > library. Thanks, this is ok for me. Anyway you probably agree with me that this kind of destructor are a bit tricky: what about adding some syntactic sugar to hide the Gc usage to who wants to use destructors? In that way we can also avoid the problem of wrong usage of "finalise" using let binding correctly. What do you think about it? Cheers, Thanks again. -- Stefano Zacchiroli - undergraduate student of CS @ Univ. Bologna, Italy zack@cs.unibo.it | ICQ# 33538863 | http://www.cs.unibo.it/~zacchiro "I know you believe you understood what you think I said, but I am not sure you realize that what you heard is not what I meant!" -- G.Romney ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners