Revision 3b2bd83d
Added by Teme Kahsai about 8 years ago
src/lusic.ml | ||
---|---|---|
33 | 33 |
let owner = dirname ^ "/" ^ basename in |
34 | 34 |
List.fold_right |
35 | 35 |
(fun decl header -> |
36 |
(*Format.eprintf "Lusic.extract_header: owner = %s decl_owner = %s@." owner decl.top_decl_owner;*)
|
|
36 |
(*Format.eprintf "Lusic.extract_header: header = %B, owner = %s, decl_owner = %s@." decl.top_decl_itf owner decl.top_decl_owner;*)
|
|
37 | 37 |
if decl.top_decl_itf || decl.top_decl_owner <> owner then header else |
38 | 38 |
match decl.top_decl_desc with |
39 | 39 |
| Node nd -> { decl with top_decl_desc = ImportedNode (Corelang.get_node_interface nd) } :: header |
... | ... | |
51 | 51 |
let target_name = basename ^ extension in |
52 | 52 |
let outchan = open_out_bin target_name in |
53 | 53 |
begin |
54 |
(*Format.eprintf "write_lusic: %i items.@." (List.length header);*) |
|
54 | 55 |
Marshal.to_channel outchan (Version.number, lusi : string * bool) []; |
55 | 56 |
Marshal.to_channel outchan (header : top_decl list) []; |
56 | 57 |
close_out outchan |
... | ... | |
89 | 90 |
let h_fmt = formatter_of_out_channel h_out in |
90 | 91 |
begin |
91 | 92 |
assert (not lusic.obsolete); |
93 |
(*Format.eprintf "lusic to h: %i items.@." (List.length lusic.contents);*) |
|
92 | 94 |
Typing.uneval_prog_generics lusic.contents; |
93 | 95 |
Clock_calculus.uneval_prog_generics lusic.contents; |
94 | 96 |
Header.print_header_from_header h_fmt (Filename.basename basename) lusic.contents; |
Also available in: Unified diff
updating to onera version 30f766a:2016-12-04