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

[Bug 19606] New: [QT3TS] prohibit-static-typing-1

From: <bugzilla@jessica.w3.org>
Date: Thu, 18 Oct 2012 16:16:48 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-19606-523@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=19606

          Priority: P2
            Bug ID: 19606
          Assignee: oneil@saxonica.com
           Summary: [QT3TS] prohibit-static-typing-1
        QA Contact: public-qt-comments@w3.org
          Severity: normal
    Classification: Unclassified
                OS: Windows NT
          Reporter: tim@cbcl.co.uk
          Hardware: PC
            Status: NEW
           Version: Working drafts
         Component: XQuery 3 & XPath 3 Test Suite
           Product: XPath / XQuery / XSLT

This test doesn't really test prohibition of the static typing feature.

      declare option prohibit-feature "static-typing";
      try { let $i as xs:integer := "foo" return $i } catch * { 0 }

Since "foo" is never an xs:integer, any implementation might reasonably raise
this at compile time.

I suggest changing the test to

try 
{ 
   let $i as xs:integer := if (current-date() eq xs:date('1900-01-01'))
                           then ()
                           else 1
   return $i 
} 
catch * { 0 }

-- 
You are receiving this mail because:
You are the QA Contact for the bug.
Received on Thursday, 18 October 2012 16:16:54 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 18 October 2012 16:16:54 GMT