src/Pure/Tools/ml_process.scala
changeset 62638 751cf9f3d433
parent 62637 0189fe0f6452
child 62639 699e86051e35
     1.1 --- a/src/Pure/Tools/ml_process.scala	Wed Mar 16 15:08:22 2016 +0100
     1.2 +++ b/src/Pure/Tools/ml_process.scala	Wed Mar 16 20:50:38 2016 +0100
     1.3 @@ -50,14 +50,14 @@
     1.4        else
     1.5          List(
     1.6            "(PolyML.SaveState.loadHierarchy " +
     1.7 -            ML_Syntax.print_list(ML_Syntax.print_string_raw)(heaps) +
     1.8 +            ML_Syntax.print_list(ML_Syntax.print_string0)(heaps) +
     1.9            "; PolyML.print_depth 0) handle exn => (TextIO.output (TextIO.stdErr, General.exnMessage exn ^ " +
    1.10 -          ML_Syntax.print_string_raw(": " + logic_name + "\n") +
    1.11 +          ML_Syntax.print_string0(": " + logic_name + "\n") +
    1.12            "); OS.Process.exit OS.Process.failure)")
    1.13  
    1.14      val eval_modes =
    1.15        if (modes.isEmpty) Nil
    1.16 -      else List("Print_Mode.add_modes " + ML_Syntax.print_list(ML_Syntax.print_string_raw _)(modes))
    1.17 +      else List("Print_Mode.add_modes " + ML_Syntax.print_list(ML_Syntax.print_string0)(modes))
    1.18  
    1.19      // options
    1.20      val isabelle_process_options = Isabelle_System.tmp_file("options")
    1.21 @@ -76,7 +76,7 @@
    1.22              List("(default_print_depth 10; Isabelle_Process.init_options ())")
    1.23            case Some(ch) =>
    1.24              List("(default_print_depth 10; Isabelle_Process.init_protocol " +
    1.25 -              ML_Syntax.print_string_raw(ch.server_name) + ")")
    1.26 +              ML_Syntax.print_string0(ch.server_name) + ")")
    1.27          }
    1.28  
    1.29      // ISABELLE_TMP