#48 NoSuchElementException when casting time

[Lloyd McKenzie]

Invoking "xs:time('12:00:00.')" results in a
NoSuchElementException.

While the grammer for the second component for xs:time
does require at least one digit following the '.', it
would be preferable for Saxon to handle the problem
with a descriptive error message as opposed to a java
stack-trace.

[Michael Kay]

Logged In: YES
user_id=251681

Thanks for reporting this, I have entered the bug at
http://sourceforge.net/tracker/index.php?func=detail&aid=1553244&group_id=29872&atid=397617
and have applied a source fix for 8.8 to Subversion.