CristalCaveGem » LustreC

(* encode and write a header in a file *)

let write_lusic lusi (header : top_decl list) basename extension =

  let outchan = open_out_bin target_name in

  begin

    Marshal.to_channel outchan {from_lusi = lusi; contents = header} [];

(* read and decode a header from a file *)

let read_lusic basename extension =

  let inchan = open_in_bin source_name in

  let lusic = (Marshal.from_channel inchan : lusic) in

  begin

  end

let print_lusic_to_h basename extension =

  let lusic = read_lusic basename extension in

  let h_out = open_out header_name in

  let h_fmt = formatter_of_out_channel h_out in

  begin

    Typing.uneval_prog_generics lusic.contents;

    Clock_calculus.uneval_prog_generics lusic.contents;

    close_out h_out

  end