Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

#1189 Type-checking for higher-order functions

v9.4
closed
Michael Kay
5
2012-10-08
2012-01-03
Michael Kay
No

When a higher-order function such as fn:map(), fn:filter(), or fn:fold-left() calls a supplied function, the arguments are not checked against the declared types of in the signature of that function, and the result of the function is not checked against its declared type. This may result in calls succeeding where they should not, or in an internal error such as a ClassCastException.

A patch is being placed in Subversion

Discussion

  • Michael Kay
    Michael Kay
    2012-01-23

    Fixed in 9.4.0.2