src/Pure/Concurrent/par_list_sequential.ML
author wenzelm
Thu Aug 18 17:30:47 2011 +0200 (2011-08-18)
changeset 44269 3ff2fd162aee
parent 41711 3422ae5aff3a
child 59004 6573e6d64ec8
permissions -rw-r--r--
updated sequential version (cf. b94951f06e48);
     1 (*  Title:      Pure/Concurrent/par_list_sequential.ML
     2     Author:     Makarius
     3 
     4 Dummy version of parallel list combinators -- plain sequential evaluation.
     5 *)
     6 
     7 structure Par_List: PAR_LIST =
     8 struct
     9 
    10 fun managed_results _ f = map (Exn.capture f);
    11 fun map_name _ = map;
    12 val map = map;
    13 val get_some = get_first;
    14 val find_some = find_first;
    15 val exists = exists;
    16 val forall = forall;
    17 
    18 end;