Project

General

Profile

« Previous | Next » 

Revision 5e7cecdd

Added by Pierre-Loïc Garoche about 5 years ago

More informative error message in case of untyped value

View differences:

src/backends/C/c_backend_common.ml
136 136
    | Types.Tstatic (_, t') -> fprintf fmt "const "; aux t' pp_suffix
137 137
    | Types.Tconst ty       -> fprintf fmt "%s %s" ty var
138 138
    | Types.Tarrow (_, _)   -> fprintf fmt "void (*%s)()" var
139
    | _                     -> eprintf "internal error: C_backend_common.pp_c_type %a@." Types.print_ty t; assert false
139
    | _                     -> eprintf "internal error: C_backend_common.pp_c_type var %s: %a@." var Types.print_ty t; assert false
140 140
  in aux t (fun fmt () -> ())
141 141
(*
142 142
let rec pp_c_initialize fmt t = 

Also available in: Unified diff