From: Hongbo Zhang <bobzhang1988@gmail.com>
Cc: Wojciech Meyer <wojciech.meyer@googlemail.com>,
Caml List <caml-list@inria.fr>,
Steve Zdancewic <stevez@cis.upenn.edu>
Subject: [Caml-list] Re: Call for collaboration on the future of camlp4
Date: Wed, 19 Sep 2012 17:35:13 -0400 [thread overview]
Message-ID: <505A3A91.4030306@gmail.com> (raw)
In-Reply-To: <505A373F.40801@gmail.com>
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
>
>
>
next prev parent reply other threads:[~2012-09-19 21:35 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-09-18 19:11 [Caml-list] " bob zhang
2012-09-19 19:55 ` Wojciech Meyer
2012-09-19 21:21 ` [Caml-list] " Hongbo Zhang
2012-09-19 21:35 ` Hongbo Zhang [this message]
2012-09-30 17:02 ` bobzhang
2012-09-20 9:36 [Caml-list] " oleg
2012-09-20 12:16 ` [Caml-list] " Hongbo Zhang
2012-09-22 7:50 ` oleg
2012-09-22 12:02 ` Hongbo Zhang
2012-09-22 12:53 ` Jacques Carette
2012-09-22 13:13 ` Hongbo Zhang
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=505A3A91.4030306@gmail.com \
--to=bobzhang1988@gmail.com \
--cc=caml-list@inria.fr \
--cc=stevez@cis.upenn.edu \
--cc=wojciech.meyer@googlemail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox