lp:rimmel
- Get this branch:
- bzr branch lp:rimmel
Branch information
Recent revisions
- 65. By Jean-Vincent Loddo <jean@factotum>
-
Minor changes: compiling now with ocamlc.opt call instead of ocamlc.
- 64. By Jean-Vincent Loddo <jean@loggia>
-
Transition OCaml 3.10/3.11 -> 3.12.
Note that the camlp4of option "-verbose" generates strangely a lot of occurrences of the following message:
-------------- ------- ------- ------
Parse error in entry [ctyp], rule:
[ TRY [ a_LIDENT; ":" ]; ctyp LEVEL "star"; "->"; SELF ]
-------------- ------- ------- ------
For this reason, I'm forced to remove this option (see Makefile.local). - 63. By Jean-Vincent Loddo
-
Major change: added the module Camlp4_ast_wizard for powerful ocaml ast walking. With one of the several tool introduced with this module (functor Conversion) it is possible to easily convert any Syntax.Ast.t trees to AstFilters.Ast.t and conversely. So, now the filtering phase doesn't rely to Camlp4.PreCast but it is defined, like the parser, by a functor with a codomain of type (AstFilters : Camlp4.
Sig.AstFilters) . Note that this change affects the compilation time (triple time) and the size of rimmel_pa.cmo (double size). - 61. By Jean-Vincent Loddo
-
Introduced polarity (of symbols and constructors) in both CST and AST. This functionality is currently ignored in the clauses' expansion. Also introduced the module rimmel_
pa_WM_equipment .ml. - 60. By Jean-Vincent Loddo <jean-vincent.loddo@raw_db_compiler.org>
-
Renaming and restructuring in progress.
- 59. By Jean-Vincent Loddo
-
Variables' analysis rewritten using a monoid-based AST folder (more comprehensible) instead of a classical folder (based on an implicit state-monad transformation of code).
- 56. By Jean-Vincent Loddo
-
Introduced a new variables analysis based on the AST folder. The new method is just tested but it currently doesn't replace the old mechanism. Also split some modules in Expander and created related source files (that are syntactically included from Expander), with names like rimmel_pa_*.
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)