here is a camlp5 port, version 6.01. == [pkg/DESCR] Camlp5 is a preprocessor and pretty-printer for OCaml programs. It also provides parsing and printing tools.
As a preprocessor, it allows to:
* extend the syntax of OCaml,
* redefine the whole syntax of the language.
As a pretty printer, it allows to:
* display OCaml programs in an elegant way,
* convert from one syntax to another,
* check the results of syntax extensions.
Camlp5 also provides some parsing and pretty printing tools:
* extensible grammars
* extensible printers
* stream parsers and lexers
* pretty print module
It works as a shell command and can also be used in the OCaml toplevel.
The following flavors are available:
- "transitional": syntax tree is compatible but the new syntax tree
quotations kit in user syntax q_ast.cmo is not available.
- "strict": the new syntax tree quotations kit in user syntax q_ast.cmo
is available but the syntax tree is not compatible with the previous
versions.
==
Nima Hoda sent a port (camlp5 5.13) to ports@ on January, but here I made a new
port.
please check the contents, and commit it to the ports tree.
I'm trying to revive math/coq port.
-- yozo.
binYWtiWZW3td.bin
Description: Binary data
