[wg-camlp4] A set of synthetic use cases to help discussions

Anil Madhavapeddy anil at recoil.org
Wed Jan 30 20:16:45 GMT 2013


I've started approaching this from the other end by instrumenting OPAM
to log all the camlp4 invocations during a bulk build.

https://github.com/avsm/opam-camlp4-analysis/wiki

has the raw data of all the *.{cma,cmo,cmx} files mentioned during a
build, and the packages.

This data still needs cleanup, but there are definitely some extensions in
there I don't immediately recognise, so it would be useful to update your
(far more structured) list from this.

-anil

On 30 Jan 2013, at 17:21, Gabriel Scherer <gabriel.scherer at gmail.com> wrote:

> One problem with the current debate(s) is that people have fairly
> different syntaxes and semantics in mind regarding "syntax
> extensions".
> 
> I think we should gather somewhere small snippets of "representative"
> syntax extensions (for example under their current form, which
> includes the Camlp4 syntax extensions but also eg. Lexifi's custom
> attributes syntax or the imaginary quotation system of your liking),
> so that people could refer to those example and concretely demonstrate
> which cases their proposed semantics would capture, and with which
> syntax.
> 
> I have started to put up some examples on the following wiki page,
> mostly by accumulating what has been mentioned during the discussions
> so far:
> 
>  https://github.com/gasche/ocaml-syntax-extension-discussion/wiki/Use-Cases
> 
> I have made up the categories as I collected the examples, so they're
> certainly suboptimal.
> 
> The page should be open for editing (let me know if the right aren't
> set correctly), so that you can update it with new examples if you
> think they are representative of some need that wasn't exposed before.
> Please remember that the page is there to collect use cases for the
> discussion here, rather than contain argumentation/opinion/judgments
> itself.
> _______________________________________________
> wg-camlp4 mailing list
> wg-camlp4 at lists.ocaml.org
> http://lists.ocaml.org/listinfo/wg-camlp4
> 



More information about the wg-camlp4 mailing list