1Typemod(3)                       OCaml library                      Typemod(3)
2
3
4

NAME

6       Typemod  -  Type-checking  of  the module language and typed ast plugin
7       hooks
8

Module

10       Module   Typemod
11

Documentation

13       Module Typemod
14        : sig end
15
16
17       Type-checking of the module language and typed ast plugin hooks
18
19       Warning: this module is unstable and part of Compiler_libs .
20
21
22
23
24
25       module Signature_names : sig end
26
27
28
29
30
31       val type_module :  Env.t  ->  Parsetree.module_expr  ->  Typedtree.mod‐
32       ule_expr
33
34
35
36
37       val  type_structure  :  Env.t  ->  Parsetree.structure -> Location.t ->
38       Typedtree.structure * Types.signature * Signature_names.t * Env.t
39
40
41
42
43       val  type_toplevel_phrase  :  Env.t  ->  Parsetree.structure  ->  Type‐
44       dtree.structure * Types.signature * Signature_names.t * Env.t
45
46
47
48
49       val type_implementation : string -> string -> string -> Env.t -> Parse‐
50       tree.structure -> Typedtree.structure * Typedtree.module_coercion
51
52
53
54
55       val type_interface : string -> Env.t ->  Parsetree.signature  ->  Type‐
56       dtree.signature
57
58
59
60
61       val transl_signature : Env.t -> Parsetree.signature -> Typedtree.signa‐
62       ture
63
64
65
66
67       val check_nongen_schemes : Env.t -> Types.signature -> unit
68
69
70
71
72       val modtype_of_package : Env.t -> Location.t -> Path.t  ->  Longident.t
73       list -> Types.type_expr list -> Types.module_type
74
75
76
77
78       val path_of_module : Typedtree.module_expr -> Path.t option
79
80
81
82
83       val  save_signature : string -> Typedtree.signature -> string -> string
84       -> Env.t -> Cmi_format.cmi_infos -> unit
85
86
87
88
89       val package_units : Env.t -> string list -> string -> string  ->  Type‐
90       dtree.module_coercion
91
92
93
94
95       val   initial_env   :   loc:Location.t   ->  safe_string:bool  ->  ini‐
96       tially_opened_module:string option -> open_implicit_modules:string list
97       -> Env.t
98
99
100
101       module Sig_component_kind : sig end
102
103
104
105
106       type hiding_error =
107        | Illegal_shadowing of {
108        shadowed_item_id : Ident.t ;
109        shadowed_item_kind : Sig_component_kind.t ;
110        shadowed_item_loc : Location.t ;
111        shadower_id : Ident.t ;
112        user_id : Ident.t ;
113        user_kind : Sig_component_kind.t ;
114        user_loc : Location.t ;
115        }
116        | Appears_in_signature of {
117        opened_item_id : Ident.t ;
118        opened_item_kind : Sig_component_kind.t ;
119        user_id : Ident.t ;
120        user_kind : Sig_component_kind.t ;
121        user_loc : Location.t ;
122        }
123
124
125
126
127       type error =
128        | Cannot_apply of Types.module_type
129        | Not_included of Includemod.error list
130        | Cannot_eliminate_dependency of Types.module_type
131        | Signature_expected
132        | Structure_expected of Types.module_type
133        | With_no_component of Longident.t
134        | With_mismatch of Longident.t * Includemod.error list
135        |  With_makes_applicative_functor_ill_typed  of Longident.t * Path.t *
136       Includemod.error list
137        | With_changes_module_alias of Longident.t * Ident.t * Path.t
138        | With_cannot_remove_constrained_type
139        | Repeated_name of Sig_component_kind.t * string
140        | Non_generalizable of Types.type_expr
141        | Non_generalizable_class of Ident.t * Types.class_declaration
142        | Non_generalizable_module of Types.module_type
143        | Implementation_is_required of string
144        | Interface_not_compiled of string
145        | Not_allowed_in_functor_body
146        | Not_a_packed_module of Types.type_expr
147        | Incomplete_packed_module of Types.type_expr
148        | Scoping_pack of Longident.t * Types.type_expr
149        | Recursive_module_require_explicit_type
150        | Apply_generative
151        | Cannot_scrape_alias of Path.t
152        | Badly_formed_signature of string * Typedecl.error
153        | Cannot_hide_id of hiding_error
154        | Invalid_type_subst_rhs
155
156
157
158
159
160       exception Error of Location.t * Env.t * error
161
162
163
164
165
166       exception Error_forward of Location.error
167
168
169
170
171
172       val report_error : Env.t -> Format.formatter -> error -> unit
173
174
175
176       module ImplementationHooks : sig end
177
178
179
180
181       module InterfaceHooks : sig end
182
183
184
185
186
187
188
189OCamldoc                          2019-07-30                        Typemod(3)