OCaml Forge
SCM

Forum: delimited-overloading--pa_do---version-0.8.5-released

Posted by: Christophe Troestler
Date: 2009-04-14 09:09
Summary:Delimited overloading (pa_do): version 0.8.5 released
Project:Delimited overloading

- Much improved complex optimizations (including accross let-bindings and evaluating constant expressions at compilation time) coming with several more test cases.
- [expr_fold] to allows to add transformations that carry information down the AST.
- Fixes for compatibility with OCaml 3.11.0.
- META and toplevel improvements.
- Hooks for constructions like M.[e] and M.{e}.
- Several bug fixes.

Latest News

Delimited Overloading 0.8.15

Christophe Troestler - 2012-09-28 20:05 -

Delimited overloading (pa_do): version 0.8.5 released

Christophe Troestler - 2009-04-14 09:09 -

Delimited overloading: version 0.8.3 released

Christophe Troestler - 2009-02-07 22:18 -

Delimited overloading & computer assisted proofs.

Christophe Troestler - 2009-01-31 17:08 -

Delimited overloading: version 0.8 released

Christophe Troestler - 2008-12-16 09:43 -

Discussion Forums: delimited-overloading--pa_do---version-0.8.5-released

Monitor Forum | Start New Thread Start New Thread