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 6AF837FA1F for ; Fri, 11 Jul 2014 17:35:56 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mshinwell@janestreet.com) identity=pra; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mshinwell@janestreet.com"; x-sender="mshinwell@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of mshinwell@janestreet.com designates 38.105.200.229 as permitted sender) identity=mailfrom; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mshinwell@janestreet.com"; x-sender="mshinwell@janestreet.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@mxout3.mail.janestreet.com) identity=helo; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mshinwell@janestreet.com"; x-sender="postmaster@mxout3.mail.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ai8BAAMDwFMmacjlnGdsb2JhbABZg2BagnG+BYdGAYEDCBYPAQEBAQEGFgk8hAMBAQEEEhEdAQE3AQ8LCw0CAiYCAiISAQUBHAYTIoggA6E2aoowd4UCAQWTdREGCoEijh0HgneBTJsKgUqFSYsYGCmEdQ X-IPAS-Result: Ai8BAAMDwFMmacjlnGdsb2JhbABZg2BagnG+BYdGAYEDCBYPAQEBAQEGFgk8hAMBAQEEEhEdAQE3AQ8LCw0CAiYCAiISAQUBHAYTIoggA6E2aoowd4UCAQWTdREGCoEijh0HgneBTJsKgUqFSYsYGCmEdQ X-IronPort-AV: E=Sophos;i="5.01,644,1400018400"; d="scan'208";a="71110452" Received: from mxout3.mail.janestreet.com ([38.105.200.229]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 11 Jul 2014 17:35:55 +0200 Received: from tot-oib-smtp1 ([172.27.22.15] helo=tot-smtp) by mxout3.mail.janestreet.com with esmtps (UNKNOWN:DHE-RSA-AES256-GCM-SHA384:256) (Exim 4.82) (envelope-from ) id 1X5crZ-0007Sh-7M for caml-list@inria.fr; Fri, 11 Jul 2014 11:35:53 -0400 Received: from [172.27.229.230] (helo=mxgoog1.mail.janestreet.com) by tot-smtp with esmtps (UNKNOWN:AES256-GCM-SHA384:256) (Exim 4.72) (envelope-from ) id 1X5crZ-0001O5-2D for caml-list@inria.fr; Fri, 11 Jul 2014 11:35:53 -0400 Received: from mail-vc0-f169.google.com ([209.85.220.169]) by mxgoog1.mail.janestreet.com with esmtps (TLSv1:RC4-SHA:128) (Exim 4.72) (envelope-from ) id 1X5crY-0004dZ-W3 for caml-list@inria.fr; Fri, 11 Jul 2014 11:35:53 -0400 Received: by mail-vc0-f169.google.com with SMTP id la4so2399947vcb.14 for ; Fri, 11 Jul 2014 08:35:52 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=RSMP7Qbq5RT2g3a2wjgNmwPutq1ZvbM+pW/3ra4k5ZI=; b=sbsW0/bCXLoPoU1zQl2NGyIiJRcP9ByWhjsCZbdkEooEQCHeomqgXMqf9PaCEh2DtC SZ0tx3MeQy1ik3pBKlh1TIrL0vLHYL8lyMDyLTzJXm7tXrTpQajjChnz4hscGQ79C+ZM +LEbMDqIz9mI+gVCvs0ZqCvwsTbBc/ldoUM+0= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=RSMP7Qbq5RT2g3a2wjgNmwPutq1ZvbM+pW/3ra4k5ZI=; b=TrIRXhwxZ9Rx50iS5dX7aMPn3PArFMVOqIUIXa/i+Zqe7f5bS/ZuKvb1G4y9OdpZ7i mtylxVlx76W6UbSB0wjI5tkyhdyqbFoL5MjjMrfdA9lxHkpQDvOsmfzX6cwuwT5X/3gg 9vtZ7H2Avkl7uDc3FJdJCZL7BQzDWHuXeQ68n//hmOnrjcW7e60HERoKhAjjyuezzNFP mx+TtcKaWZKTx1lUoWHEUeFknt7SGkzm4UPpqEUri/ieiVM1dvjDjpcSTCFFEKBHFR12 jkuVUvbEJWVD6joPI/fuskEPmUX4g7PtojK3/elZZB41v0DiUW06c7NQq1Kz8IaZzAXW 4HRQ== X-Gm-Message-State: ALoCoQnm0F3h8sPcQCvv5TiMZE2+fd23vw2EGhUEhzQUA4yp65MkLJyBB8ry+6MfcJA95L6uneY9W409t+YddQl9iiA2jkmB43NptC5ZJxAvhieEMiiqRTZ9KnN30rccxMu9+weyh4/M X-Received: by 10.58.94.13 with SMTP id cy13mr1533659veb.72.1405092952763; Fri, 11 Jul 2014 08:35:52 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.58.94.13 with SMTP id cy13mr1533646veb.72.1405092952690; Fri, 11 Jul 2014 08:35:52 -0700 (PDT) Received: by 10.58.243.229 with HTTP; Fri, 11 Jul 2014 08:35:52 -0700 (PDT) In-Reply-To: References: <53BFE73E.6060106@gmail.com> <1F6CA9F698BB4509800C3FD280CE0ACB@erratique.ch> <69c5d809b89ebdc663eb45a2b422718c@whitequark.org> Date: Fri, 11 Jul 2014 16:35:52 +0100 Message-ID: From: Mark Shinwell To: Anil Madhavapeddy Cc: Peter Zotov , =?UTF-8?Q?Daniel_B=C3=BCnzli?= , Benjamin Canou , "caml-list@inria.fr" Content-Type: text/plain; charset=UTF-8 X-Validation-by: mshinwell@janestreet.com Subject: Re: [Caml-list] proposal for finding, loading and composing ppx preprocessors On 11 July 2014 16:27, Anil Madhavapeddy wrote: > On 11 Jul 2014, at 15:36, Peter Zotov wrote: > Personally, I'd love to see the use of Sys replaced with the Irmin Git > library database (http://github.com/mirage/irmin). This would allow a model > where the ML sources are imported into a Git DAG, passed through to the > compiler-libs as an in-memory structure, and the intermediate results > recorded in the DAG, still all in-memory. > > When the build has completed, the Irmin DAG could be dumped to disk in > the Git file format, permitting the entire build process to be inspected > if necessary (or GCed if not). All the Git bits are currently supported > by Irmin, so this project just requires an intrepid hacker to connect > compiler-libs, Irmin, and some coordination glue. For those who don't know, we have discussed the idea of using Jenga, a new dependency engine and build system under development at Jane Street to do the "coordination" part. This isn't (yet) being actively developed, but I'd be pleased to hear from anyone who might be interested in hacking on this. Mark