Skip to content
Snippets Groups Projects
Normal view Permalink
solveIdent.mli 684 B
Newer Older
Erwan Jahier's avatar
Wrap the parser output with a new function,
Erwan Jahier committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 
(** Time-stamp: <modified the 03/06/2008 (at 14:25) by Erwan Jahier> *)

(**
  Perform a (tedious) recursive traversal of the syntax tree, and
  replace idref that corresponds to predefined items with the
  SyntaxTreeCore.Predef constructor.

  TODO : Solves idref references 

  To do that, first paramatrize the AS (cf SyntaxTreeCore) by the
  kind of ident that is used.  Indeed, during parsing, we cannot
  always know what Ident.long should we have, given an Ident.idref,
  or a Ident.t. The idea is then to write a function resolve_name
  which profile is

  (Ident.idref) SyntaxTreeCore.t -> (long) SyntaxTreeCore.t

*)


val recognize_predef_op : SyntaxTree.t -> SyntaxTree.t