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