add printing function

This commit is contained in:
Gautier Hattenberger
2009-03-11 16:46:42 +00:00
parent fd02b48d04
commit ced7ddda1c
2 changed files with 6 additions and 0 deletions
+5
View File
@@ -67,6 +67,11 @@ let start_and_begin_c = fun xml_file name ->
nl ();
xml
let begin_c_out = fun xml_file name out ->
fprintf out "/* This file has been generated from %s */\n" xml_file;
fprintf out "/* Please DO NOT EDIT */\n\n";
fprintf out "#include \"%s.h\"\n\n" name
let finish = fun h_name ->
printf "\n#endif // %s\n" h_name
+1
View File
@@ -32,5 +32,6 @@ val xml_error : string -> 'a
val sprint_float_array : string list -> string
val start_and_begin : string -> string -> Xml.xml
val start_and_begin_c : string -> string -> Xml.xml
val begin_c_out : string -> string -> out_channel -> unit
val finish : string -> unit
val warning : string -> unit