#172 Tail call optimization fails when type checking needed

v7.8
closed
5
2012-10-08
2003-11-18
Michael Kay
No

In a stylesheet function that (a) has a tail call to
another function (or to itself), and (b) declares a
return type that requires dynamic checking (because the
compiler can't establish at compile time that the type
is OK), the tail call optimization doesn't handle the
type check correctly, leading to a spurious run-time
type error.

This probably applies to XQuery as well as XSLT.

Present in 7.8 and probably in the last two or three
versions.

Reproduced and diagnosed but not yet fixed.

Discussion

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks