Revision ca7ff3f7
Added by Lélio Brun over 1 year ago
src/global.ml | ||
---|---|---|
1 | 1 |
module Types = Types.Main |
2 | 2 |
|
3 |
let type_env : (Types.type_expr Env.t) ref = ref Env.initial (* Basic_library.type_env *) |
|
4 |
let clock_env : (Clocks.clock_expr Env.t) ref = ref Env.initial (*Basic_library.clock_env *) |
|
3 |
let type_env : Types.type_expr Env.t ref = ref Env.initial |
|
4 |
(* Basic_library.type_env *) |
|
5 |
|
|
6 |
let clock_env : Clocks.clock_expr Env.t ref = ref Env.initial |
|
7 |
(*Basic_library.clock_env *) |
|
8 |
|
|
5 | 9 |
let basename = ref "" |
10 |
|
|
6 | 11 |
let main_node = ref "" |
7 | 12 |
|
8 |
module TypeEnv = |
|
9 |
struct |
|
10 |
let lookup_value ident = Env.lookup_value !type_env ident |
|
11 |
let exists_value ident = Env.exists_value !type_env ident |
|
12 |
let iter f = Env.iter !type_env f |
|
13 |
let pp pp_fun fmt () = Env.pp_env pp_fun fmt !type_env |
|
14 |
end |
|
15 |
|
|
16 |
let initialize () = |
|
17 |
begin |
|
18 |
main_node := !Options.main_node; |
|
19 |
end |
|
13 |
module TypeEnv = struct |
|
14 |
let lookup_value ident = Env.lookup_value !type_env ident |
|
15 |
|
|
16 |
let exists_value ident = Env.exists_value !type_env ident |
|
17 |
|
|
18 |
let iter f = Env.iter !type_env f |
|
19 |
|
|
20 |
let pp pp_fun fmt () = Env.pp_env pp_fun fmt !type_env |
|
21 |
end |
|
22 |
|
|
23 |
let initialize () = main_node := !Options.main_node |
|
20 | 24 |
|
21 | 25 |
(* Local Variables: *) |
22 | 26 |
(* compile-command:"make -C .." *) |
Also available in: Unified diff
reformatting