Problems with async about hack-langspec HOT 3 CLOSED

Re "... should probably mention await. Might be missing in other syntax specifiers too.", the link takes me to the top of the chapter on expressions. The syntax for await begins in Expressions:Unary Operators:Await Operator.

The quoted text should be, "When an async function is compiled, a special transformation is performed, so that an object that implements Awaitable (§17.6.2) is returned to the caller (where T is the function's return-type)." Somehow the after Awaitable got stripped off.

Regarding return-type, if for async functions one must always write the return type as Awaitable, then the following need to be changed:

Expressions:Primary Expressions:Anonymous Function-Creation

If async is present, return-type must be a type that implements Awaitable (§17.6.2).

Expressions:Lambda Expressions

If async is present, return-type must be a type that implements Awaitable (§17.6.2).

Functions:Function Definitions

If async is present, return-type must be a type that implements Awaitable (§17.6.2).

Re "When yielding control, the implementation of await may choose to yield control back to the current async function's caller.", this was taken verbatim from the 'Async and await' design document.

from hack-langspec.

@RexJaeschke @jwatzman I am actually confused. What wording has been "stripped off"? I see all the words mentioned in the current version of the markdown.

from hack-langspec.

I think fixed by: fa00414

from hack-langspec.