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

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





------- Comment #3 from simeon@us.ibm.com  2007-02-27 16:54 -------
I think part of the reason for this is that the function signature syntax and
the sequence type syntax do not allow to precisely describe the typing
behavior. This is why we use inference rules in those cases.

I agree could be confusing for a reader, but I'm not sure what to do about it.
Would you have any suggestion to improve this?

Thanks,
- Jerome

Received on Tuesday, 27 February 2007 16:54:17 UTC