Project

General

Profile

Revision 95944ba1 src/compiler_stages.ml

View differences:

src/compiler_stages.ml
67 67

  
68 68
  (* Importing source *)
69 69
  let prog, dependencies, (typ_env, clk_env) = Modules.load ~is_header:(extension = ".lusi") prog in
70
  
70

  
71 71
  (* Registering types and clocks for future checks *)
72 72
  Global.type_env := Env.overwrite !Global.type_env typ_env;
73 73
  Global.clock_env := Env.overwrite !Global.clock_env clk_env;

Also available in: Unified diff