Revision 5e7cecdd
Added by Pierre-Loïc Garoche about 5 years ago
| 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
More informative error message in case of untyped value