src/Pure/Syntax/printer.ML

--- a/src/Pure/Syntax/printer.ML	Mon Sep 06 19:23:54 2010 +0200
+++ b/src/Pure/Syntax/printer.ML	Mon Sep 06 21:33:19 2010 +0200
@@ -7,20 +7,20 @@
 signature PRINTER0 =
 sig
   val show_brackets_default: bool Unsynchronized.ref
-  val show_brackets_value: Config.value Config.T
+  val show_brackets_raw: Config.raw
   val show_brackets: bool Config.T
   val show_types_default: bool Unsynchronized.ref
-  val show_types_value: Config.value Config.T
+  val show_types_raw: Config.raw
   val show_types: bool Config.T
   val show_sorts_default: bool Unsynchronized.ref
-  val show_sorts_value: Config.value Config.T
+  val show_sorts_raw: Config.raw
   val show_sorts: bool Config.T
   val show_free_types: bool Config.T
   val show_all_types: bool Config.T
-  val show_structs_value: Config.value Config.T
+  val show_structs_raw: Config.raw
   val show_structs: bool Config.T
   val show_question_marks_default: bool Unsynchronized.ref
-  val show_question_marks_value: Config.value Config.T
+  val show_question_marks_raw: Config.raw
   val show_question_marks: bool Config.T
 end;
 
@@ -55,28 +55,28 @@
 (** options for printing **)
 
 val show_brackets_default = Unsynchronized.ref false;
-val show_brackets_value =
+val show_brackets_raw =
   Config.declare "show_brackets" (fn _ => Config.Bool (! show_brackets_default));
-val show_brackets = Config.bool show_brackets_value;
+val show_brackets = Config.bool show_brackets_raw;
 
 val show_types_default = Unsynchronized.ref false;
-val show_types_value = Config.declare "show_types" (fn _ => Config.Bool (! show_types_default));
-val show_types = Config.bool show_types_value;
+val show_types_raw = Config.declare "show_types" (fn _ => Config.Bool (! show_types_default));
+val show_types = Config.bool show_types_raw;
 
 val show_sorts_default = Unsynchronized.ref false;
-val show_sorts_value = Config.declare "show_sorts" (fn _ => Config.Bool (! show_sorts_default));
-val show_sorts = Config.bool show_sorts_value;
+val show_sorts_raw = Config.declare "show_sorts" (fn _ => Config.Bool (! show_sorts_default));
+val show_sorts = Config.bool show_sorts_raw;
 
 val show_free_types = Config.bool (Config.declare "show_free_types" (fn _ => Config.Bool true));
 val show_all_types = Config.bool (Config.declare "show_all_types" (fn _ => Config.Bool false));
 
-val show_structs_value = Config.declare "show_structs" (fn _ => Config.Bool false);
-val show_structs = Config.bool show_structs_value;
+val show_structs_raw = Config.declare "show_structs" (fn _ => Config.Bool false);
+val show_structs = Config.bool show_structs_raw;
 
 val show_question_marks_default = Unsynchronized.ref true;
-val show_question_marks_value =
+val show_question_marks_raw =
   Config.declare "show_question_marks" (fn _ => Config.Bool (! show_question_marks_default));
-val show_question_marks = Config.bool show_question_marks_value;
+val show_question_marks = Config.bool show_question_marks_raw;