src/Tools/code/code_target.ML
changeset 24634 38db11874724
parent 24630 351a308ab58d
child 24662 f79f6061525c
     1.1 --- a/src/Tools/code/code_target.ML	Tue Sep 18 18:05:34 2007 +0200
     1.2 +++ b/src/Tools/code/code_target.ML	Tue Sep 18 18:05:37 2007 +0200
     1.3 @@ -56,7 +56,7 @@
     1.4  infixr 5 @|;
     1.5  fun x @@ y = [x, y];
     1.6  fun xs @| y = xs @ [y];
     1.7 -val str = PrintMode.with_default Pretty.str;
     1.8 +val str = PrintMode.setmp [] Pretty.str;
     1.9  val concat = Pretty.block o Pretty.breaks;
    1.10  val brackets = Pretty.enclose "(" ")" o Pretty.breaks;
    1.11  fun semicolon ps = Pretty.block [concat ps, str ";"];
    1.12 @@ -1033,7 +1033,7 @@
    1.13    let
    1.14      val output = case file
    1.15       of NONE => use_text "generated code" Output.ml_output (!eval_verbose) o code_output
    1.16 -      | SOME "-" => PrintMode.with_default writeln o code_output
    1.17 +      | SOME "-" => PrintMode.setmp [] writeln o code_output
    1.18        | SOME file => File.write (Path.explode file) o code_output;
    1.19    in
    1.20      parse_args (Scan.succeed ())
    1.21 @@ -1044,10 +1044,10 @@
    1.22    let
    1.23      val output = case file
    1.24       of NONE => error "OCaml: no internal compilation"
    1.25 -      | SOME "-" => PrintMode.with_default writeln o code_output
    1.26 +      | SOME "-" => PrintMode.setmp [] writeln o code_output
    1.27        | SOME file => File.write (Path.explode file) o code_output;
    1.28      fun output_file file = File.write (Path.explode file) o code_output;
    1.29 -    val output_diag = PrintMode.with_default writeln o code_output;
    1.30 +    val output_diag = PrintMode.setmp [] writeln o code_output;
    1.31    in
    1.32      parse_args (Scan.succeed ())
    1.33      #> (fn () => seri_ml pr_ocaml pr_ocaml_modl module output)
    1.34 @@ -1381,7 +1381,7 @@
    1.35              val pathname = Path.append destination filename;
    1.36              val _ = File.mkdir (Path.dir pathname);
    1.37            in File.write pathname end
    1.38 -      | write_module NONE _ = PrintMode.with_default writeln;
    1.39 +      | write_module NONE _ = PrintMode.setmp [] writeln;
    1.40      fun seri_module (modlname', (imports, (defs, _))) =
    1.41        let
    1.42          val imports' =
    1.43 @@ -1449,7 +1449,7 @@
    1.44      |> Graph.fold (fn (name, (def, _)) => case try pr (name, def) of SOME p => cons p | NONE => I) code
    1.45      |> Pretty.chunks2
    1.46      |> code_output
    1.47 -    |> PrintMode.with_default writeln
    1.48 +    |> PrintMode.setmp [] writeln
    1.49    end;
    1.50  
    1.51