Re: [Caml-list] proposal for finding, loading and composing ppx preprocessors

[Mark Shinwell <mshinwell@janestreet.com>]

On 11 July 2014 16:27, Anil Madhavapeddy <anil@recoil.org> wrote:
> On 11 Jul 2014, at 15:36, Peter Zotov <whitequark@whitequark.org> 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