Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

use open recursion in untypeast.ml 

This allows library user to override the untyping behavior of specific
typedtree nodes.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15888 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Gabriel Scherer 2015-03-08 10:22:35 +00:00
parent 06a78807fb
commit ad85a8c1df
3 changed files with 548 additions and 363 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Changes
View File

@ -99,6 +99,8 @@ Features wishes:
- PR#6691: install .cmt[i] files for stdlib and compiler-libs
(David Sheets, request by Gabriel Radanne)
- PR#6742: remove duplicate virtual_flag information from Tstr_class
- GPR#137: add untypeast.ml (in open recursion style) to compiler-libs
(Gabriel Radanne)
- GPR#142: add a CAMLdrop macro for undoing CAMLparam*/CAMLlocal*
OCaml 4.02.2:

844
typing/untypeast.ml
View File

File diff suppressed because it is too large Load Diff

65
typing/untypeast.mli
View File

@ -10,11 +10,64 @@
(* *)
(**************************************************************************)
val untype_structure : Typedtree.structure -> Parsetree.structure
val untype_signature : Typedtree.signature -> Parsetree.signature
val untype_expression : Typedtree.expression -> Parsetree.expression
val untype_type_declaration :
Typedtree.type_declaration -> Parsetree.type_declaration
val untype_module_type : Typedtree.module_type -> Parsetree.module_type
open Parsetree
val lident_of_path : Path.t -> Longident.t
type mapper = {
attribute: mapper -> Typedtree.attribute -> attribute;
attributes: mapper -> Typedtree.attribute list -> attribute list;
case: mapper -> Typedtree.case -> case;
cases: mapper -> Typedtree.case list -> case list;
class_declaration: mapper -> Typedtree.class_declaration -> class_declaration;
class_description: mapper -> Typedtree.class_description -> class_description;
class_expr: mapper -> Typedtree.class_expr -> class_expr;
class_field: mapper -> Typedtree.class_field -> class_field;
class_signature: mapper -> Typedtree.class_signature -> class_signature;
class_structure: mapper -> Typedtree.class_structure -> class_structure;
class_type: mapper -> Typedtree.class_type -> class_type;
class_type_declaration: mapper -> Typedtree.class_type_declaration
-> class_type_declaration;
class_type_field: mapper -> Typedtree.class_type_field -> class_type_field;
constructor_declaration: mapper -> Typedtree.constructor_declaration
-> constructor_declaration;
expr: mapper -> Typedtree.expression -> expression;
extension_constructor: mapper -> Typedtree.extension_constructor
-> extension_constructor;
include_declaration:
mapper -> Typedtree.include_declaration -> include_declaration;
include_description:
mapper -> Typedtree.include_description -> include_description;
label_declaration:
mapper -> Typedtree.label_declaration -> label_declaration;
location: mapper -> Location.t -> Location.t;
module_binding: mapper -> Typedtree.module_binding -> module_binding;
module_declaration:
mapper -> Typedtree.module_declaration -> module_declaration;
module_expr: mapper -> Typedtree.module_expr -> module_expr;
module_type: mapper -> Typedtree.module_type -> module_type;
module_type_declaration:
mapper -> Typedtree.module_type_declaration -> module_type_declaration;
package_type: mapper -> Typedtree.package_type -> package_type;
open_description: mapper -> Typedtree.open_description -> open_description;
pat: mapper -> Typedtree.pattern -> pattern;
row_field: mapper -> Typedtree.row_field -> row_field;
signature: mapper -> Typedtree.signature -> signature;
signature_item: mapper -> Typedtree.signature_item -> signature_item;
structure: mapper -> Typedtree.structure -> structure;
structure_item: mapper -> Typedtree.structure_item -> structure_item;
typ: mapper -> Typedtree.core_type -> core_type;
type_declaration: mapper -> Typedtree.type_declaration -> type_declaration;
type_extension: mapper -> Typedtree.type_extension -> type_extension;
type_kind: mapper -> Typedtree.type_kind -> type_kind;
value_binding: mapper -> Typedtree.value_binding -> value_binding;
value_description: mapper -> Typedtree.value_description -> value_description;
with_constraint:
mapper -> (Path.t * Longident.t Location.loc * Typedtree.with_constraint)
-> with_constraint;
}
val default_mapper : mapper
val untype_structure : ?mapper:mapper -> Typedtree.structure -> structure
val untype_signature : ?mapper:mapper -> Typedtree.signature -> signature