author | wenzelm |
Sat, 22 Mar 2014 18:19:57 +0100 | |
changeset 56254 | a2dd9200854d |
parent 44269 | 3ff2fd162aee |
child 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 get_some = get_first; val find_some = find_first; val exists = exists; val forall = forall; end;