src/Tools/Code/code_scala.ML
changeset 39056 fa197571676b
parent 39034 ebeb48fd653b
child 39057 c6d146ed07ae
     1.1 --- a/src/Tools/Code/code_scala.ML	Thu Sep 02 13:43:38 2010 +0200
     1.2 +++ b/src/Tools/Code/code_scala.ML	Thu Sep 02 13:58:16 2010 +0200
     1.3 @@ -370,7 +370,7 @@
     1.4        | print_node prefix_fragments (name, Code_Namespace.Stmt stmt) =
     1.5            if null presentation_names
     1.6            orelse member (op =) presentation_names name
     1.7 -          then SOME (print_stmt (deresolver prefix_fragments, deresolver []) (name, stmt))
     1.8 +          then SOME (markup_stmt name (print_stmt (deresolver prefix_fragments, deresolver []) (name, stmt)))
     1.9            else NONE
    1.10        | print_node prefix_fragments (name_fragment, Code_Namespace.Module (implicits, nodes)) =
    1.11            if null presentation_names
    1.12 @@ -392,8 +392,8 @@
    1.13      (* serialization *)
    1.14      val p_includes = if null presentation_names then map snd includes else [];
    1.15      val p = Pretty.chunks2 (p_includes @ the_list (print_nodes [] sca_program));
    1.16 -    fun write width NONE = writeln o format false width
    1.17 -      | write width (SOME p) = File.write p o format false width;
    1.18 +    fun write width NONE = writeln o format [] width
    1.19 +      | write width (SOME p) = File.write p o format [] width;
    1.20    in
    1.21      Code_Target.serialization write (rpair [] ooo format) p
    1.22    end;