Vector.foldri's type changed?

Hi,

I'm to compile "legacy" code with sml/nj 110.60. I get type errors as
the author of the code supposed that Vector.foldri's last argument is
not a vector, as the Basis Library spec says:

(int * 'a * 'b -> 'b) -> 'b -> 'a vector -> 'b

but a ('a vector * int * int option) triple. The trick is obviously to use

(VectorSlice.vector o VectorSlice.slice)

in between Vector.foldri and the triple.

For historical curiousity I ask: when was this changed? Was it a
change only in the compiler, or in the Basis Library as well? The code
is supposed to compile with 110.0.7.

- Gergely

-------------------------------------------------------------------------
This SF.net email is sponsored by: Splunk Inc.
Still grepping through log files to find problems?  Stop.
Now Search log events and configuration files using AJAX and a browser.
Download your FREE copy of Splunk now >> http://get.splunk.com/