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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id BEFD27EE4C for ; Mon, 30 Sep 2013 13:27:52 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of alain@frisch.fr) identity=pra; client-ip=212.27.42.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of alain@frisch.fr) identity=mailfrom; client-ip=212.27.42.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp3-g21.free.fr) identity=helo; client-ip=212.27.42.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alain@frisch.fr"; x-sender="postmaster@smtp3-g21.free.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmUBAORfSVLUGyoDnGdsb2JhbABagz/BT4EpFg4BAQEBAQYNCQkUKIIlAQEFOEABEAsYCRYPCQMCAQIBRQYNAQcBAYgGCL0EBI9RB4QiA5d/hjONLIFA X-IPAS-Result: AmUBAORfSVLUGyoDnGdsb2JhbABagz/BT4EpFg4BAQEBAQYNCQkUKIIlAQEFOEABEAsYCRYPCQMCAQIBRQYNAQcBAYgGCL0EBI9RB4QiA5d/hjONLIFA X-IronPort-AV: E=Sophos;i="4.90,1007,1371074400"; d="scan'208";a="34892077" Received: from smtp3-g21.free.fr ([212.27.42.3]) by mail2-smtp-roc.national.inria.fr with ESMTP; 30 Sep 2013 13:27:41 +0200 Received: from [192.168.0.10] (unknown [78.192.0.38]) by smtp3-g21.free.fr (Postfix) with ESMTP id 3248BA634E; Mon, 30 Sep 2013 13:27:37 +0200 (CEST) Message-ID: <52496029.8020003@frisch.fr> Date: Mon, 30 Sep 2013 13:27:37 +0200 From: Alain Frisch User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:17.0) Gecko/20130801 Thunderbird/17.0.8 MIME-Version: 1.0 To: Anil Madhavapeddy CC: Fabrice Le Fessant , Francois Berenger , Ocaml Mailing List References: <5229DEF9.7040706@inria.fr> <5229F284.5050806@inria.fr> <5249310F.7090108@riken.jp> <52495CE3.6050709@frisch.fr> <51C2EB73-2567-4A45-811B-5FB7C55C3D1A@recoil.org> In-Reply-To: <51C2EB73-2567-4A45-811B-5FB7C55C3D1A@recoil.org> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] from oasis to obuild (original subject was Re: Accelerating compilation) On 9/30/2013 1:19 PM, Anil Madhavapeddy wrote: > Leo put together a compiler frontend that replaces the standard parsetree with camlp4 that's statically linked: https://github.com/lpw25/ocaml-with-pp That's interesting. Most of the code is copied directly from the compiler. I guess that adding a few hooks directly in the compiler would greatly simplify such projects. -- Alain