mlkit
mlkit copied to clipboard
GENERAL.sml (referenced in 'basis-1997.mlb') does not exist or cannot be read
I have a trivial test.mlb
file containing single line:
$(SML_LIB)/basis/basis-1997.mlb
I can successfully compile this with mlton test.mlb
, but mlkit test.mlb
gives an error:
* Error: The file '/work/mlkit//basis/GENERAL.sml' (referenced in 'basis-1997.mlb') does not exist or cannot be read.
* Exiting!
It works fine when I use
$(SML_LIB)/basis/basis.mlb
I'm running this on FreeBSD. Maybe there's an issue with case-sensitivity, because there is file basis/General.sml
, but no basis/GENERAL.sml
.
Tested on 05d73849babbf84a36cca44f1dc1b78624c6cb75 and 86c9cb89258565709b90c79fd985be0bec424368
The problem is due to a renaming of many of the files containing signatures; these have been changed to have extension .sig, which allows them to have the same base name as the files containing implementation code...