Revision 01c7d5e1 src/backends/C/c_backend_common.ml
src/backends/C/c_backend_common.ml | ||
---|---|---|
192 | 192 |
| Const_tag t -> pp_c_tag fmt t |
193 | 193 |
| Const_array ca -> fprintf fmt "{%a }" (Utils.fprintf_list ~sep:", " pp_c_const) ca |
194 | 194 |
| Const_struct fl -> fprintf fmt "{%a }" (Utils.fprintf_list ~sep:", " (fun fmt (f, c) -> pp_c_const fmt c)) fl |
195 |
| Const_string _ -> assert false (* string occurs in annotations not in C *) |
|
195 | 196 |
|
196 | 197 |
(* Prints a value expression [v], with internal function calls only. |
197 | 198 |
[pp_var] is a printer for variables (typically [pp_c_var_read]), |
Also available in: Unified diff