From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <joelr1@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,SPF_NEUTRAL 
	autolearn=disabled version=3.1.3
Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38])
	by yquem.inria.fr (Postfix) with ESMTP id 2F4F0BC69
	for <caml-list@yquem.inria.fr>; Mon, 30 Apr 2007 16:47:00 +0200 (CEST)
Received: from mu-out-0910.google.com (mu-out-0910.google.com [209.85.134.186])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3UEkxoG024685
	for <caml-list@inria.fr>; Mon, 30 Apr 2007 16:46:59 +0200
Received: by mu-out-0910.google.com with SMTP id w9so1693161mue
        for <caml-list@inria.fr>; Mon, 30 Apr 2007 07:46:59 -0700 (PDT)
DKIM-Signature: a=rsa-sha1; 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;
        b=mjHQlJueqLsbOfpaTJQ5Q3Scxy9E9/hssoRzAEhj+0BOZDsMNSanoHVhZprKpkVx/WgcG5OM+0d77uujv44ut6HXPkQMc2U6yXhq7VZHTal0Dk/L+F5OZJzpNo/DMsCjz50hTd3wNi/wWgl0BQqB+kgCQTH3Oizk2eGsCicY2lI=
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=gHiojxVR0gRjnJpz+W3WyYrQMqQUgp5hKum7dIT2Ykn3d8jkfj3HUHyGEfrAWJJtr6TD5QbDwhmloRN5QRvKGHAnE9dXEuE5soahG3zaS5MzuAxgIwpJ/HuK9Jz9NPRKpa/XpkXZbmEZTawCpvh90SYSKh2BLiOcUe/y/ryu4pw=
Received: by 10.82.148.7 with SMTP id v7mr12155836bud.1177944411512;
        Mon, 30 Apr 2007 07:46:51 -0700 (PDT)
Received: from ?192.168.1.34? ( [83.52.237.136])
        by mx.google.com with ESMTP id b36sm667859ika.2007.04.30.07.46.47;
        Mon, 30 Apr 2007 07:46:49 -0700 (PDT)
In-Reply-To: <cd67f63a0704300717j8272d5av2ea7f26b6e93de03@mail.gmail.com>
References: <220DCCF0-FD2D-4116-8E30-992C1AD3FE95@gmail.com> <cd67f63a0704300701g1a93b1dco14ba33216e9fa6cf@mail.gmail.com> <CB709021-BD3D-4C6B-B76E-3B92477E78EC@gmail.com> <cd67f63a0704300717j8272d5av2ea7f26b6e93de03@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: <E89999CC-F884-4D13-913F-76753B6CCABD@gmail.com>
Cc: "Caml List" <caml-list@inria.fr>
Content-Transfer-Encoding: 7bit
From: Joel Reymont <joelr1@gmail.com>
Subject: Re: Upgrading sexplib-2.7.0 to camlp4 3.10
Date: Mon, 30 Apr 2007 15:46:42 +0100
To: Nicolas Pouillard <nicolas.pouillard@gmail.com>
X-Mailer: Apple Mail (2.752.3)
X-j-chkmail-Score: MSGID : 46360163.001 on discorde : j-chkmail score : XXX : 5/20 1 0.000 -> 3
X-Miltered: at discorde with ID 46360163.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; camlp:01 ctyp:01 ctyp:01 params:01 failwith:01 ident:02 poly:02 poly:02 match:02 match:02 loc:03 loc:03 throws:03 middle:94 fold:06 

What does this match? I assume that $list...$ is a list but the dot  
in the middle throws me off.

     | <:ctyp< ! $list:parms$ . $tp$ >> -> poly _loc parms tp

Is this a good translation?

     | <:ctyp< ! $id:id$ >> ->
       (match id with
          | <:ident< $list:params$ . $tp$ >> ->
            poly _loc parms tp
          | _ -> failwith "fold_tp: unknown type")

	Thanks, Joel

--
http://wagerlabs.com/