ML Kit

 

The ML Kit Project

 

 

 

Problems caused by differences in Edinburgh Library versions

 

If you get a type error when building the Kit, it may be because you are using a different version of the Edinburgh Standard ML Library than we are. We use a version from 1991, and the version from 1993 has been changed slightly.

If the Edinburgh Standard ML Library is part of your executable Standard ML of New Jersey, you should be able to see what version of the Edinburgh Standard ML Library you are using with the UNIX command strings `which sml-edlib` | grep Edinburgh (assuming the executable is called sml-edlib). On our system, that command yields:

Edinburgh SML Library, $Revision: 1.21 $, $Date: 1991/11/19 10:42:24 $.

You can fix the problem by installing the 1991 version of the library yourself (available from the page where you found the Kit), or you can replace two files in your downloaded Kit as follows:

 

Maintained by tofte@itu.dk (But revised by hojfeld 01/02/1998.) /
Department of Computer Science (DIKU),
University of Copenhagen
July 9, 1997.