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 4E074BC6C for ; Fri, 8 Feb 2008 20:29:18 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAFg8rEfAXQInh2dsb2JhbACQNQEBAQgKKZYlhWE X-IronPort-AV: E=Sophos;i="4.25,322,1199660400"; d="scan'208";a="22417181" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 08 Feb 2008 20:29:18 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m18JTHNJ009979 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 8 Feb 2008 20:29:17 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAANI7rEfRVaKzmWdsb2JhbACQNQEBAQEBBgQECwgYliGFXw X-IronPort-AV: E=Sophos;i="4.25,322,1199660400"; d="scan'208";a="7112285" Received: from el-out-1112.google.com ([209.85.162.179]) by mail2-smtp-roc.national.inria.fr with ESMTP; 08 Feb 2008 20:29:17 +0100 Received: by el-out-1112.google.com with SMTP id m34so1839273ele.9 for ; Fri, 08 Feb 2008 11:29:16 -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=v7sXemGTgqrpmpMFEuHDWOM2wEYZoylEs/EhWTeQrjQ=; b=jP4OYeYTboTD8bJwfJ04UoWnu4FG+TCaJ1WHNnTlHHTNcyeGgXhrz5TNK/IvkhrkdIaKOPo2qh7CDeOaSnb+/FO+OpebaRFnJJ5CnUf9VepVzjJ+Qq2oaTA/e6MaFlwJWKrcFPn4EWu5FhV1wZgBCNoaXmWBL8htBXDivDgW/xs= 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=iT1tjpsBOPT/g1RAjmcNk5fkJLfN3qnRePkCFUGy11YmU+lFK9csVoPRWcFBZJVOM4Zpawbls8kC0c6wcdotghu8RRNr2hYOX1X0TfhNfo0/ZMw+eeT8qIUeao+mm8JLcqpgVM5g0AerF3ISiemUjQKnS6FdWKECsUlmAYO3EPs= Received: by 10.150.134.7 with SMTP id h7mr5462720ybd.97.1202498956371; Fri, 08 Feb 2008 11:29:16 -0800 (PST) Received: from ?192.168.1.58? ( [85.2.101.79]) by mx.google.com with ESMTPS id g17sm32446500nfd.10.2008.02.08.11.29.15 (version=TLSv1/SSLv3 cipher=OTHER); Fri, 08 Feb 2008 11:29:16 -0800 (PST) Message-Id: <2C21FA03-40CA-48A1-9CAE-A57DE60D3F70@erratique.ch> From: =?ISO-8859-1?Q?B=FCnzli_Daniel?= To: caml-list List In-Reply-To: <1202485185.7079.18.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, take 2 Date: Fri, 8 Feb 2008 20:29:19 +0100 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> X-Mailer: Apple Mail (2.915) Sender: =?ISO-8859-1?Q?Daniel=20B=FCnzli?= X-Miltered: at concorde with ID 47ACAD8D.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; bunzli:01 buenzli:01 variants:01 variants:01 pervasives:01 hypothetical:01 polymorphic:01 polymorphic:01 defines:01 caml-list:01 precisely:01 variant:02 library:03 scope:04 daniel:04 Le 8 f=E9vr. 08 =E0 16:39, David Teller a =E9crit : > On the other hand, if you intend to use `Error and `Success as a =20 > standard for > exceptionless error management, you will need to standardise the use =20= > of > these specific polymorphic variants for this specific meaning and to > either teach people how to write closed polymorphic variants or expect > them to miss errors every so often. That is precisely what take 1 OSR is for. At the risk of repeating myself, if Pervasives defines a plain variant =20= ('a, 'b) may_fail =3D Success of 'a | Error of 'b, I don't care about =20= polymorphic variants. The thing is that for now I don't want to depend =20= on hypothetical improvements to the standard library performed outside =20= the scope of the base distribution. Take 1 allows this, take 2 doesn't =20= allow it. Daniel