Revision c518d082
Added by Xavier Thirioux almost 9 years ago
| src/printers.ml | ||
|---|---|---|
| 50 | 50 |
|
| 51 | 51 |
and pp_var fmt id = fprintf fmt "%s%s: %a" (if id.var_dec_const then "const " else "") id.var_id Types.print_ty id.var_type |
| 52 | 52 |
|
| 53 |
and pp_node_var fmt id = fprintf fmt "%s%s: %a" (if id.var_dec_const then "const " else "") id.var_id Types.print_node_ty id.var_type
|
|
| 53 |
and pp_node_var fmt id = fprintf fmt "%s%s: %a%a" (if id.var_dec_const then "const " else "") id.var_id Types.print_node_ty id.var_type Clocks.print_ck_suffix id.var_clock
|
|
| 54 | 54 |
|
| 55 | 55 |
and pp_expr fmt expr = |
| 56 | 56 |
match expr.expr_desc with |
Also available in: Unified diff
- added generation of clock information in interface (.lusi) files
- added clock checking between interface and implementation files