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 0B5A7BC6C for ; Fri, 1 Feb 2008 19:37:45 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAANb1okfAXQInh2dsb2JhbACQLQEBAQgKKZdEhkg X-IronPort-AV: E=Sophos;i="4.25,291,1199660400"; d="scan'208";a="22066610" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 01 Feb 2008 19:37:44 +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 m11IbiHg014142 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 1 Feb 2008 19:37:44 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAGH1okdC+VytkGdsb2JhbACQLQEBAQEHBAYHChEFl0yGSA X-IronPort-AV: E=Sophos;i="4.25,291,1199660400"; d="scan'208";a="6828354" Received: from ug-out-1314.google.com ([66.249.92.173]) by mail2-smtp-roc.national.inria.fr with ESMTP; 01 Feb 2008 19:37:44 +0100 Received: by ug-out-1314.google.com with SMTP id k40so761540ugc.18 for ; Fri, 01 Feb 2008 10:37:43 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:cc:message-id:from:to:in-reply-to:content-type:content-transfer-encoding:mime-version:subject:date:references:x-mailer:sender; bh=fTcRLrWJGIypKY3B22C0o/Nisnm34OdUPzBzoT/Thik=; b=MtLs84Ff/0jNymWGeQ9QP90njCEFs7UaW7Whdw9PA4XUW+HLSEgXap1CkBHQf2qc3GWHOCSvoEaqn2VZu6MhTHlgIx+19jZU87jnU630+d5ggPn+fk6w9VwCFpMLjSDsIgK0pJKXP1OqNxvqecrFqDpodLOVWql9KXynHw5+11w= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=cc:message-id:from:to:in-reply-to:content-type:content-transfer-encoding:mime-version:subject:date:references:x-mailer:sender; b=cxeb8fKkkpI3FhdzSzu43C98VOyT4e1SgOyKMRHNa8r0cawLmqRu2gmYeNLApNfL0oMrzu4IHDDISiYjLkrN+xzvaE5pELX041XbXj9JmWA3UWUsKt3xHlm9Rra2WGx/WjnxzBRH5fo7UFCBVHBThZxA1c2P0VNcAIfleT69w2c= Received: by 10.67.116.11 with SMTP id t11mr5757693ugm.61.1201891063681; Fri, 01 Feb 2008 10:37:43 -0800 (PST) Received: from ?192.168.1.58? ( [85.2.41.243]) by mx.google.com with ESMTPS id l4sm4060626ugf.75.2008.02.01.10.37.43 (version=TLSv1/SSLv3 cipher=OTHER); Fri, 01 Feb 2008 10:37:43 -0800 (PST) Cc: caml-list List Message-Id: <6622D5EE-DBCC-417C-8B84-D79973366AA7@erratique.ch> From: =?ISO-8859-1?Q?B=FCnzli_Daniel?= To: Vincent Hanquez In-Reply-To: <20080201155944.GA6369@snarc.org> 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: Fri, 1 Feb 2008 19:37:45 +0100 References: <9d3ec8300801310157r77b86fc0k80f40b1df36091c2@mail.gmail.com> <0640C30E-07B5-4885-AC38-671755BB79AA@erratique.ch> <47A1D68B.70700@fmf.uni-lj.si> <861w7xb0gi.fsf@Llea.celt.neu> <89B95036-D3D1-41FD-B99A-ED46D54BF89E@erratique.ch> <9d3ec8300802010250n5921415r36eb7f9773ef3681@mail.gmail.com> <2F3349DE-E200-4147-A5ED-78366A636D9E@erratique.ch> <20080201155944.GA6369@snarc.org> X-Mailer: Apple Mail (2.915) Sender: =?ISO-8859-1?Q?Daniel=20B=FCnzli?= X-Miltered: at concorde with ID 47A366F8.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; bunzli:01 buenzli:01 pervasives:01 pervasives:01 polymorphic:01 caml-list:01 variant:02 variant:02 defined:02 redefine:03 module:03 module:03 daniel:04 daniel:04 problem:05 Le 1 f=E9vr. 08 =E0 16:59, Vincent Hanquez a =E9crit : > but what's wrong with the plain [ Value of ... | Error of ... ] =20 > variant > instead of polymorphic variant ? If it is not defined in Pervasives you have to redefine in it every =20 module that follows the recommendation and prefix with module names on =20= matching. Annoying. Now if you know how to get something new accepted in Pervasives I have =20= no problem with a plain variant type. Best, Daniel