Project

General

Profile

Revision 0038002e src/backends/C/c_backend_common.ml

View differences:

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