28msec team mailing list archive

[David Graf <davidagraf@xxxxxxxxx>]

** Changed in: sausalito
       Status: New => Invalid

-- 
xs:positiveInteger casting doesn't work properly
https://bugs.launchpad.net/bugs/531512
You received this bug notification because you are a member of 28msec,
which is a direct subscriber.

Status in Sausalito Application Server: Invalid

Bug description:
xs:positiveInteger cast doesn't work properly.

Example Module:
==============

module namespace def = "http://www.test.ch/default";;

declare function def:foo($x as xs:positiveInteger) {
  $x  
};

declare function def:bar() {
  def:foo(xs:positiveInteger(5))
};

Error Message:
============
[XPTY0004] Type promotion not possible: xs:integer -> xs:positiveInteger

The error happens when the casted '5' is passed to the function.