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.