[Bug 29571] [XQ31] [FO31] 3.18.3 Cast

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

--- Comment #1 from Michael Kay <mike@saxonica.com> ---
I agree that it seems rather odd that casting to a list type isn't idempotent;
we would normally expect that if (A instance of T) is true, then (A castable as
T) is also true. But I think fixing that would be feature creep. It's also
potentially non-trivial to define.

I think the intent of the spec as written is that the only thing you can cast
to a list type is a string (or untypedAtomic); except that if you write "V cast
as L?" then if V is (), the result is ().

If there are statements in the spec that don't reflect that intent then we
should fix them.

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

Received on Thursday, 21 April 2016 09:41:34 UTC