- danking@out-run $ rlwrap sml
- Standard ML of New Jersey v110.69 [built: Mon Jun 8 14:15:08 2009]
- - CM.make "source.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]
- [scanning source.cm]
- uncaught exception Io [Io: openIn failed on "source.cm", No such file or directory]
- raised at: Basis/Implementation/IO/text-io-fn.sml:783.25-783.71
- ../cm/util/safeio.sml:30.11
- ../cm/parse/parse.sml:502.47
- - CM.make "sources.cm";
- [scanning sources.cm]
- [attempting to load plugin $/lex-ext.cm]
- [library $/lex-ext.cm is stable]
- [library $smlnj/cm/tools.cm is stable]
- [library $smlnj/internal/cm-lib.cm is stable]
- [plugin $/lex-ext.cm loaded successfully]
- [attempting to load plugin $/mllex-tool.cm]
- [library $/mllex-tool.cm is stable]
- [plugin $/mllex-tool.cm loaded successfully]
- [parsing (sources.cm):tiger.lex.sml]
- [creating directory .cm/SKEL]
- [parsing (sources.cm):errormsg.sml]
- [parsing (sources.cm):parsetest.sml]
- [attempting to load plugin $/grm-ext.cm]
- [library $/grm-ext.cm is stable]
- [plugin $/grm-ext.cm loaded successfully]
- [attempting to load plugin $/mlyacc-tool.cm]
- [library $/mlyacc-tool.cm is stable]
- [plugin $/mlyacc-tool.cm loaded successfully]
- [parsing (sources.cm):tiger.grm.sig]
- [parsing (sources.cm):tiger.grm.sml]
- [scanning (sources.cm):smlnj-lib.cm]
- sources.cm:7.1-7.13 Error: Io: openIn failed on "smlnj-lib.cm", No such file or directory
- val it = false : bool
- -
- danking@out-run $ ls
- errormsg.sml parsetest.sml sources.cm tiger.grm tiger.grm~ tiger.grm.desc tiger.grm.sig tiger.grm.sml tiger.lex.sml
- danking@out-run $