Revision 90cc3b8e
Added by Lélio Brun over 3 years ago
| src/lusic.ml | ||
|---|---|---|
| 84 | 84 |
} |
| 85 | 85 |
end |
| 86 | 86 |
|
| 87 |
let print_lusic_to_h basename extension = |
|
| 88 |
let lusic = read_lusic basename extension in |
|
| 89 |
let header_name = basename ^ ".h" in |
|
| 90 |
let h_out = open_out header_name in |
|
| 91 |
let h_fmt = formatter_of_out_channel h_out in |
|
| 92 |
begin |
|
| 93 |
assert (not lusic.obsolete); |
|
| 94 |
(*Format.eprintf "lusic to h: %i items.@." (List.length lusic.contents);*) |
|
| 95 |
Typing.uneval_prog_generics lusic.contents; |
|
| 96 |
Clock_calculus.uneval_prog_generics lusic.contents; |
|
| 97 |
Header.print_header_from_header h_fmt (Filename.basename basename) lusic.contents; |
|
| 98 |
close_out h_out |
|
| 99 |
end |
|
| 100 |
|
|
| 101 |
|
|
| 87 |
(* let print_lusic_to_h basename extension = |
|
| 88 |
* let lusic = read_lusic basename extension in |
|
| 89 |
* let header_name = basename ^ ".h" in |
|
| 90 |
* let h_out = open_out header_name in |
|
| 91 |
* let h_fmt = formatter_of_out_channel h_out in |
|
| 92 |
* begin |
|
| 93 |
* assert (not lusic.obsolete); |
|
| 94 |
* (\*Format.eprintf "lusic to h: %i items.@." (List.length lusic.contents);*\) |
|
| 95 |
* Typing.uneval_prog_generics lusic.contents; |
|
| 96 |
* Clock_calculus.uneval_prog_generics lusic.contents; |
|
| 97 |
* Header.print_header_from_header h_fmt (Filename.basename basename) lusic.contents; |
|
| 98 |
* close_out h_out |
|
| 99 |
* end *) |
|
Also available in: Unified diff
some rewriting in C backend pretty-printer