Project

General

Profile

Revision e8f55c25 src/backends/C/c_backend_src.ml

View differences:

src/backends/C/c_backend_src.ml
130 130
let rec pp_c_const_suffix var_type fmt c =
131 131
  match c with
132 132
    | Const_int i          -> pp_print_int fmt i
133
    | Const_real (_, _, s) -> pp_print_string fmt s
133
    | Const_real r         -> Real.pp fmt r
134 134
    | Const_tag t          -> pp_c_tag fmt t
135 135
    | Const_array ca       -> let var_type = Types.array_element_type var_type in
136 136
                              fprintf fmt "(%a[]){%a }" (pp_c_type "") var_type (Utils.fprintf_list ~sep:", " (pp_c_const_suffix var_type)) ca

Also available in: Unified diff