--- a/src/Pure/library.ML Wed Apr 06 14:08:57 2016 +0200
+++ b/src/Pure/library.ML Wed Apr 06 16:33:33 2016 +0200
@@ -48,7 +48,6 @@
val andf: ('a -> bool) * ('a -> bool) -> 'a -> bool
val exists: ('a -> bool) -> 'a list -> bool
val forall: ('a -> bool) -> 'a list -> bool
- val setmp_thread_data: 'a Universal.tag -> 'a -> 'a -> ('b -> 'c) -> 'b -> 'c
(*lists*)
val single: 'a -> 'a list
@@ -278,17 +277,6 @@
val forall = List.all;
-(* thread data *)
-
-fun setmp_thread_data tag orig_data data f x =
- uninterruptible (fn restore_attributes => fn () =>
- let
- val _ = Thread.setLocal (tag, data);
- val result = Exn.capture (restore_attributes f) x;
- val _ = Thread.setLocal (tag, orig_data);
- in Exn.release result end) ();
-
-
(** lists **)