From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jake.donham@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=2.5 required=5.0 tests=AWL,DNS_FROM_RFC_POST,
	SPF_NEUTRAL autolearn=disabled version=3.1.3
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 9C275BBC4
	for <caml-list@yquem.inria.fr>; Fri, 17 Apr 2009 22:06:47 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AhIAAMx96EnRVd14oWdsb2JhbACVej8BAQEBAQEHCQoCBxGoY5APAQMBA4N6BoYy
X-IronPort-AV: E=Sophos;i="4.40,206,1238968800"; 
   d="scan'208";a="38655318"
Received: from mail-qy0-f120.google.com ([209.85.221.120])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 17 Apr 2009 22:06:47 +0200
Received: by qyk26 with SMTP id 26so2183154qyk.1
        for <caml-list@yquem.inria.fr>; Fri, 17 Apr 2009 13:06:46 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:sender:received:in-reply-to
         :references:from:date:x-google-sender-auth:message-id:subject:to:cc
         :content-type:content-transfer-encoding;
        bh=B6UhnvRtYHPWMelG3Tpa+5nH8xesky0lsiRkOmLb0ZA=;
        b=nG5OvB48TvSlSpANkJpexn5Y2Rp7e+rUKJXPVZKOBSUUCTCwyysCfobELjSoN+nUVK
         S+/6E8cjRzTXOQMpFE4ryVC9/jRhUkn+15awZY8dr+gDfaB4aQdAObZnazHAxC3dPQ4I
         QBXAI2m2AdtIrXTUJNASzSFzLC68pmwMpNZyo=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:sender:in-reply-to:references:from:date
         :x-google-sender-auth:message-id:subject:to:cc:content-type
         :content-transfer-encoding;
        b=G+K9WUbzJbw6ZSAUTyLLJcrYkmrklZH3YnE5+1ZHRWg8WcHcrMZMGBQdS0plW+FfZj
         Qq4Qg837BzHTuH70eDm10IY0fYjtnLiwOBDlmIR7JZO0kY7wDWV/RQJ+p3rHNNu4jEiU
         q86PIsQAtARgXjBwrzFW3WU5WxxOVnRVe2gbg=
MIME-Version: 1.0
Sender: jake.donham@gmail.com
Received: by 10.224.73.139 with SMTP id q11mr4335610qaj.120.1239998806141; 
	Fri, 17 Apr 2009 13:06:46 -0700 (PDT)
In-Reply-To: <BFCC3F90-1A3B-4191-A1C8-0F3E271F6D56@gmail.com>
References: <BFCC3F90-1A3B-4191-A1C8-0F3E271F6D56@gmail.com>
From: Jake Donham <jake@donham.org>
Date: Fri, 17 Apr 2009 13:06:31 -0700
X-Google-Sender-Auth: 534f582a3e72e3b4
Message-ID: <c7e4e9f0904171306l5750c74dwf212062b8bfa1c73@mail.gmail.com>
Subject: Re: [Caml-list] quasiquoting: 3 parsers for camlp4 vs 1 for haskell?
To: Joel Reymont <joelr1@gmail.com>
Cc: "O'Caml Mailing List" <caml-list@yquem.inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; parsers:01 camlp:01 haskell:01 parsers:01 camlp:01 parser:01 ocaml:01 2009:98 mainland:98 wrote:01 caml-list:01 ast:02 module:03 pattern:04 fri:05 

On Fri, Apr 17, 2009 at 11:24 AM, Joel Reymont <joelr1@gmail.com> wrote:
> Can someone shed light on how, where and why three different
> parsers are required for camlp4? Is this still the case with 3.11?

I haven't read the Mainland paper so I don't know exactly what he's
talking about, but with the MetaGenerator module in Camlp4 you can use
one parser for all three tasks.

Antiquotations can be used in pattern matching (you can see this all
over the Camlp4 source for the OCaml AST). Don't be misled by my
jsgen.ml; it's just not finished.

Jake