W3C home > Mailing lists > Public > public-qt-comments@w3.org > September 2006

[Bug 3667] Missing xs:anyUri from fn:boolean typing rule.

From: <bugzilla@wiggum.w3.org>
Date: Tue, 19 Sep 2006 15:26:01 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1GPhU1-00026l-AQ@wiggum.w3.org> 

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





------- Comment #1 from simeon@us.ibm.com  2006-09-19 15:25 -------
Good catch. The typing rule should have xs:anyURI added to it, as follows:

statEnv |-  Type <: (empty | NodeType+ | xs:boolean | xs:string |
xs:untypedAtomic | fs:numeric | xs:anyURI)
---------------------------------------------------
statEnv  |-  (FN-URI,"boolean")(Type) : xs:boolean

- Jerome
Received on Tuesday, 19 September 2006 15:26:32 UTC

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