fun make_action ({timeout, ...} : Mirabelle.action_context) = let val generous_timeout = Time.scale 10.0 timeout val try0 = Try0.try0 (SOME timeout) Try0.empty_facts
fun run ({pre, ...} : Mirabelle.command) = if Timeout.apply generous_timeout (not o null o try0) pre then "succeeded" else "" in ("", {run = run, finalize = K ""}) end
val () = Mirabelle.register_action "try0" make_action
end
¤ Dauer der Verarbeitung: 0.9 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.
