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 55E1D7ED7A for ; Sun, 9 Sep 2012 18:29:51 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of wojciech.meyer@googlemail.com) identity=pra; client-ip=74.125.82.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="wojciech.meyer@googlemail.com"; x-sender="wojciech.meyer@googlemail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of wojciech.meyer@googlemail.com designates 74.125.82.182 as permitted sender) identity=mailfrom; client-ip=74.125.82.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="wojciech.meyer@googlemail.com"; x-sender="wojciech.meyer@googlemail.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-we0-f182.google.com) identity=helo; client-ip=74.125.82.182; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="wojciech.meyer@googlemail.com"; x-sender="postmaster@mail-we0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AokBAHrDTFBKfVK2imdsb2JhbABFu0kIIgEBAQoJDQcSBiOCIAEBAQMBEgIsAQE3AQQLCwsWJQ8BBA0TAQUBIhMih1sBAwkGBJwgCQOKZoQwAQWDbwpADYlNBoowhxmUC4FVgRSKAYMqPoQH X-IronPort-AV: E=Sophos;i="4.80,126,1344204000"; d="scan'208";a="172426665" Received: from mail-we0-f182.google.com ([74.125.82.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 09 Sep 2012 18:29:50 +0200 Received: by weyx56 with SMTP id x56so1085737wey.27 for ; Sun, 09 Sep 2012 09:29:50 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20120113; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-type; bh=rZcRqWA8Op2s/T5wuJtM4mUNVArOLJI6phqLgcx3jJI=; b=NYsDEio5TjXNmakaP7x5OEVY3SzbfgI1xNtns1VYmOmulEIRwslbk614US41Fwgyi0 uJjj1hdW0BiNumGFvFX9/feRfzxGNawlTnP09AtxUXjVxNf2TGYyeEffHKjrqYdQj8Eb lxBQo5Gcp3DBv4nRkS+jX6uapZM8u+CdoNntkK8AbTHvaVAvZd+zbjwXlI6EvwEHgi+u Th7Xom8d7qp6hqWQn7n18RTWYhBFhn6BHQ3wj3nmB1PLf/ZAJeAH6TuIif7mwDR/m4UZ x5U/vLCh3jjObUd+UGLiE28EZk56edkBqkXE1v72KzuJHKGig8MF79tO7vn+R/04I2s+ krrg== Received: by 10.216.55.195 with SMTP id k45mr6088064wec.216.1347208190782; Sun, 09 Sep 2012 09:29:50 -0700 (PDT) Received: from spec-desktop.danmey.org (cpc1-cmbg12-0-0-cust201.5-4.cable.virginmedia.com. [86.9.116.202]) by mx.google.com with ESMTPS id q4sm12219398wix.9.2012.09.09.09.29.49 (version=TLSv1/SSLv3 cipher=OTHER); Sun, 09 Sep 2012 09:29:50 -0700 (PDT) From: Wojciech Meyer To: Gabriel Scherer Cc: Anil Madhavapeddy , caml users References: Date: Sun, 09 Sep 2012 17:29:53 +0100 In-Reply-To: (Gabriel Scherer's message of "Sat, 31 Dec 2011 10:22:26 +0100") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.94 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain Subject: Re: [Caml-list] working %.pp.ml target with ocamfind/ocamlbuild Gabriel Scherer writes: > This is useful for debugging purposes, and for some (minor) modes 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 to use > it as a transparent step towards compilation, but only in 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 developing a syntax extension on top of Camlp4 I really want to see the generated code. Moreover to understand some of the more complicated syntax extensions like type_conv, deriving, FoldGenerator I need to look at the expanded code to understand how to use it - last time I hit the same problem it was actually 'deriving-ocsigen' when I needed to implement my own Show module - it's just much faster to see what's being generated for the usual case, then trying to figure out from the recipe in the documentation. Otherwise for bootstrapping purposes, you might want to pre-generate some code too and put into the repository. -- Wojciech Meyer http://danmey.org