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


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