- From: <bugzilla@wiggum.w3.org>
- Date: Thu, 29 Oct 2009 14:25:32 +0000
- To: public-qt-comments@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=7925
Oliver Hallam <oliver@cbcl.co.uk> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |oliver@cbcl.co.uk
Status|RESOLVED |REOPENED
Resolution|INVALID |
--- Comment #2 from Oliver Hallam <oliver@cbcl.co.uk> 2009-10-29 14:25:31 ---
In a static typing implementation the error that should be raised is XPTY0004,
and not FORG0006. Since this is a static-typing query the expected error
should be changed to XPTY0004.
This is because the only static typing rule for fn:boolean is:
statEnv |- Type <: (empty | NodeType+ | xs:boolean | xs:string |
xs:untypedAtomic | fs:numeric | xs:anyURI)
--------------------------------------------------
statEnv |- (FN-URI,"boolean")(Type) : xs:boolean
and so the query should result in a static type error (XPTY0004)
--
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.
Received on Thursday, 29 October 2009 14:25:33 UTC