1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
open! Import
val lident : string -> Longident.t
val core_type_of_type_declaration : type_declaration -> core_type
val name_type_params_in_td : type_declaration -> type_declaration
val combinator_type_of_type_declaration
: type_declaration
-> f:(loc:Location.t -> core_type -> core_type)
-> core_type
val gen_symbol : ?prefix : string -> unit -> string
(** [gen_symbol ?prefix ()] generates a fresh variable name with [prefix].
@param prefix default = "_x"
*)
val string_of_core_type : core_type -> string
val assert_no_attributes : attributes -> unit
val assert_no_attributes_in : Ast_traverse.iter
val get_type_param_name : (core_type * variance) -> string Loc.t
(** [get_tparam_id tp] @return the string identifier associated with [tp] if it is a type
parameter. *)
(** [(new type_is_recursive rec_flag tds)#go ()] returns whether [rec_flag, tds] is really
a recursive type. We disregard recursive occurrences appearing in arrow types. You can
override the search for certain type expressions by inheriting from this class. *)
class type_is_recursive : rec_flag -> type_declaration list -> object
inherit Ast_traverse.iter
val type_names : string list
method return_true : unit -> unit
method go : unit -> rec_flag
end
(** [really_recursive rec_flag tds = (new type_is_recursive rec_flag tds)#go ()] *)
val really_recursive : rec_flag -> type_declaration list -> rec_flag
val loc_of_payload : attribute -> Location.t
val loc_of_attribute : attribute -> Location.t
val loc_of_extension : extension -> Location.t
(** convert multi-arg function applications into a cascade of 1-arg applications *)
val curry_applications : expression -> expression
(** Encode a warning message into an 'ocaml.ppwarning' attribute which can be inserted in
a generated Parsetree. The compiler will be responsible for reporting the warning. *)
val attribute_of_warning : Location.t -> string -> attribute
val is_polymorphic_variant
: type_declaration -> sig_:bool -> [> `Definitely | `Maybe | `Surely_not ]
(** [mk_named_sig ~loc ~sg_name:"Foo" ~handle_polymorphic_variant tds] will
generate
{[
include Foo (* or Foo1, Foo2, Foo3 *)
with type (* ('a, 'b, 'c) *) t := (* ('a, 'b, 'c) *) t
]}
when:
- there is only one type declaration
- the type is named t
- there are less than 4 type parameters
- there are no constraints on the type parameters
It will take care of giving fresh names to unnamed type parameters.
*)
val mk_named_sig
: loc:Location.t
-> sg_name:string
-> handle_polymorphic_variant:bool
-> type_declaration list
-> include_description option
|
