Revision 6560bb94 src/printers.ml
src/printers.ml | ||
---|---|---|
118 | 118 |
let pp_node_args = fprintf_list ~sep:"; " pp_node_var |
119 | 119 |
|
120 | 120 |
let pp_var_type_dec fmt ty = |
121 |
let rec pp_var_type_dec_desc fmt tdesc = |
|
121 |
let rec pp_var_struct_type_field fmt (label, tdesc) = |
|
122 |
fprintf fmt "%a : %a" pp_var_type_dec_desc tdesc pp_print_string label |
|
123 |
and pp_var_type_dec_desc fmt tdesc = |
|
122 | 124 |
match tdesc with |
123 | 125 |
| Tydec_any -> fprintf fmt "<any>" |
124 | 126 |
| Tydec_int -> fprintf fmt "int" |
... | ... | |
128 | 130 |
| Tydec_clock t -> fprintf fmt "%a clock" pp_var_type_dec_desc t |
129 | 131 |
| Tydec_const t -> fprintf fmt "%s" t |
130 | 132 |
| Tydec_enum id_list -> fprintf fmt "enum {%a }" (fprintf_list ~sep:", " pp_print_string) id_list |
133 |
| Tydec_struct f_list -> fprintf fmt "struct {%a }" (fprintf_list ~sep:"; " pp_var_struct_type_field) f_list |
|
131 | 134 |
| Tydec_array (s, t) -> fprintf fmt "%a^%a" pp_var_type_dec_desc t Dimension.pp_dimension s |
132 | 135 |
in pp_var_type_dec_desc fmt ty.ty_dec_desc |
133 | 136 |
|
Also available in: Unified diff