Project

General

Profile

Revision 54d032f5 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
12 12
open Format
13 13
open Log
14 14

  
15
open Utils
15 16
open LustreSpec
16 17
open Compiler_common
17 18

  
......
38 39
  begin
39 40
    Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v>");
40 41
    let header = parse_header true header_name in
42
    ignore (Modules.load_header ISet.empty header);
41 43
    ignore (check_top_decls header);
42 44
    create_dest_dir ();
43 45
    Log.report ~level:1 (fun fmt -> fprintf fmt ".. generating compiled header file %sc@," header_name);
......
85 87

  
86 88
  Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v>");
87 89

  
90
  (* Parsing source *)
88 91
  let prog = parse_source source_name in
89 92

  
93
  (* Removing automata *) 
94
  let prog = Automata.expand_decls prog in
95

  
96
  (* Importing source *)
97
  let _ = Modules.load_program ISet.empty prog in
98

  
90 99
  (* Extracting dependencies *)
91 100
  let dependencies, type_env, clock_env = import_dependencies prog in
92 101

  
93
  (* Removing automata *) 
94
  (*let prog = Automata.expand_decls prog in*)
95

  
96
  (*Printers.pp_prog Format.std_formatter prog;*)
97 102
  (* Sorting nodes *)
98 103
  let prog = SortProg.sort prog in
99 104

  

Also available in: Unified diff