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