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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id A044D7ED7A for ; Tue, 11 Sep 2012 14:27:14 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.17.8; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.17.8; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of postmaster@moutng.kundenserver.de designates 212.227.17.8 as permitted sender) identity=helo; client-ip=212.227.17.8; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@moutng.kundenserver.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AugBAHctT1DU4xEIk2dsb2JhbABFqXKRXiIBAQEBCQkLCRQDJIIgAQEEATo0EB4QDUIbCRIGEwkJh2wDCQoHmiCYGgMKiVMUihljhiYDjUqGPoJpigGHcA X-IronPort-AV: E=Sophos;i="4.80,404,1344204000"; d="scan'208";a="172677091" Received: from moutng.kundenserver.de ([212.227.17.8]) by mail1-smtp-roc.national.inria.fr with ESMTP; 11 Sep 2012 14:27:13 +0200 Received: from office1.lan.sumadev.de (dslb-094-219-216-191.pools.arcor-ip.net [94.219.216.191]) by mrelayeu.kundenserver.de (node=mrbap0) with ESMTP (Nemesis) id 0MIyEr-1T8vea1TEv-002U7o; Tue, 11 Sep 2012 14:27:13 +0200 Received: from samsung (ip-176-199-33-11.unitymediagroup.de [176.199.33.11]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id D211EC00D1 for ; Tue, 11 Sep 2012 14:27:12 +0200 (CEST) Date: Tue, 11 Sep 2012 14:27:13 +0200 From: Gerd Stolpmann Reply-To: Gerd Stolpmann To: caml users In-Reply-To: X-Mailer: Balsa 2.4.11 Message-Id: <1347366433.3496.8@samsung> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii; DelSp=Yes; Format=Flowed Content-Disposition: inline Content-Transfer-Encoding: quoted-printable X-Provags-ID: V02:K0:fwN36kGyPzr3ymOM/CNVwyCwJcxNyp0Fig12Ga0vrrf S8PVgOsgsOMSY0YnTvyOvjPYd4y5Oi/EDUHjLNBf03yWB8iB6e qHKAsBUys+UnAjJRab2mIFyC8EMV9UUwYdH9AGNCRRMRU+VPth JiTEJTf2wOdZ8wXKbMQpK9a0uOL0WLQmpd0sBe9oaZhgtp8DJu nQ5PUfhc4naHsBUPe7xKV1qRr5X5vmcyyHLexXyLpmUuCUebEt fgDrv+ppK7gRMtPxm3osDs7GSED5ISUVPlM8+MnxIKBdtZ85mu dL3sgjuhRA1fbfjq+4iXR+vrihDgv32QftvXC10C++45Kx8SEj XaQnN/CWC90c0ZhsVWI0= Subject: AW: [Caml-list] Re: working %.pp.ml target with ocamfind/ocamlbuild Am 10.09.2012 14:18:42 schrieb(en) bob zhang: > Btw, there's something wrong with the rule "%.pp.ml", I don't remember > exactly where it's, for your interest, you can have a look at >=20 > https://bitbucket.org/HongboZhang/camlp4/src/e88f431db722/myocamlbuild.ml >=20 > ocaml has a really really *high quality* compiler, but all the tools=20= =20 > around > it is not that satisfied, contribution is much harder than bug fixes=20= =20 > :-( >=20 > If you take a look at ICFP 12's paper about Shake, the idea is=20=20 > essentially > the same as 'ocamlbuild', and the idea is cool, but the=20=20 > implementation of > ocamlbuild is fragile and buggy. And I wonder why ocamlbuild is actually used. There is a *high quality*=20= =20 build tool for ocaml: omake. >=20 > On Mon, Sep 10, 2012 at 2:08 PM, Hongbo Zhang=20=20 > wrote: >=20 > > Greetings, > > On 9/9/12 6:29 PM, Wojciech Meyer wrote: > > > >> Gabriel Scherer writes: > >> > >> This is useful for debugging purposes, and for some (minor) modes=20= =20 > of > >>> use of Camlp4. However, for most Camlp4 development, this has the > >>> severe downside of losing the location information of the original > >>> file, if I understand correctly. This means that you don't want=20=20 > to use > >>> it as a transparent step towards compilation, but only in=20=20 > exceptional > >>> situations where the developers will re-edit the output code. > >>> > >> > >> I think I've to say I disagree it's not useful, when I'm=20=20 > developing a > >> syntax extension on top of Camlp4 I really want to see the=20=20 > generated > >> code. Moreover to understand some of the more complicated syntax > >> extensions like type_conv, deriving, FoldGenerator I need to look=20= =20 > at the > >> expanded code to understand how to use it - last time I hit the=20=20 > same > >> > > Yes, it's damn useful not only for bootstrapping, but also for=20=20 > developing > > to locate type errors. But there's something wrong with Camlp4's=20=20 > printer, > > it has *4* printers in total, writing a printer for an Ast which=20=20 > has no > > backend is totally useless. In my branch of camlp4, *I removed all=20= =20 > those 4 > > printers and using tools/pprintast.ml* in ocaml's compiler source > > tree(with some my own bug fixes), and it works very well. > > Btw, are you in ICFP? we could have a talk about Camlp4 :-) > > > >> problem it was actually 'deriving-ocsigen' when I needed to=20=20 > implement my > >> own Show module - it's just much faster to see what's being=20=20 > generated > >> for the usual case, then trying to figure out from the recipe in=20=20 > the > >> documentation. Otherwise for bootstrapping purposes, you might=20=20 > want to > >> pre-generate some code too and put into the repository. > >> > >> -- > >> Wojciech Meyer > >> http://danmey.org > >> > >> > > >=20 >=20 > -- > Regards > -- Bob >=20 > -- > Caml-list mailing list. Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >=20 >=20 --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de Creator of GODI and camlcity.org. Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------=