type error in test - Array.foldli

[jeremydaw]

jeremy@jasco:/mnt/local/mosml/src/test$ make
rm -f result
mosml -P full test.sml > result 2>&1
hangs, due to
jeremy@jasco:/mnt/local/mosml/src/test$ vi result
File "ovlsucc.sml", line 98, characters 52-54:
! fun maxi ar = Array.foldli f (0,Array.sub(ar,0)) ar
! ^^
! Type clash: expression of type
! 'a array
! cannot have type
! 'a array * int * int option
[closing file "ovlsucc.sml"]
[closing file "test.sml"]

I note that
Moscow ML version 2.10
Enter `quit();' to quit.

• Array.foldli ;

  val ('a, 'b) it = fn : (int * 'a * 'b -> 'b) -> 'b -> 'a array -> 'b
  but
  Moscow ML version 2.01 (January 2004)
  Enter `quit();' to quit.

• Array.foldli ;

  val ('a, 'b) it = fn :
  (int * 'a * 'b -> 'b) -> 'b -> 'a array * int * int option -> 'b

[jeremydaw]

I think this error occurred because the test used Moscow 2.01 which I had previously installed. So the above report can be ignored, the problem is that the test routine picks up whatever version of Moscow ML is first seen in $PATH

The correct test seems to be
make current
rather than just
make