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 EDCC3BC6B for ; Thu, 20 Sep 2007 14:23:35 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAL0D8kbAXQImn2dsb2JhbACOEQEBAQEHBAYHIA X-IronPort-AV: E=Sophos;i="4.20,278,1186351200"; d="scan'208";a="16474627" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 20 Sep 2007 14:24:58 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l8KCOBs2010250 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 20 Sep 2007 14:24:12 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAL0D8kZA6aaxhmdsb2JhbACOEQEBAQgEBAcIEwU X-IronPort-AV: E=Sophos;i="4.20,278,1186351200"; d="scan'208";a="1461268" Received: from py-out-1112.google.com ([64.233.166.177]) by mail2-smtp-roc.national.inria.fr with ESMTP; 20 Sep 2007 14:24:57 +0200 Received: by py-out-1112.google.com with SMTP id u52so917307pyb for ; Thu, 20 Sep 2007 05:24:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; bh=Aeq7FyfEOYbHw9ba4mvrgXY+pqEFcoRZv53NEeOoR/g=; b=Gm11eJG7EUdyTl0e3LMmV5u3sKSQHYlaqHamgVebgmHf50AqWThcJu3HUvvzrogX7eMdEmi9u+/TdrDNw7uHz6vcA48gelYVw4NqoNhlitrNzq2vgxucZkC+Vt2OgDWREMjHC0pNzAn8K7P9UT1fdMUpcpLLewNaWaxPX7gU4Qs= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=Xrfaa/Qr70OLolUEkexIiXz4Ocn4BVYS+TsxuvQ+KzKe3eayXg4wxsMmLjZ8uRPaijoT3QkjxoFvYv6w2m+epMt0gHh86vv4Om6YRGOxFOmwRztaWVF7kPgFyd1zeSHDD4GgcV4I96gDh9Ul5aIJYjZMQK3nL9NgxBQOYoEG+Y4= Received: by 10.64.243.10 with SMTP id q10mr292328qbh.1190291095645; Thu, 20 Sep 2007 05:24:55 -0700 (PDT) Received: by 10.64.242.14 with HTTP; Thu, 20 Sep 2007 05:24:55 -0700 (PDT) Message-ID: <4a708d20709200524o6a1453fvfe5c728c44efe2b9@mail.gmail.com> Date: Thu, 20 Sep 2007 14:24:55 +0200 From: "Lukasz Stafiniak" To: "ocaml ml" Subject: Re: Polymorphic recursion, please In-Reply-To: <4a708d20709200451p247b08ceodc65f23dd8e2c017@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <4a708d20709200451p247b08ceodc65f23dd8e2c017@mail.gmail.com> X-Miltered: at discorde with ID 46F2666B.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; lukasz:01 recursion:01 lukasz:01 recursion:01 beaten:98 polymorphic:01 polymorphic:01 wrote:01 i've:12 lack:12 bitten:13 should:13 propose:15 bad:21 that:23 On 9/20/07, Lukasz Stafiniak wrote: > I've been beaten by lack of polymorphic recursion again. I propose the It wasn't that bad, it's just my English: should be "bitten".