Project

General

Profile

« Previous | Next » 

Revision 3b2bd83d

Added by Teme Kahsai about 8 years ago

updating to onera version 30f766a:2016-12-04

View differences:

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