W3C home > Mailing lists > Public > public-qt-comments@w3.org > May 2008

[Bug 5672] Evaluation of treat as

From: <bugzilla@farnsworth.w3.org>
Date: Fri, 02 May 2008 07:13:51 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1JrpSp-0002iK-Ln@farnsworth.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=5672


tim@cbcl.co.uk changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|CLOSED                      |REOPENED
         Resolution|INVALID                     |




------- Comment #5 from tim@cbcl.co.uk  2008-05-02 07:13 -------
Ah.  Glad I raised this now.

I agree that that lazy evaluation of "treat as" can give better performance,
but it really did surprise me that it would be permissible here.

I thought that:

$expr treat as xs:someType* 

meant that a run time check should be performed to ensure that $expr in its
entirety was of type xs:someType*, rather than a check that each _used_ item
was of the prime type xs;someType.  Tha's really the clarification I was
looking for.

The former interpretation permits lazy evaluation, while the latter does not.

I'd agree with Comment #4 wholeheartedly though.
Received on Friday, 2 May 2008 07:14:23 UTC

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