W3C home > Mailing lists > Public > public-qt-comments@w3.org > April 2016

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

From: <bugzilla@jessica.w3.org>
Date: Thu, 21 Apr 2016 09:41:32 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-29571-523-SiIVMG8uhN@http.www.w3.org/Bugs/Public/>
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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:59 UTC