From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA09201 for caml-redistribution; Thu, 16 Dec 1999 12:55:17 +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 LAA21826 for ; Thu, 16 Dec 1999 11:43:42 +0100 (MET) Received: from jaune.inria.fr (jaune.inria.fr [128.93.11.80]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id LAA27329 for ; Thu, 16 Dec 1999 11:43:42 +0100 (MET) Received: (from ddr@localhost) by jaune.inria.fr (8.8.7/8.8.7) id LAA27530; Thu, 16 Dec 1999 11:43:33 +0100 Message-ID: <19991216114333.M27024@jaune.inria.fr> Date: Thu, 16 Dec 1999 11:43:33 +0100 From: Daniel de Rauglaudre To: Judicael Courant Cc: Norman Ramsey , caml-list@inria.fr Subject: Re: A common use of try ... with References: <199912141953.OAA04635@labrador.eecs.harvard.edu> <19991215110453.C20737@jaune.inria.fr> <14424.39043.786900.267749@pc87.lri.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Mailer: Mutt 0.93.2 In-Reply-To: <14424.39043.786900.267749@pc87.lri.fr>; from Judicael Courant on Thu, Dec 16, 1999 at 08:45:07AM +0100 Sender: weis > tryeval exp > val x -> f x (* this case is evaluated only when exp evaluates to a value *) > with > (* possible exceptions *) > | Exception1 -> ... > | Exception2 y -> ... No problem: experiment that with Camlp4, which is exactly its application domain and tell us your conclusions! > tryeval exp > val x -> f x (* évalué seulement si exp ne lève pas d'exception, dans > ce cas x est la valeur de exp *) > with > (* exceptions possibles *) > | Exception1 -> ... > | Exception2 y -> ... Pas de problème: expérimente ça avec Camlp4, ce qui est exactement son domaine d'application et fais-nous part de tes conclusions! -- Daniel de RAUGLAUDRE daniel.de_rauglaudre@inria.fr http://cristal.inria.fr/~ddr/