| author | wenzelm |
| Thu, 18 Aug 2011 17:30:47 +0200 | |
| changeset 45152 | 3ff2fd162aee |
| parent 42582 | 3422ae5aff3a |
| child 59180 | 85ec71012df8 |
| permissions | -rw-r--r-- |
1 (* Title: Pure/Concurrent/par_list_sequential.ML
2 Author: Makarius
4 Dummy version of parallel list combinators -- plain sequential evaluation.
5 *)
7 structure Par_List: PAR_LIST =
8 struct
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;
18 end;