From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Christophe.Troestler+ocaml@umons.ac.be>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.3 required=5.0 tests=AWL,SPF_SOFTFAIL 
	autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by yquem.inria.fr (Postfix) with ESMTP id 1E003BBAF
	for <caml-list@yquem.inria.fr>; Sat, 23 May 2009 21:55:17 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AqgFAH3xF0rUNQVbc2dsb2JhbACXYwEKCgsJEbkrhAsF
X-IronPort-AV: E=Sophos;i="4.41,237,1241388000"; 
   d="scan'208";a="28185564"
Received: from postbode01.versateladsl.be ([212.53.5.91])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 23 May 2009 21:55:16 +0200
Received: (qmail 13379 invoked by uid 0); 23 May 2009 19:54:33 -0000
Received: from unknown (HELO poincare.swapping.umh.ac.be) ([94.109.196.49])
          (envelope-sender <Christophe.Troestler+ocaml@umons.ac.be>)
          by smtp.versateladsl.be (qmail-ldap-1.03) with SMTP
          for < >; 23 May 2009 19:54:33 -0000
Received: from [127.0.0.1] (helo=localhost ident=trch)
	by poincare.swapping.umh.ac.be with esmtp (Exim 4.69)
	(envelope-from <Christophe.Troestler+ocaml@umons.ac.be>)
	id 1M7xJC-0005va-SH; Sat, 23 May 2009 21:55:06 +0200
Date: Sat, 23 May 2009 21:55:06 +0200 (CEST)
Message-Id: <20090523.215506.457724047862958689.Christophe.Troestler+ocaml@umons.ac.be>
To: jon@ffconsultancy.com
Cc: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Camlp4 documentation
From: Christophe TROESTLER <Christophe.Troestler+ocaml@umons.ac.be>
In-Reply-To: <200905232022.38859.jon@ffconsultancy.com>
References: <862878.58359.qm@web23603.mail.ird.yahoo.com>
	<20090523.193721.593663251733925547.Christophe.Troestler+ocaml@umons.ac.be>
	<200905232022.38859.jon@ffconsultancy.com>
X-Face: #2fb%mPx>rRL@4ff~TVgZ"<[:,oL"`TUEGK/[8/qb58~C>jR(x4A+v/n)7BgpEtIph_neoLKJBq0JBY9:<qMr[nclFSC*8GVW;&@q*7^R?u"i{y>}8v|j
Organization: University of Mons
X-Mailer: Mew version 6.2.51 on Emacs 22.3 / Mule 5.0 (SAKAKI)
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; camlp:01 christophe:01 troestler:01 christophe:01 troestler:01 ocaml:01 0100,:01 camlp:01 2009:98 2009:98 wrote:01 wrote:01 matched:01 matched:01 caml-list:01 

On Sat, 23 May 2009 20:22:38 +0100, Jon Harrop wrote:
> 
> On Saturday 23 May 2009 18:37:21 Christophe TROESTLER wrote:
> > Tuples are thus constructed with "ExTup" which is matched by $tup$ :
> 
> How did you determine that they are matched with $tup$?

Frankly I can't remember.  Possibly in camlp4 sources or in a
discussion.

Regards,
C.