lp:rimmel

Created by Jean-Vincent Loddo and last modified
Get this branch:
bzr branch lp:rimmel
Only Jean-Vincent Loddo can upload to this branch. If you are Jean-Vincent Loddo please log in for upload directions.

Related bugs

Related blueprints

Branch information

Owner:
Jean-Vincent Loddo
Project:
rimmel
Status:
Development

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).

62. By Jean-Vincent Loddo

Restructured interface of rimmel_pa_WM_equipment.ml.

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).

58. By Jean-Vincent Loddo

Renaming in progress (from clause_parser_p4_* to rimmel_pa_*).

57. By Jean-Vincent Loddo

Replaced the old free variables' analysis with the new implementation.

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)
This branch contains Public information 
Everyone can see this information.