Page History

...

• Propagate multiset of all exceptions thrown by spawned asyncs in Stmt’s scope

final future<T> f = async

<T> \[

...

                      \[

(condition)\] { Expr }

• Asynchronously start a new child task to evaluate Expr with at/phased/seq options as in statement-level async

...

• Expr is a statement sequence ending with return 

f.get()

• Wait until future f has completed execution, and propagate its return value  of type T
• if T = void, then f.get() is evaluated as a statement (like a method call with a void return value)
• get() also propagates any exception thrown by Expr

...