Revision 6cbbe1c1
Added by Lélio Brun about 2 years ago
| src/corelang.ml | ||
|---|---|---|
| 1009 | 1009 |
| Node nd -> |
| 1010 | 1010 |
fprintf fmt "%s: " nd.node_id; |
| 1011 | 1011 |
Utils.reset_names (); |
| 1012 |
fprintf fmt "%a@ " Types.print_ty nd.node_type
|
|
| 1012 |
fprintf fmt "%a" Types.print_ty nd.node_type |
|
| 1013 | 1013 |
| ImportedNode ind -> |
| 1014 | 1014 |
fprintf fmt "%s: " ind.nodei_id; |
| 1015 | 1015 |
Utils.reset_names (); |
| 1016 |
fprintf fmt "%a@ " Types.print_ty ind.nodei_type
|
|
| 1016 |
fprintf fmt "%a" Types.print_ty ind.nodei_type |
|
| 1017 | 1017 |
| Const _ | Include _ | Open _ | TypeDef _ -> () |
| 1018 | 1018 |
|
| 1019 | 1019 |
let pp_prog_type fmt tdecl_list = |
| 1020 |
Utils.fprintf_list ~sep:"" pp_decl_type fmt tdecl_list |
|
| 1020 |
Utils.Format.(pp_print_list |
|
| 1021 |
~pp_open_box:pp_open_vbox0 |
|
| 1022 |
pp_decl_type fmt tdecl_list) |
|
| 1021 | 1023 |
|
| 1022 | 1024 |
let pp_decl_clock fmt cdecl = |
| 1023 | 1025 |
match cdecl.top_decl_desc with |
Also available in: Unified diff
start again with spec representation