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=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 9A0DBBC6C for ; Fri, 8 Feb 2008 22:13:14 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAG9UrEfAXQImh2dsb2JhbACQNQEBAQgKKZt4 X-IronPort-AV: E=Sophos;i="4.25,323,1199660400"; d="scan'208";a="7838925" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 08 Feb 2008 22:13:14 +0100 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m18LDDD9023648 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 8 Feb 2008 22:13:14 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAADhVrEfBMVMPn2dsb2JhbACQNQEBAQEBBgQGCQgYm3E X-IronPort-AV: E=Sophos;i="4.25,323,1199660400"; d="scan'208";a="8975353" Received: from kabis.univ-orleans.fr (HELO ka.univ-orleans.fr) ([193.49.83.15]) by mail3-smtp-sop.national.inria.fr with ESMTP; 08 Feb 2008 22:13:13 +0100 Received: from smtps.univ-orleans.fr (localhost [127.0.0.1]) by ka.univ-orleans.fr (Postfix) with ESMTP id 3CA1D12AD5E; Fri, 8 Feb 2008 22:13:13 +0100 (CET) Received: from [192.168.0.12] (ras75-4-82-235-58-110.fbx.proxad.net [82.235.58.110]) by smtps.univ-orleans.fr (Postfix) with ESMTP id 3304A36E5B; Fri, 8 Feb 2008 22:13:17 +0100 (CET) Subject: Re: [Caml-list] [OSR] Exceptionless error management, take 2 From: David Teller To: =?ISO-8859-1?Q?B=FCnzli?= Daniel Cc: caml-list List In-Reply-To: <2C21FA03-40CA-48A1-9CAE-A57DE60D3F70@erratique.ch> References: <1202396482.6084.5.camel@Blefuscu> <20080208.001729.233402575.garrigue@math.nagoya-u.ac.jp> <20080208095333.GA582@snarc.org> <1202467938.47ac3462d077a@imp.free.fr> <20080208115635.GA2885@snarc.org> <1202485185.7079.18.camel@Blefuscu> <2C21FA03-40CA-48A1-9CAE-A57DE60D3F70@erratique.ch> Content-Type: text/plain; charset=utf-8 Date: Fri, 08 Feb 2008 22:13:12 +0100 Message-Id: <1202505192.6191.13.camel@Blefuscu> Mime-Version: 1.0 X-Mailer: Evolution 2.12.1 Content-Transfer-Encoding: 8bit X-Miltered: at discorde with ID 47ACC5EA.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; univ-orleans:01 0100,:01 pervasives:01 variants:01 hypothetical:01 hypothetical:01 cheers:01 univ-orleans:01 lifo:01 liquidations:98 polymorphic:01 wrote:01 defines:01 caml-list:01 variant:02 On Fri, 2008-02-08 at 20:29 +0100, Bünzli Daniel wrote: > At the risk of repeating myself, if Pervasives defines a plain variant > ('a, 'b) may_fail = Success of 'a | Error of 'b, I don't care about > polymorphic variants. The thing is that for now I don't want to depend > on hypothetical improvements to the standard library performed outside > the scope of the base distribution. Take 1 allows this, take 2 doesn't > allow it. Indeed. As I mentioned in another post, I'm quite interested into getting these "hypothetical improvements to the standard library performed outside the scope of the base distribution" to take off. Two different conceptions of what needs to be fixed. Anyway, it's out of our hands now. Cheers, David -- David Teller Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, but the LRU act brings liquidations.