[Bug 4272] [FS] Type checking fn:data

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


simeon@us.ibm.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED




------- Comment #1 from simeon@us.ibm.com  2007-02-20 01:04 -------
Tim,

As I understand that case can only occur when the type is a complex type with
complex content which is not mixed.

I think in that case there is no inference rule for the 'data on' judgment, and
the normal static typing error will be raised, i.e., case (a).

If I am not wrong, this comment does not require any change to our document, is
that also your understanding?

Thanks,
- Jerome

Received on Tuesday, 20 February 2007 01:04:31 UTC