author | wenzelm |
Thu, 24 Jul 2014 11:46:40 +0200 | |
changeset 57639 | ba170c8ea578 |
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;