W3C home > Mailing lists > Public > public-qt-comments@w3.org > June 2007

[Bug 4757] 1.0.3dev:K2-Axes-53

From: <bugzilla@wiggum.w3.org>
Date: Tue, 26 Jun 2007 12:25:28 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1I3A6q-00026H-OF@wiggum.w3.org>

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

           Summary: 1.0.3dev:K2-Axes-53
           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@us.ibm.com
        ReportedBy: tim@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


Since the FS spec states in 4.2 Path Expressions that:

[RelativePathExpr / StepExpr]Expr
==
fs:apply-ordering-mode (
fs:distinct-doc-order-or-atomic-sequence (
  let $fs:sequence as node()* := [RelativePathExpr]Expr return
  let $fs:last := fn:count($fs:sequence) return
  for $fs:dot at $fs:position in $fs:sequence return
    [StepExpr]Expr
))

shouldn't this always throw a type checking error, because

let $fs:sequence as node()* := (1, 2, 3)[1] return ....

will fail?

(:*******************************************************:)
(: Test: K2-Axes-53                                      :)
(: Written by: Frans Englich                             :)
(: Date: 2007-06-14T10:15:26+01:00                       :)
(: Purpose: Many atomic values with predicates in a path expression. :)
(:*******************************************************:)
(1, 2, 3)[1]/(1, 2)[last()]/"a string"
Received on Tuesday, 26 June 2007 12:25:32 UTC

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