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

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

           Summary: [XQTS]: CVS: statictyping-24
           Product: XML Query Test Suite
           Version: unspecified
          Platform: PC
        OS/Version: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@...
        ReportedBy: tim@...
         QAContact: public-qt-comments@...


This test, which aims to test the resolution of Bug 5651, should probably
expect FORG0006 rather than XPTY0004 in keeping with fn:boolean.  

(:*******************************************************:)
(:Name: statictyping-24                                  :)
(:Written By: Sorin Nasoi                                :)
(:Description: Evaluation of static typing feature within:)
(:a "where" clause.                                      :)
(:Wrong operand for expression (uses fn:not)             :)
(:*******************************************************:)

(: insert-start :)
declare variable $input-context1 external;
(: insert-end :)

let $var := ("a","b","c")
where fn:not($var) eq fn:true()
return $var


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

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


Sorin Nasoi <spungi@...> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |spungi@...
             Status|NEW                         |RESOLVED
         Resolution|                            |INVALID




--- Comment #1 from Sorin Nasoi <spungi@...>  2009-10-28 10:40:12 ---
This test expects FORG0006, not XPTY0004 as stated in the cat/STFLWORExpr.xml:

<test-case is-XPath2="false" name="statictyping-24"
           FilePath="StaticTyping/STFLWORExpr/"
           scenario="runtime-error"
   [...]    
   <expected-error>FORG0006</expected-error>
</test-case>


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

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


Oliver Hallam <oliver@...> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |oliver@...
             Status|RESOLVED                    |REOPENED
         Resolution|INVALID                     |




--- Comment #2 from Oliver Hallam <oliver@...>  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.

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


Sorin Nasoi <spungi@...> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REOPENED                    |RESOLVED
         Resolution|                            |FIXED




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