From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <rathereasy@gmail.com>
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,HTML_10_20,HTML_MESSAGE,
	HTML_SHORT_LENGTH 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 5DC26BBCA
	for <caml-list@yquem.inria.fr>; Mon, 12 May 2008 23:55:42 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AmIDAKJYKEjRVYT5c2dsb2JhbACCNDcXjw8BDAMEBAkPBZUihFY
X-IronPort-AV: E=Sophos;i="4.27,475,1204498800"; 
   d="scan'208";a="26091465"
Received: from an-out-0708.google.com ([209.85.132.249])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 12 May 2008 23:55:41 +0200
Received: by an-out-0708.google.com with SMTP id b2so597009ana.102
        for <caml-list@yquem.inria.fr>; Mon, 12 May 2008 14:55:40 -0700 (PDT)
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:mime-version:content-type;
        bh=nv5ZHkPmvXiE7ksa24/TzfIk0fSrRj5+0ESMpNI++xc=;
        b=r7k70bMeTP+JvKeDZJk13Bd1V+zkg/YJlysz1mu35Mrb0NATwPXxOJKKETXBN8QJwy7f1ig/pFY3E9kj9y8Q5ZmTY9xnAH1IWfiDVyxUMrS9QoBYrIo4jqVoF9/JWRYfoopdMfIPlwPOJT9TKRfNGTBK09crfmiQaqTul83pzwQ=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:to:subject:mime-version:content-type;
        b=em5HJC6ZxEAtz9QiqAYT2adQwlX53ELmCquc+kbpyq/QglMibYNpJZVVmvkGDqA3JplLbYKrTBEZFk4f30jUL4i5BidyMe1gmRkDDiVjA3WyLpPYFWjrZuB+zumkbkYRpwxh1+AL5tpdDKdxkCfG6z/OGk1P1uVuQOOpeQeo2PU=
Received: by 10.100.190.14 with SMTP id n14mr8987253anf.142.1210629340653;
        Mon, 12 May 2008 14:55:40 -0700 (PDT)
Received: by 10.100.216.8 with HTTP; Mon, 12 May 2008 14:55:40 -0700 (PDT)
Message-ID: <f74178430805121455h3b1216b6ga3f6eee900b2b458@mail.gmail.com>
Date: Mon, 12 May 2008 17:55:40 -0400
From: "Jacques Le Normand" <rathereasy@gmail.com>
To: "caml-list caml-list" <caml-list@yquem.inria.fr>
Subject: polymorphic recursion
MIME-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_9683_31512254.1210629340635"
X-Spam: no; 0.00; recursion:01 ocaml:01 recursion:01 syntax:01 ocaml:01 syntax:01 polymorphic:01 polymorphic:01 jacques:03 i'm:09 i'm:09 what's:14 what's:14 does:14 does:14 

------=_Part_9683_31512254.1210629340635
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

Hello list,
I'm having trouble finding information on this; does ocaml support
polymorphic recursion and, if so, what's the syntax?
--Jacques

------=_Part_9683_31512254.1210629340635
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

Hello list,<br>I&#39;m having trouble finding information on this; does ocaml support polymorphic recursion and, if so, what&#39;s the syntax?<br>--Jacques<br>

------=_Part_9683_31512254.1210629340635--