Revision a0c92fa8 src/main_lustre_compiler.ml
| src/main_lustre_compiler.ml | ||
|---|---|---|
| 47 | 47 |
|
| 48 | 48 |
(* Parsing source *) |
| 49 | 49 |
let prog = parse source_name extension in |
| 50 |
|
|
| 50 |
|
|
| 51 | 51 |
let prog = |
| 52 | 52 |
if !Options.mpfr && |
| 53 | 53 |
extension = ".lus" (* trying to avoid the injection of the module for lusi files *) |
| ... | ... | |
| 71 | 71 |
Log.report ~level:1 (fun fmt -> fprintf fmt ".. done !@ @]@."); |
| 72 | 72 |
exit 0 |
| 73 | 73 |
end |
| 74 |
else if !Options.print_nodes then ( |
|
| 75 |
Format.printf "%a@.@?" Printers.pp_node_list prog; |
|
| 76 |
exit 0 |
|
| 77 |
) |
|
| 74 | 78 |
else |
| 75 | 79 |
assert false |
| 76 | 80 |
) |
Also available in: Unified diff