From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 06DD1BC6C for ; Thu, 31 Jan 2008 22:16:17 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAJ/JoUfAXQInh2dsb2JhbACQIgEBAQgKKZd9h3E X-IronPort-AV: E=Sophos;i="4.25,287,1199660400"; d="scan'208";a="22032538" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 31 Jan 2008 22:16:16 +0100 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m0VLGGtu000369 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 31 Jan 2008 22:16:16 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAACPJoUdC+VytkGdsb2JhbACQIgEBAQEHBAYHChEFl32HcQ X-IronPort-AV: E=Sophos;i="4.25,287,1199660400"; d="scan'208";a="8588684" Received: from ug-out-1314.google.com ([66.249.92.173]) by mail3-smtp-sop.national.inria.fr with ESMTP; 31 Jan 2008 22:16:15 +0100 Received: by ug-out-1314.google.com with SMTP id k40so608887ugc.18 for ; Thu, 31 Jan 2008 13:16:15 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:from:to:in-reply-to:content-type:content-transfer-encoding:mime-version:subject:date:references:x-mailer:sender; bh=9G/SH7L+WaTAEQMZNJL/NGlLAuCbDArxT7jGQ9RzA/o=; b=IeU2/sbxUq98SCDb20In71UEF0wCmhvjeWfKYznxVAwaIltPCWuSC6MMQsqxX5RLaewBA8eeLNAQzVZlZctYpSIxlDak11mugBkzOwM3H0JFTJ4pqrpmWNevrOWW3T986ZeO/8DiRYHsIPpzD1rn1GCJQkamHZUKq1/YNzvjN3Q= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:from:to:in-reply-to:content-type:content-transfer-encoding:mime-version:subject:date:references:x-mailer:sender; b=LbIvF1C6yW4x71YzerGnpDi/eFwuMapcn60Z1ynpXitMKn+zQ4e3Ri+noRSkOJzY9Gfy6X21O0SaIsmr2VpqJFv6nJUjv97oEfYtHIJrIaoZJX4w83ZUb9fMd1OzJuW6ubfhHCnHDU5GXjC6dneJi7Xko3JUkdj5XrwYHv+FLcU= Received: by 10.78.132.2 with SMTP id f2mr4414645hud.19.1201814174665; Thu, 31 Jan 2008 13:16:14 -0800 (PST) Received: from ?192.168.1.58? ( [85.2.50.200]) by mx.google.com with ESMTPS id d27sm5793282nfh.34.2008.01.31.13.16.14 (version=TLSv1/SSLv3 cipher=OTHER); Thu, 31 Jan 2008 13:16:14 -0800 (PST) Message-Id: From: =?ISO-8859-1?Q?B=FCnzli_Daniel?= To: caml-list List In-Reply-To: <1201811141.6565.21.camel@Blefuscu> Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Apple Message framework v915) Subject: Re: [Caml-list] [OSR] Exceptionless error management Date: Thu, 31 Jan 2008 22:16:16 +0100 References: <9d3ec8300801310157r77b86fc0k80f40b1df36091c2@mail.gmail.com> <0640C30E-07B5-4885-AC38-671755BB79AA@erratique.ch> <47A1D68B.70700@fmf.uni-lj.si> <1201811141.6565.21.camel@Blefuscu> X-Mailer: Apple Mail (2.915) Sender: =?ISO-8859-1?Q?Daniel=20B=FCnzli?= X-Miltered: at concorde with ID 47A23AA0.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; bunzli:01 buenzli:01 camlp:01 ocaml:01 wiki:01 guideline:98 guideline:98 unix:01 caml-list:01 modules:02 external:03 module:03 library:03 daniel:04 daniel:04 Le 31 janv. 08 =E0 21:25, David Teller a =E9crit : > What do you think about this solution ? I have no love for camlp4 and I don't like too much infrastructure. As =20= I already said I'm not really interested in having both.The =20 recommendation as given has the advantage that it doesn't introduce =20 any new type in the standard library or require external support. It =20 is just a design guideline. Actually maybe this should have been =20 called an ODG (ocaml design guideline) since as other have pointed out =20= on the wiki there are extreme cases (like the Unix module) where you =20 don't want exceptionless error management and I agree. Still, I think =20= this recommendation is widely applicable and should be used for most =20 (new) modules and I wanted to be able to put a name on it. However as =20= always use your judgement too see if it really fits. Best, Daniel