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 - JeromeReceived 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