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 45F8DBC6C for ; Wed, 6 Feb 2008 14:13:59 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAO9AqUdA6bjgi2dsb2JhbACQMgEBAQgEBAkKEQWWLYZP X-IronPort-AV: E=Sophos;i="4.25,312,1199660400"; d="scan'208";a="22293631" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 06 Feb 2008 14:13:59 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m16DDwJO021818 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 6 Feb 2008 14:13:58 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAO9AqUdA6bjgi2dsb2JhbACQMgEBAQgEBAkKEQWWLYZP X-IronPort-AV: E=Sophos;i="4.25,312,1199660400"; d="scan'208";a="22293629" Received: from wr-out-0506.google.com ([64.233.184.224]) by mail4-smtp-sop.national.inria.fr with ESMTP; 06 Feb 2008 14:13:57 +0100 Received: by wr-out-0506.google.com with SMTP id c57so2906862wra.9 for ; Wed, 06 Feb 2008 05:13:57 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; bh=F/LQZZ5eLKmRn6ElZc9dgsr1nI7zmZ5vH/HApufBP70=; b=KhADvq4ZxyaWqA+S0vdeKAwkT/kCf9doPGYYHG1dvEEX1HJrFJ/0GwmFM0hPHV5osjF6rW75vDJDVA7itWv6xkC0yUK9w93qTTU4Q3Ey+h7GtF2o5vAjbhOElpEyJq8bu56cQ/ue+WjhKRPi5AChiTBgpSD2djOLaE5ov+cs4bo= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=s3kQ+WiOOb4qDL1QjmjkI/ov7n/jTGySd2IZ8fS/y7Nzdic0B4EHilYBskx3JvFfLdTAowIokm/p1P+3OZuT+AkNFcDlR9VdgoQv49YYTPtRnB15BcjVOwzwdpr1e8Nlyd0TBx+LbXK+x4dBcf3rOs5RwR6go/lJpZsItch4uno= Received: by 10.142.231.7 with SMTP id d7mr1260166wfh.30.1202303636718; Wed, 06 Feb 2008 05:13:56 -0800 (PST) Received: by 10.142.115.3 with HTTP; Wed, 6 Feb 2008 05:13:56 -0800 (PST) Message-ID: <9d3ec8300802060513q6574ed3fte64ef3b73c4de036@mail.gmail.com> Date: Wed, 6 Feb 2008 13:13:56 +0000 From: "Till Varoquaux" To: "=?UTF-8?Q?B=C3=BCnzli_Daniel?=" Subject: Re: [Caml-list] Re: Empty polymorphic variant type Cc: "caml-list List" In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: base64 Content-Disposition: inline References: <9d3ec8300802060416t39660ca3r9fbcf0fd1a161d43@mail.gmail.com> <9d3ec8300802060424j6fbe3378m8ac51d14cc399d6b@mail.gmail.com> X-Miltered: at concorde with ID 47A9B296.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; subtyping:01 subtype:01 unify:01 buenzli:01 polymorphic:01 wrote:01 readable:01 caml-list:01 variant:02 breaks:02 seems:03 daniel:04 daniel:04 looks:08 feb:08 SXQgbG9va3MgYSBsaXR0bGUgbmljZXIgYnV0IGJyZWFrcyB0aGUgc3VidHlwaW5nOiBbYE5vbmVd IGlzIG5vdCBhCnN1YnR5cGUgb2YgWz5gU29tZSBbPmBSZWFkYWJsZV1dIHNvIHlvdSBub3cgaGF2 ZSB0byB3cml0ZSB0aGUKdHlwZSByZWFkb25seSBhczogWzwgYE5vbmUgfCBgU29tZSBvZiBbYFJl YWRdIF0gdCBpZiB5b3Ugd2FudCBpdCB0bwp1bmlmeSB3aXRoIFtgTm9uZV0uCgpJJ20gbm90IHN1 cmUgdGhpcyBpcyBhIGh1Z2UgYmVuZWZpdAoKVGlsbAoKCk9uIEZlYiA2LCAyMDA4IDEyOjMzIFBN LCBCw7xuemxpIERhbmllbCA8ZGFuaWVsLmJ1ZW56bGlAZXJyYXRpcXVlLmNoPiB3cm90ZToKPgo+ IExlIDYgZsOpdnIuIDA4IMOgIDEzOjI0LCBUaWxsIFZhcm9xdWF1eCBhIMOpY3JpdCA6Cj4KPiA+ IHdvdWxkIHdvcmsgYnV0IGl0IHNlZW1zIGNsdW5reSBhbmQgY29udm9sdXRlZC4KPgo+IFN0aWxs IGNsdW5reSBidXQgd2hhdCBhYm91dAo+Cj4gdHlwZSBwZXJtaXNzaW9uX2tpbmQgPSBbIGBSZWFk IHwgYFdyaXRlIF0KPiB0eXBlICdhIGFjY291bnQgY29udHJhaW50ICdhID0gWzwgYE5vbmUgfCBg U29tZSBvZiBbPAo+IHBlcm1pc3Npb25fa2luZF1dOzsKPgo+IEJlc3QsCj4KPiBEYW5pZWwKPgo+ CgoKCi0tIApodHRwOi8vdGlsbC12YXJvcXVhdXguYmxvZ3Nwb3QuY29tLwo=