src/Pure/Concurrent/par_list_sequential.ML
author wenzelm
Mon, 15 Feb 2016 14:55:44 +0100
changeset 62337 d3996d5873dd
parent 59004 6573e6d64ec8
permissions -rw-r--r--
proper syntax;

(*  Title:      Pure/Concurrent/par_list_sequential.ML
    Author:     Makarius

Dummy version of parallel list combinators -- plain sequential evaluation.
*)

structure Par_List: PAR_LIST =
struct

fun managed_results _ f = map (Exn.capture f);
fun map_name _ = map;
val map = map;
val map_independent = map;
val get_some = get_first;
val find_some = find_first;
val exists = exists;
val forall = forall;

end;