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.1 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 EB54EBC69 for ; Wed, 24 Oct 2007 13:30:32 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAOLIHkfRVYC8kmdsb2JhbACOWQEBAQEHBAQTFoEp X-IronPort-AV: E=Sophos;i="4.21,324,1188770400"; d="scan'208";a="18552555" Received: from fk-out-0910.google.com ([209.85.128.188]) by mail4-smtp-sop.national.inria.fr with ESMTP; 24 Oct 2007 13:30:32 +0200 Received: by fk-out-0910.google.com with SMTP id b27so183928fka for ; Wed, 24 Oct 2007 04:30:32 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:in-reply-to:references:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer; bh=6LvgswfuN4cPsnMJHbLP6nrdcyuj5XQt7TZlL9v0W8I=; b=NNoolTNk9XwKKSKNO3LcIVdpnbTc24w8XMcR8rlZ5x9ouYk5x0lh9ZQ6Bh8L/SNknJ2OKsXOTwOAxQnBliNbPYtpKWwHnRPXCQbpkEOIahJOnCe7cDzt+x2iR1xLrHee4MlfHHn1jnj+pPex2AAl429YCW9arQAiEVHKJNb5+UA= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:in-reply-to:references:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer; b=H1gc9dZo3T6Q8rCEocqObOYBOpn2+ABnEiM2kPwcxA6VCZWwHGgwwAOqpwCPeXUWgsItrlM+Uv0ewoC6lAhjUbq6Dqol8bca9JweMqKlrIvyFc7dB5pgSpXV3XUI0XjyAVCLCv3Nrl8dVxUGR4fu0ldD7wllb8UDfxkjMU0J/Kg= Received: by 10.82.165.13 with SMTP id n13mr1140479bue.1193225431952; Wed, 24 Oct 2007 04:30:31 -0700 (PDT) Received: from ?192.168.1.34? ( [83.52.62.167]) by mx.google.com with ESMTPS id 34sm930296nfu.2007.10.24.04.30.30 (version=SSLv3 cipher=OTHER); Wed, 24 Oct 2007 04:30:31 -0700 (PDT) In-Reply-To: <891bd3390710240405l40ddee68l1d8876c7be98ff34@mail.gmail.com> References: <867ildqacq.fsf@Llea.celt.neu> <471EFD20.5010303@inria.fr> <891bd3390710240405l40ddee68l1d8876c7be98ff34@mail.gmail.com> Mime-Version: 1.0 (Apple Message framework v752.3) Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: <0D7AC9CC-1885-4C13-8D9F-31C2D6BEFEE2@gmail.com> Cc: O'Caml Mailing List Content-Transfer-Encoding: 7bit From: Joel Reymont Subject: Re: [Caml-list] Preferred use of Invalid_argument and Failure Date: Wed, 24 Oct 2007 12:30:23 +0100 To: "Yaron Minsky" X-Mailer: Apple Mail (2.752.3) X-Spam: no; 0.00; yaron:01 yaron:01 minsky:01 variants:01 variants:01 2007,:98 polymorphic:01 polymorphic:01 wrote:01 caml-list:01 argument:02 explicit:04 explicit:04 elaborate:07 cases:08 Yaron, On Oct 24, 2007, at 12:05 PM, Yaron Minsky wrote: > Where I work, we have come to dearly love the practice of returning > polymorphic variants with explicit variants for various "normal" > error cases. Can you elaborate? Are your explicit variants still polymorphic? -- http://wagerlabs.com