Future work
Just some ideas... things to implement or to thing about...
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.
rewritting pretty printer in Scheme syntax
The pretty printer kit "pr_scheme.cmo" still uses an old technology of pretty printing using old module named "Spretty". I has to be rewritten using EXTEND_PRINTER and the module Pretty.
printer for EXTEND_PRINTER
There is a syntax "EXTEND_PRINTER" but the corresponding printer is missing.
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.