Project

General

Profile

« Previous | Next » 

Revision ca7ff3f7

Added by LĂ©lio Brun 7 months ago

reformatting

View differences:

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