equal
deleted
inserted
replaced
9 * These combinators only make sense if the operator (function or |
9 * These combinators only make sense if the operator (function or |
10 predicate) applied to the list of operands takes considerable |
10 predicate) applied to the list of operands takes considerable |
11 time. The overhead of scheduling is significantly higher than |
11 time. The overhead of scheduling is significantly higher than |
12 just traversing the list of operands sequentially. |
12 just traversing the list of operands sequentially. |
13 |
13 |
14 * The order of operator application is non-determined. Watch out |
14 * The order of operator application is non-deterministic. Watch out |
15 for operators that have side-effects or raise exceptions! |
15 for operators that have side-effects or raise exceptions! |
16 *) |
16 *) |
17 |
17 |
18 signature PAR_LIST = |
18 signature PAR_LIST = |
19 sig |
19 sig |