SliceExpression and FunctionType

# Eric Suen (18 years ago)

SliceExpression ::= OptionalExpression ':' OptionalExpression | OptionalExpression ':' OptionalExpression ':' OptionalExpression

OptionalExpression -> 'type' FunctionType

so, for expression like this [expr : function() : expr]

": expr" -> ResultType or the third OptionalExpression?