Skip to content

Instantly share code, notes, and snippets.

@danking
Created August 5, 2011 20:57
Show Gist options
  • Select an option

  • Save danking/1128506 to your computer and use it in GitHub Desktop.

Select an option

Save danking/1128506 to your computer and use it in GitHub Desktop.
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 $
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment