[Bug 17600] Range predicates

https://www.w3.org/Bugs/Public/show_bug.cgi?id=17600

--- Comment #7 from Michael Kay <mike@saxonica.com> 2012-06-26 15:57:44 UTC ---
>for $s at $p in SEQ
where
  typeswitch($s)
  case op:numeric+ return $p = $s
  default return fn:boolean($s)
return $s

Surely not? It depends on the type of PRED, rather than the type of $s. It must
be something like this:

for $s at $p in SEQ
where
  typeswitch($s/(PRED))
  case op:numeric+ return $p = $s/(PRED)
  default return fn:boolean($s/(PRED))
return $s

-- 
Configure bugmail: https://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.