Revision 6bab3787
Added by Xavier Thirioux almost 9 years ago
| src/c_backend.ml | ||
|---|---|---|
| 898 | 898 |
print_version header_fmt; |
| 899 | 899 |
fprintf header_fmt "#ifndef _%s@.#define _%s@." baseNAME baseNAME; |
| 900 | 900 |
pp_print_newline header_fmt (); |
| 901 |
fprintf header_fmt "/* Types definitions */@."; |
|
| 902 |
(* Print the type definitions from the type table *) |
|
| 903 |
print_type_definitions header_fmt; |
|
| 901 | 904 |
(* Print the global constant declarations. *) |
| 902 | 905 |
fprintf header_fmt "/* Global constant (declarations, definitions are in C file) */@."; |
| 903 | 906 |
List.iter (fun c -> print_const_decl header_fmt c) (get_consts prog); |
| ... | ... | |
| 935 | 938 |
fprintf source_fmt "@[<v>"; |
| 936 | 939 |
List.iter (print_prototype source_fmt) prog; |
| 937 | 940 |
fprintf source_fmt "@]@."; |
| 938 |
(* Print the type definitions from the type table *) |
|
| 939 |
print_type_definitions source_fmt; |
|
| 940 | 941 |
(* Print consts *) |
| 941 | 942 |
fprintf source_fmt "/* Global constants (definitions) */@."; |
| 942 | 943 |
List.iter (fun c -> print_const_def source_fmt c) (get_consts prog); |
Also available in: Unified diff
In order to export any type of constants, moved type definitions from .c to .h