--- a/src/Tools/Code/code_ml.ML Mon Aug 30 15:01:32 2010 +0200
+++ b/src/Tools/Code/code_ml.ML Mon Aug 30 16:00:41 2010 +0200
@@ -908,7 +908,7 @@
fun serialize_ml target print_module print_stmt module_name with_signatures labelled_name
reserved includes module_alias _ syntax_tyco syntax_const (code_of_pretty, code_writeln) program
- (stmt_names, presentation_stmt_names) =
+ (stmt_names, presentation_stmt_names) width =
let
val is_cons = Code_Thingol.is_cons program;
val is_presentation = not (null presentation_stmt_names);
@@ -935,9 +935,9 @@
(deresolver (if is_some module_name then the_list module_name else [])) stmt_names;
val p = Pretty.chunks2 (map snd includes @ snd (print_nodes [] nodes));
in
- Code_Target.mk_serialization target
- (fn NONE => code_writeln | SOME file => File.write file o code_of_pretty)
- (rpair stmt_names' o code_of_pretty) p
+ Code_Target.mk_serialization
+ (fn width => (fn NONE => code_writeln | SOME file => File.write file o code_of_pretty))
+ (fn width => (rpair stmt_names' o code_of_pretty)) p width
end;
end; (*local*)