[Bug 24501] In General streamability, the maximum cardinality rule is ambiguous

https://www.w3.org/Bugs/Public/show_bug.cgi?id=24501

C. M. Sperberg-McQueen <cmsmcq@blackmesatech.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |cmsmcq@blackmesatech.com
         Resolution|---                         |FIXED

--- Comment #4 from C. M. Sperberg-McQueen <cmsmcq@blackmesatech.com> ---
We discussed this in Prague.

The functions with arguments of usage = transmission that fall under the rule
in 2(d)(iii) are:  exactly-one(), head(), zero-or-one().  (Others are
transmissional but have cardinality gt 1.)  There was resistance to listing
these in normative prose, but a note saying something like "at the time this
spec was first published, the functions in question were: ..." would be OK.

It might also be helpful to be more explicit about invariants known to be true
when 2(d)(iii) applies:  

- We know we're talking about a built-in or extension function, and not a
stylesheet function (stylesheet function arguments have type determined usage
and don't reach this point).

- We know that the operand usage is transmission.

- We know it's not a dynamic function call but a static one.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Tuesday, 11 February 2014 14:48:19 UTC