From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 2CB5F7EE4B for ; Mon, 30 Sep 2013 13:36:06 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=pra; client-ip=89.16.177.154; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=mailfrom; client-ip=89.16.177.154; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@dark.recoil.org) identity=helo; client-ip=89.16.177.154; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="postmaster@dark.recoil.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqsBAHJhSVJZELGal2dsb2JhbABagz+tU5N8gT8OAQEBAQEIFgc8giUBAQQBeQULCxguVwYTiAAKCLx6BI8eMweDH4EDA5d/k1+BPzs X-IPAS-Result: AqsBAHJhSVJZELGal2dsb2JhbABagz+tU5N8gT8OAQEBAQEIFgc8giUBAQQBeQULCxguVwYTiAAKCLx6BI8eMweDH4EDA5d/k1+BPzs X-IronPort-AV: E=Sophos;i="4.90,1007,1371074400"; d="scan'208";a="28544255" Received: from recoil.dh.bytemark.co.uk (HELO dark.recoil.org) ([89.16.177.154]) by mail3-smtp-sop.national.inria.fr with SMTP; 30 Sep 2013 13:36:05 +0200 Received: (qmail 24744 invoked by uid 634); 30 Sep 2013 11:36:05 -0000 X-Spam-Level: * X-Spam-Check-By: dark.recoil.org Received: from zone3.jesus.cam.ac.uk (HELO [192.168.22.175]) (131.111.243.143) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Mon, 30 Sep 2013 12:36:04 +0100 Content-Type: text/plain; charset=iso-8859-1 Mime-Version: 1.0 (Mac OS X Mail 7.0 \(1811\)) From: Anil Madhavapeddy In-Reply-To: <52496029.8020003@frisch.fr> Date: Mon, 30 Sep 2013 12:36:02 +0100 Cc: Fabrice Le Fessant , Francois Berenger , Ocaml Mailing List Content-Transfer-Encoding: quoted-printable Message-Id: References: <5229DEF9.7040706@inria.fr> <5229F284.5050806@inria.fr> <5249310F.7090108@riken.jp> <52495CE3.6050709@frisch.fr> <51C2EB73-2567-4A45-811B-5FB7C55C3D1A@recoil.org> <52496029.8020003@frisch.fr> To: Alain Frisch X-Mailer: Apple Mail (2.1811) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Subject: Re: [Caml-list] from oasis to obuild (original subject was Re: Accelerating compilation) On 30 Sep 2013, at 12:27, Alain Frisch wrote: > On 9/30/2013 1:19 PM, Anil Madhavapeddy wrote: >> Leo put together a compiler frontend that replaces the standard parsetre= e with camlp4 that's statically linked: https://github.com/lpw25/ocaml-with= -pp >=20 > That's interesting. Most of the code is copied directly from the compile= r. I guess that adding a few hooks directly in the compiler would greatly = simplify such projects. Yep. We figured it's best to build a full prototype using nothing but OCaml= 4.1 compiler-libs, and then figure out what the implications for the 4.2 c= ompiler drivers would be when the dust has settled around a 4.1-based proto= type. I'd also like to start using this with 4.1 and not have to wait another yea= r for fast builds, so some code duplication in the short term isn't too bad. -anil=