Revision 2fdbc781
Added by Pierre-Loïc Garoche about 8 years ago
| src/main_lustre_testgen.ml | ||
|---|---|---|
| 51 | 51 |
check_stateless_decls prog; |
| 52 | 52 |
|
| 53 | 53 |
(* Typing *) |
| 54 |
let computed_types_env = type_decls type_env prog in
|
|
| 54 |
let _ (*computed_types_env*) = type_decls type_env prog in
|
|
| 55 | 55 |
|
| 56 | 56 |
(* Clock calculus *) |
| 57 |
let computed_clocks_env = clock_decls clock_env prog in
|
|
| 57 |
let _ (*computed_clocks_env*) = clock_decls clock_env prog in
|
|
| 58 | 58 |
|
| 59 | 59 |
(* Creating destination directory if needed *) |
| 60 | 60 |
create_dest_dir (); |
Also available in: Unified diff
Cleaning output:
- no more classic display for ocamlc
- compilation warnings removed