Revision e8250987
Added by Pierre-Loïc Garoche over 3 years ago
| src/backends/C/c_backend_lusic.ml | ||
|---|---|---|
| 10 | 10 |
begin |
| 11 | 11 |
assert (not lusic.obsolete); |
| 12 | 12 |
(*Format.eprintf "lusic to h: %i items.@." (List.length lusic.contents);*) |
| 13 |
Typing.uneval_prog_generics lusic.contents; |
|
| 14 |
Clock_calculus.uneval_prog_generics lusic.contents;
|
|
| 13 |
(* Typing.uneval_prog_generics lusic.contents;
|
|
| 14 |
* Clock_calculus.uneval_prog_generics lusic.contents; *)
|
|
| 15 | 15 |
Header.print_header_from_header h_fmt (Filename.basename basename) lusic.contents; |
| 16 | 16 |
close_out h_out |
| 17 | 17 |
end |
Also available in: Unified diff
Unevaluation of types and clocks dimension has been already performed before producing the lusic.