structure Data = Generic_Data
( type T = Universal.universal Inttab.table; val empty = Inttab.empty; val merge = Inttab.merge (K true);
);
abstype 'a var = Var of serial * 'a Universal.tag with
fun var () : 'a var = Var (serial (), Universal.tag ());
fun get (Var (i, tag)) =
Inttab.lookup (Data.get (Context.the_generic_context ())) i
|> Option.map (Universal.tagProject tag);
fun put (Var (i, tag)) data =
(Context.>> o Data.map)
(case data of
NONE => Inttab.delete_safe i
| SOME x => Inttab.update (i, Universal.tagInject tag x));
fun setmp v data f x =
Thread_Attributes.uninterruptible_body (fn run => let val orig_data = get v; val _ = put v data; val result = Exn.capture (run f) x; val _ = put v orig_data; in Exn.release result end);
end;
val is_virtual = true;
end;
¤ Dauer der Verarbeitung: 0.13 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
