src/Pure/General/position.ML
changeset 62889 99c7f31615c2
parent 62803 5f73bf6ba98b
child 62929 b92565f98206
     1.1 --- a/src/Pure/General/position.ML	Wed Apr 06 14:08:57 2016 +0200
     1.2 +++ b/src/Pure/General/position.ML	Wed Apr 06 16:33:33 2016 +0200
     1.3 @@ -243,13 +243,9 @@
     1.4  
     1.5  (* thread data *)
     1.6  
     1.7 -local val tag = Universal.tag () : T Universal.tag in
     1.8 -
     1.9 -fun thread_data () = the_default none (Thread.getLocal tag);
    1.10 -
    1.11 -fun setmp_thread_data pos = Library.setmp_thread_data tag (thread_data ()) pos;
    1.12 -
    1.13 -end;
    1.14 +val thread_data_var = Thread_Data.var () : T Thread_Data.var;
    1.15 +fun thread_data () = the_default none (Thread_Data.get thread_data_var);
    1.16 +fun setmp_thread_data pos = Thread_Data.setmp thread_data_var (SOME pos);
    1.17  
    1.18  fun default pos =
    1.19    if pos = none then (false, thread_data ())