src/Pure/Syntax/printer.ML
changeset 32738 15bb09ca0378
parent 29565 3f8b24fcfbd6
child 32966 5b21661fe618
     1.1 --- a/src/Pure/Syntax/printer.ML	Tue Sep 29 11:48:32 2009 +0200
     1.2 +++ b/src/Pure/Syntax/printer.ML	Tue Sep 29 11:49:22 2009 +0200
     1.3 @@ -6,11 +6,11 @@
     1.4  
     1.5  signature PRINTER0 =
     1.6  sig
     1.7 -  val show_brackets: bool ref
     1.8 -  val show_sorts: bool ref
     1.9 -  val show_types: bool ref
    1.10 -  val show_no_free_types: bool ref
    1.11 -  val show_all_types: bool ref
    1.12 +  val show_brackets: bool Unsynchronized.ref
    1.13 +  val show_sorts: bool Unsynchronized.ref
    1.14 +  val show_types: bool Unsynchronized.ref
    1.15 +  val show_no_free_types: bool Unsynchronized.ref
    1.16 +  val show_all_types: bool Unsynchronized.ref
    1.17    val pp_show_brackets: Pretty.pp -> Pretty.pp
    1.18  end;
    1.19  
    1.20 @@ -42,11 +42,11 @@
    1.21  
    1.22  (** options for printing **)
    1.23  
    1.24 -val show_types = ref false;
    1.25 -val show_sorts = ref false;
    1.26 -val show_brackets = ref false;
    1.27 -val show_no_free_types = ref false;
    1.28 -val show_all_types = ref false;
    1.29 +val show_types = Unsynchronized.ref false;
    1.30 +val show_sorts = Unsynchronized.ref false;
    1.31 +val show_brackets = Unsynchronized.ref false;
    1.32 +val show_no_free_types = Unsynchronized.ref false;
    1.33 +val show_all_types = Unsynchronized.ref false;
    1.34  
    1.35  fun pp_show_brackets pp = Pretty.pp (setmp show_brackets true (Pretty.term pp),
    1.36    Pretty.typ pp, Pretty.sort pp, Pretty.classrel pp, Pretty.arity pp);