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

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"