looking through TSPL, it seems like some of the production rules in that book are out of date:
- compound types allow a type annotation, which has the form
type-annotation→:attributes?'inout'?type,
but attributes andinoutare not allowed in a tuple type, i thought. -
function types do not seem to have been updated with
async. - the
function-type-argument-clauserule does not seem to account for multiple variadic parameters.
do these need to be fixed?