MLRISC libs corrupted
Matthew Fluet <[email protected]> Mon, 19 Feb 2007 09:24:39 -0600
| Newsgroups | gmane.comp.lang.sml.smlnj |
|---|---|
| Organization | Toyota Technological Institute at Chicago |
| Message-ID | <[email protected]> |
On a fresh 110.62 build, I get the following behavior:
Standard ML of New Jersey v110.62 [built: Mon Feb 19 09:14:22 2007]
- CM.make "$SMLNJ-MLRISC/MLRISC.cm";
[autoloading]
[library $smlnj/cm/cm.cm is stable]
[library $smlnj/internal/cm-sig-lib.cm is stable]
[library $/pgraph.cm is stable]
[library $smlnj/internal/srcpath-lib.cm is stable]
[library $SMLNJ-BASIS/basis.cm is stable]
[autoloading done]
Error: (stable) $SMLNJ-MLRISC/MLRISC.cm: file is corrupted (old version?)
[scanning $SMLNJ-MLRISC/MLRISC.cm]
uncaught exception Io [Io: openIn failed on
"/Users/fluet/devel/smlnj/smlnj-110.62/lib/SMLNJ-MLRISC/MLRISC.cm", No
such file or directory]
raised at: Basis/Implementation/IO/text-io-fn.sml:784.25-784.71
../cm/util/safeio.sml:30.11
../cm/parse/parse.sml:501.47
Similar behavior for Graphs.cm, MLTREE.cm, etc.
-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV