Arrow operator and focus-dependent functions

I tested something like:

string-to-codepoints('test') => last

which originally succeeded in our implementation (it returned 4) because of the implicit argument. Under 3.16 we don't say anything explicit if there is no first argument (type error?), but we also say:

[Definition] For a ·context-dependent· function, the parts of the context on which it depends are referred to as implicit arguments

I would assume the above to be illegal, implicit argument or not. It is quite unclear what it should return if we were to allow it: the size of the sequence, or the last item of the sequence?

Is it worthwhile to mention error conditions for this operator? Currently, there is no mention of any. Even just saying that the errors are to be the same as for the "equivalent expression" would be helpful.

Cheers,
Abel

Received on Wednesday, 30 September 2015 16:06:37 UTC