On Thu, Apr 10, 2014 at 06:14:47PM -0700, Thomas Gazagnaire wrote:
> In doc/design/metadata-evolution:
> 
> > +Impact:
> > +-------
> > +
> > +These above changes require several modifications to the current code base:
> > +
> > +    1) requires implementing a simple new parser and checking the logic
> > +       for computing recompilation;
> > +
> > +    2) requires implementing another parser, a simple propositional logic evaluator,
> > +       some user output, and an interconnection with the state-variables
> > +
> 
> we already have a parser for filters https://github.com/ocaml/opam/blob/master/
> src/core/opamFormat.mli#L223
> 

That's good news!