W3C home > Mailing lists > Public > public-qt-comments@w3.org > October 2009

[Bug 7925] [XQTS]: CVS: statictyping-24

From: <bugzilla@wiggum.w3.org>
Date: Thu, 29 Oct 2009 14:25:32 +0000
To: public-qt-comments@w3.org
Message-Id: <E1N3VwS-0004Lt-3G@wiggum.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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:41 UTC