From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 279797EEAF for ; Wed, 23 Jan 2013 16:00:02 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of bobzhang1988@gmail.com) identity=pra; client-ip=209.85.210.178; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="bobzhang1988@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of bobzhang1988@gmail.com designates 209.85.210.178 as permitted sender) identity=mailfrom; client-ip=209.85.210.178; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ia0-f178.google.com) identity=helo; client-ip=209.85.210.178; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bobzhang1988@gmail.com"; x-sender="postmaster@mail-ia0-f178.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah0BAL36/1DRVdKym2dsb2JhbABEviMIFg4BAQEBAQgJCwkUJ4IeAQEFDDQBGxgFAQMMBgULDS4iAREBBQEcBhOIBgEDD55pjDSCe4R9ChknDVmIdgEFDJEnA4hhjSuBHI1MFimENQ X-IPAS-Result: Ah0BAL36/1DRVdKym2dsb2JhbABEviMIFg4BAQEBAQgJCwkUJ4IeAQEFDDQBGxgFAQMMBgULDS4iAREBBQEcBhOIBgEDD55pjDSCe4R9ChknDVmIdgEFDJEnA4hhjSuBHI1MFimENQ X-IronPort-AV: E=Sophos;i="4.84,523,1355094000"; d="scan'208";a="22053" Received: from mail-ia0-f178.google.com ([209.85.210.178]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Jan 2013 16:00:04 +0100 Received: by mail-ia0-f178.google.com with SMTP id y26so4149556iab.9 for ; Wed, 23 Jan 2013 06:59:59 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:in-reply-to:references:date:message-id :subject:from:to:cc:content-type:content-transfer-encoding; bh=DU+wgmwEUb2QIrT/ctrSyFPZd+d+7+Q3zHWTRu6roAU=; b=QIuO6COay2pchonLluVqbcGcVX2/u2PhXg4r83yR0Xi0yDa2TpnpHawr/xX9MpqbmU ITyB+ijuloJ4ZFm3FpZZL5m7CkwNXwuOzQGbDCe/o4z/VZG7si4yuaEDfwdoLo0P+Qf8 6BjmFcflYUu8Mu3lJgRtoaU+HoVxR3H5KmWZNBSvmc4Oax7Fk7CgciYFQWMVMnmSuYc7 MEi/rDSBOUOi5FFI6+CKQks5nK1si20b1lsnifnvaAUHYkeirI6M70QibhRyLS0cE3OR gcel948a+TAfEWCnyIgYF/xUDCdxtUAEcsFnGplvKD7wBVfYZr5NQ/103Ja/+BupTzOB Z/3Q== MIME-Version: 1.0 X-Received: by 10.50.7.234 with SMTP id m10mr1351356iga.43.1358953199710; Wed, 23 Jan 2013 06:59:59 -0800 (PST) Received: by 10.64.17.4 with HTTP; Wed, 23 Jan 2013 06:59:59 -0800 (PST) In-Reply-To: <50FFA222.4040103@etorok.net> References: <50FE9A4D.4070302@etorok.net> <50FF743A.4070906@gmail.com> <50FFA222.4040103@etorok.net> Date: Wed, 23 Jan 2013 09:59:59 -0500 Message-ID: From: bob zhang To: =?ISO-8859-1?Q?T=F6r=F6k_Edwin?= Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Re: Fan, a promising replacement of camlp4 Thanks, I have made the changes. btw, currently some work is being done in aggr branch An obvious difference is that I used '{| |}' instead of '<< >>' for quotation and '$' instead of '$$' for antiquotation.(for c/c++ friendly and {} works nice with editors) On Wed, Jan 23, 2013 at 3:41 AM, T=F6r=F6k Edwin wrote: > On 01/23/2013 07:25 AM, Hongbo Zhang wrote: >> On 1/22/13 8:55 AM, T=F6r=F6k Edwin wrote: >>> On 01/21/2013 07:29 AM, bob zhang wrote: >>>> >>>> There are a number of enhancements I don't mention here, it >>>> would be very helpful that you could suggest what kind of >>>> functionality you want, Fan is already much better than camlp4 in all >>>> rounds, it is still at alpha stage, so your opinions matter a lot :-) >>>> >>> >>> How do you build it? >>> I tried this but it failed: >>> $ ocaml -version >>> The OCaml toplevel, version 4.00.1 >>> $ ocamlbuild -clean >>> $ ocamlbuild cold/FanDriver.native >>> >>> + ocamlfind ocamlc -annot -w +a-4-32-30 -c -w -41 -I cold -I cold/Lib -= o cold/Lib/Ctyp.cmo cold/Lib/Ctyp.ml >>> File "cold/Lib/Ctyp.ml", line 92, characters 21-25: >>> Error: The record field label FSig.ctyp belongs to the type FSig.col >>> but is mixed here with labels of type FSig.record_col >>> Command exited with code 2. >>> Compilation unsuccessful after building 88 targets (0 cached) in 00:00:= 08. >>> >> Hi, >> It seems that I used 'record name disambiguation' feature in the trun= k accidentally(which is trivial to fix). >> Would you have a try using the trunk compiler? > > It works with trunk. > > The ./re script needs this tiny patch to get rid of a bashism, and then i= t works too: > > diff --git a/re b/re > index 63562dd..3d1c1c7 100755 > --- a/re > +++ b/re > @@ -2,7 +2,7 @@ > # -*- Mode:Shell-script -*- > set -e > PROGNAME=3D$(basename $0) > -function error_exit > +error_exit() > { --=20 Regards -- Bob