From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <bobzhang1988@gmail.com>
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by sympa.inria.fr (Postfix) with ESMTPS id B93187ED7A
	for <caml-list@sympa.inria.fr>; Wed, 19 Sep 2012 23:35:17 +0200 (CEST)
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  bobzhang1988@gmail.com) identity=pra;
  client-ip=209.85.212.54;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="bobzhang1988@gmail.com";
  x-sender="bobzhang1988@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of
  bobzhang1988@gmail.com designates 209.85.212.54 as permitted
  sender) identity=mailfrom; client-ip=209.85.212.54;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="bobzhang1988@gmail.com";
  x-sender="bobzhang1988@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-vb0-f54.google.com) identity=helo;
  client-ip=209.85.212.54;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="bobzhang1988@gmail.com";
  x-sender="postmaster@mail-vb0-f54.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgQDAEc5WlDRVdQ2kGdsb2JhbABFhUNHtTIEBBlgCCMBAQEBCQkNBxQEI4IgAQEBBAEBAQ8CCQYVCAEbEAwBAQMMBgULDQICBRYLAgIJAwIBAgEREQEFARwTAQcBAR6HTgEDD5tjCQOLVk+Cc4UOChknDVmIdAEFDIEVjyqBEgOVZI5CP4Qi
X-IronPort-AV: E=Sophos;i="4.80,450,1344204000"; 
   d="scan'208";a="173873829"
Received: from mail-vb0-f54.google.com ([209.85.212.54])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 Sep 2012 23:35:17 +0200
Received: by vbmv11 with SMTP id v11so3073088vbm.27
        for <caml-list@inria.fr>; Wed, 19 Sep 2012 14:35:16 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=message-id:date:from:user-agent:mime-version:newsgroups:cc:subject
         :references:in-reply-to:content-type:content-transfer-encoding;
        bh=U+Ek3wUQO/4B4uTGBDCU/9Z3cT5/J12/rXajTRWpAlo=;
        b=YjYCvAbYoOvEtESbCbGwvi+W2CHgFNF+DCiyC7fuxzWxP2dk5f9EW2naHgDXtPCs/0
         Or5kvJ11pbd8CEaTfkMym5Eb3ksuBTENg3yWuYMO29i5DW5udZ6DoyLvN0YHjEkuqcq8
         zC+xEoX/RpRoR1KMuIzmgrnp9nDQ8JcrjKWKsYfMwfu/xmc8qDQ0kV1MyaRHdlAZtwF0
         SwvDZyqfC38YeCMcUG0yOwpMGcv7yRsk0rGu5KJoMHRyLfvInybcFW9azbe46Gw/mYpa
         FrLKEVEINxKjO/l/GPhWfpIgCE5glLmEWwDXXjqsrS+idL3yVUtuJG47R0R6+phtU6OB
         +Gug==
Received: by 10.58.132.239 with SMTP id ox15mr2687700veb.59.1348090516011;
        Wed, 19 Sep 2012 14:35:16 -0700 (PDT)
Received: from seas1228.wireless-pennnet.upenn.edu (seas1228.wireless-pennnet.upenn.edu. [158.130.108.206])
        by mx.google.com with ESMTPS id b7sm1077226vdv.2.2012.09.19.14.35.14
        (version=SSLv3 cipher=OTHER);
        Wed, 19 Sep 2012 14:35:15 -0700 (PDT)
Message-ID: <505A3A91.4030306@gmail.com>
Date: Wed, 19 Sep 2012 17:35:13 -0400
From: Hongbo Zhang <bobzhang1988@gmail.com>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7; rv:15.0) Gecko/20120907 Thunderbird/15.0.1
MIME-Version: 1.0
Newsgroups: gmane.comp.lang.caml.inria
CC: Wojciech Meyer <wojciech.meyer@googlemail.com>, 
 Caml List <caml-list@inria.fr>,
 Steve Zdancewic <stevez@cis.upenn.edu>
References: <CANcqPu5zb_u=HdrP8Cj0NAZBYzsZN2bFByUkVSjtuWhuOZnoVg@mail.gmail.com> <wfipb9vlc1.fsf@gmail.com> <505A373F.40801@gmail.com>
In-Reply-To: <505A373F.40801@gmail.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Subject: [Caml-list] Re: Call for collaboration on the future of camlp4

On 9/19/12 5:21 PM, Hongbo Zhang wrote:
> On 9/19/12 3:55 PM, Wojciech Meyer wrote:

> - It should not be external tool - like previously observed - it's
> difficult to support for code highlighters or refactoring (tools in
> general) - if it depends on a build step or command line options.
> Yes!
Sorry, a bit typo. IMHO, making it an external tool gains a lot of 
flexibility. The main purpose of macros is to define your own language 
without the support of compiler. If it's tightly coupled with compiler, 
any minimal change will be delayed. Given the compiler library was 
exported, I don't see any sense that P4 still stays in the compiler.
Regards, Bob
>
>
>