[Bug 5672] Evaluation of treat as

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.