Future work
Just some ideas... All these extensions will be done if there are good basic ideas for their implementations.
extensible syntax tree quotations
A new implementation of quotation for syntax trees allowing to use the user current syntax (his extensions included) was tested some time ago, but the result was not 100% satisfactory. Several implementations are possible, and compatibility with previous versions and user programs is a problem. We are continuing thinking of it.
pretty print in shorter syntax
It is also planed to improve the pretty printing system and the printers, so that the management of the lines (indentation, continuations) be handled by the system. For the moment, the programmer has to manage them using the "pc" variable.
extensible lexers
Extensible lexers would be a interesting extension, also. And possibly lexers using regular expressions (extensible if possible, otherwise as a different module).
utf-8
The Camlp5 lexer for OCaml programs (module Plexer) allows utf-8 characters. Since utf-8 seems to have some success among unicode formats, perhaps a reflexion to add greek characters and/or real utf-8 arrows in the syntax (in particular in types) could be interesting.