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 DAA24041; Wed, 19 Nov 2003 03:37:04 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 DAA24022 for ; Wed, 19 Nov 2003 03:37:03 +0100 (MET) Received: from smtp.siren.ocn.ne.jp (siren.ocn.ne.jp [211.129.13.170]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id hAJ2b1121326 for ; Wed, 19 Nov 2003 03:37:01 +0100 (MET) Received: from PWARP (p1164-ipad05kyoto.kyoto.ocn.ne.jp [220.105.38.164]) by smtp.siren.ocn.ne.jp (Postfix) with SMTP id 087E03BAE; Wed, 19 Nov 2003 11:36:59 +0900 (JST) Message-ID: <00c001c3ae45$fe15e4d0$0274a8c0@PWARP> From: "Nicolas Cannasse" To: "Martin Berger" , "Caml Mailing List" References: <1069168323.18363.83.camel@pelican> <3FBA4D97.9060309@dcs.qmul.ac.uk> <3FBA6459.3000000@socialtools.net> <20031118202438.A9506@pauillac.inria.fr> <3FBAC938.8080309@dcs.qmul.ac.uk> Subject: Re: [Caml-list] GC and file descriptors Date: Wed, 19 Nov 2003 11:28:50 +0900 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 8bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2800.1158 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165 X-Loop: caml-list@inria.fr X-Spam: no; 0.00; cannasse:01 warplayer:01 caml-list:01 pessaux:01 type-based:01 publi:01 havn't:01 inference:01 cannasse:01 nicolas:01 nicolas:01 descriptors:01 exception:02 uncaught:02 exceptions:04 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > > François Pessaux and Xavier Leroy. Type-based analysis of uncaught > > exceptions. ACM Transactions on Programming Languages and Systems, > > 22(2):340-377, 2000. > > http://pauillac.inria.fr/~xleroy/publi/exceptions-toplas.ps.gz > > i havn't had time to give that paper the proper read it deserves, > but the following caught my eye: [...] I haven't read the paper either, but I was wondering that maybe static exceptions inference would also permit exception polymorphism... Just my two cents... Nicolas Cannasse ------------------- 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