Revision f9f06e7d src/main_lustre_compiler.ml
| src/main_lustre_compiler.ml | ||
|---|---|---|
| 42 | 42 |
begin |
| 43 | 43 |
Log.report ~level:1 (fun fmt -> fprintf fmt "@[<v>"); |
| 44 | 44 |
let header = parse_header true (dirname ^ "/" ^ header_name) in |
| 45 |
ignore (Modules.load_header ISet.empty header);
|
|
| 45 |
ignore (Modules.load ~is_header:true ISet.empty header);
|
|
| 46 | 46 |
ignore (check_top_decls header); (* typing/clocking with an empty env *) |
| 47 | 47 |
create_dest_dir (); |
| 48 | 48 |
Log.report ~level:1 |
Also available in: Unified diff