author | Lars Noschinski <noschinl@in.tum.de> |
Mon, 18 May 2015 16:59:09 +0200 | |
changeset 60290 | 88ccc0ae310c |
parent 59004 | 6573e6d64ec8 |
permissions | -rw-r--r-- |
(* 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;