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 OAA01748; Sat, 17 Nov 2001 14:38:06 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA02392 for caml-list@pauillac.inria.fr; Sat, 17 Nov 2001 14:38:06 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA19723 for ; Fri, 16 Nov 2001 13:05:26 +0100 (MET) Received: from no-spam.it.helsinki.fi (NO-SPAM.it.helsinki.fi [128.214.205.34]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id fAGC5Ov06958 for ; Fri, 16 Nov 2001 13:05:25 +0100 (MET) Received: from la.pp.htv.fi (root@kruuna.helsinki.fi [128.214.205.14]) by no-spam.it.helsinki.fi (8.11.4/8.11.4-SPAMmers-sod-off) with ESMTP id fAGC5OV03685 for ; Fri, 16 Nov 2001 14:05:24 +0200 (EET) Received: from la by la.pp.htv.fi with local (Exim 3.32 #1 (Debian)) id 164hkF-0000Ah-00 for ; Fri, 16 Nov 2001 14:05:19 +0200 Date: Fri, 16 Nov 2001 14:05:15 +0200 From: Lauri Alanko To: caml-list@inria.fr Subject: Re: [Caml-list] queasiness about Exit Message-ID: <20011116140514.A472@la.iki.fi> References: <20011115093845.A26661@rootless> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20011115093845.A26661@rootless> User-Agent: Mutt/1.3.23i Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk This seems like something where first-class continuations would be useful. Are there any plans on adding them to O'Caml? SML/NJ at least seems to have them. If full continuations are too expensive, even upwards-only continuations would be a handy alternative to exceptions. Lauri Alanko la@iki.fi ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr