blob: 769b5137b20731b62e1aee2551b3b5ddaca30781 (
plain)
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
|
open Types
type exports = {
export_ok : (context * string) list;
export_auto : (context * string) list;
export_tags : (string * (context * string) list) list;
re_export_all : bool;
}
type uses = (string * ((context * string) list option * pos)) list
type per_package = {
file_name : string ;
package_name : string ; has_package_name : bool ;
vars_declared : (context * string, pos) Hashtbl.t;
exports : exports ;
uses : uses ;
body : fromparser list;
}
type state = {
per_package : (string * per_package) list;
global_vars_declared : (context * string * string, pos) Hashtbl.t;
global_vars_used : ((context * string * string) * pos) list ref;
}
val ignored_packages : string list ref
val default_state : state
val get_global_info_from_package : fromparser list -> (string * pos) list * per_package
val get_vars_declaration : state -> per_package -> unit
val check_tree : state -> per_package -> unit
val die_with_pos : string * int * int -> string -> 'a
val warn_with_pos : string * int * int -> string -> unit
|
