Revision 66359a5e
Added by Pierre-Loïc Garoche about 7 years ago
src/backends/C/c_backend_header.ml | ||
---|---|---|
35 | 35 |
|
36 | 36 |
let print_import_standard fmt = |
37 | 37 |
begin |
38 |
(* if Machine_types.has_machine_type () then *) |
|
39 |
(* begin *) |
|
40 |
fprintf fmt "#include <stdint.h>@."; |
|
41 |
(* end; *) |
|
38 | 42 |
if !Options.mpfr then |
39 | 43 |
begin |
40 | 44 |
fprintf fmt "#include <mpfr.h>@." |
41 | 45 |
end; |
42 |
if !Options.cpp then |
|
43 |
fprintf fmt "#include \"%s/arrow.hpp\"@.@." arrow_top_decl.top_decl_owner |
|
44 |
else |
|
45 |
fprintf fmt "#include \"%s/arrow.h\"@.@." arrow_top_decl.top_decl_owner |
|
46 |
|
|
46 |
if !Options.cpp then
|
|
47 |
fprintf fmt "#include \"%s/arrow.hpp\"@.@." arrow_top_decl.top_decl_owner
|
|
48 |
else
|
|
49 |
fprintf fmt "#include \"%s/arrow.h\"@.@." arrow_top_decl.top_decl_owner
|
|
50 |
|
|
47 | 51 |
end |
48 | 52 |
|
49 | 53 |
let rec print_static_val pp_var fmt v = |
Also available in: Unified diff
[general] large modification: added machine types, a second typing phase dealing with machine types (eg uint8)
typing was transformed as a functor and parametrized by basic types (int/real/bool)
it can also be applied multiple times on the same program