Project

General

Profile

Revision 0d54d8a8 src/backends/C/c_backend_common.ml

View differences:

src/backends/C/c_backend_common.ml
231 231
    | Const_tag t     -> pp_c_tag fmt t
232 232
    | Const_array ca  -> fprintf fmt "{%a }" (Utils.fprintf_list ~sep:", " pp_c_const) ca
233 233
    | Const_struct fl -> fprintf fmt "{%a }" (Utils.fprintf_list ~sep:", " (fun fmt (f, c) -> pp_c_const fmt c)) fl
234
    | Const_string _ -> assert false (* string occurs in annotations not in C *)
234
    | Const_string _ | Const_modeid _ -> assert false (* string occurs in annotations not in C *)
235 235

  
236 236
       
237 237
(* Prints a value expression [v], with internal function calls only.

Also available in: Unified diff