Differences between revisions 1 and 7 (spanning 6 versions)
Revision 1 as of 2007-10-18 08:44:25
Size: 1087
Comment:
Revision 7 as of 2007-10-18 08:58:13
Size: 2389
Comment:
Deletions are marked like this. Additions are marked like this.
Line 4: Line 4:
 1. the syntax extension should be '''popular''' (for some definition of popular, we are not going to see big numbers here, but at least try to be sure it is not just some random bit of code noone else ever used)  1. the syntax extension should be '''popular''' (for some definition of popular, we are not going to see big numbers here, but at least try to be sure it is not just some random bit of code noone else ever used. So probably this criterion is better expressed as '''useful''')
Line 10: Line 10:
(please list here only stuff known to work with camlp4 >= 3.10)
 * OO syntax extension, enable writing more compact code for accessing objects. Available at http://www.math.nagoya-u.ac.jp/~garrigue/code/ocaml.html
 * typed polymorphic mappings. Available at http://www.math.nagoya-u.ac.jp/~garrigue/code/ocaml.html
 * (description from homepage) Extension to OCaml for deriving functions from type declarations. Includes derivers for pretty-printing, type-safe marshalling with structure-sharing, dynamic typing, equality, and more. Available at http://code.google.com/p/deriving/
 * syntactic sugar for monadic expressions. Available at http://www.cas.mcmaster.ca/~carette/pa_monad/
 * general purpose extensions for pattern matching. Available at http://code.google.com/p/ocaml-patterns/
 * the whitespace thing (python-like code structuring for ocaml). Available at http://people.csail.mit.edu/mikelin/ocaml+twt/ (''Note'': still to be checked if this is for camlp4 or camlp5)
Line 12: Line 19:
 * generation of XML based parser/pretty-printers. Available at http://pauillac.inria.fr/~ddr/IoXML/index.html (''Note'': [http://packages.debian.org/cameleon cameleon] still provides ocaml-ioxml, is it still true or just an heritage from the past?)

Several ?CamlP4 "third party" syntax extensions for ?CamlP4/CamlP5 are floating around in the net. Packaging each of them as a separate package would imply an unnecessary archive bloat (though we're all aware of issues with multi-source Debian packages ...). So what about a camlp4-misc package containing a collection of syntax extension? (and maybe a camlp5-misc package, to make it clear that an extension only works with the legacy version of camlp4?)

Some of the criteria that should be considered before proposing an extension for inclusion are:

  1. the syntax extension should be popular (for some definition of popular, we are not going to see big numbers here, but at least try to be sure it is not just some random bit of code noone else ever used. So probably this criterion is better expressed as useful)

  2. the syntax extension should be not to big, otherwise it probably deserves a package per se

So, what syntax extensions do you have in mind that would benefit our users in one of the two packages above?

Syntax extension proposals for camlp4-misc

(please list here only stuff known to work with camlp4 >= 3.10)

Syntax extension proposals for camlp5-misc