Don't like ads? PRO users don't see any ads ;-)
Guest

Untitled

By: a guest on May 8th, 2012  |  syntax: None  |  size: 1.72 KB  |  hits: 14  |  expires: Never
download  |  raw  |  embed  |  report abuse  |  print
Text below is selected. Please press Ctrl+C to copy to your clipboard. (⌘+C on Mac)
  1. danking@out-run $ rlwrap sml
  2. Standard ML of New Jersey v110.69 [built: Mon Jun  8 14:15:08 2009]
  3. - CM.make "source.cm"
  4. = ;
  5. [autoloading]
  6. [library $smlnj/cm/cm.cm is stable]
  7. [library $smlnj/internal/cm-sig-lib.cm is stable]
  8. [library $/pgraph.cm is stable]
  9. [library $smlnj/internal/srcpath-lib.cm is stable]
  10. [library $SMLNJ-BASIS/basis.cm is stable]
  11. [autoloading done]
  12. [scanning source.cm]
  13.  
  14. uncaught exception Io [Io: openIn failed on "source.cm", No such file or directory]
  15.   raised at: Basis/Implementation/IO/text-io-fn.sml:783.25-783.71
  16.              ../cm/util/safeio.sml:30.11
  17.              ../cm/parse/parse.sml:502.47
  18. - CM.make "sources.cm";
  19. [scanning sources.cm]
  20. [attempting to load plugin $/lex-ext.cm]
  21. [library $/lex-ext.cm is stable]
  22. [library $smlnj/cm/tools.cm is stable]
  23. [library $smlnj/internal/cm-lib.cm is stable]
  24. [plugin $/lex-ext.cm loaded successfully]
  25. [attempting to load plugin $/mllex-tool.cm]
  26. [library $/mllex-tool.cm is stable]
  27. [plugin $/mllex-tool.cm loaded successfully]
  28. [parsing (sources.cm):tiger.lex.sml]
  29. [creating directory .cm/SKEL]
  30. [parsing (sources.cm):errormsg.sml]
  31. [parsing (sources.cm):parsetest.sml]
  32. [attempting to load plugin $/grm-ext.cm]
  33. [library $/grm-ext.cm is stable]
  34. [plugin $/grm-ext.cm loaded successfully]
  35. [attempting to load plugin $/mlyacc-tool.cm]
  36. [library $/mlyacc-tool.cm is stable]
  37. [plugin $/mlyacc-tool.cm loaded successfully]
  38. [parsing (sources.cm):tiger.grm.sig]
  39. [parsing (sources.cm):tiger.grm.sml]
  40. [scanning (sources.cm):smlnj-lib.cm]
  41. sources.cm:7.1-7.13 Error: Io: openIn failed on "smlnj-lib.cm", No such file or directory
  42. val it = false : bool
  43. -
  44. danking@out-run $ ls
  45. errormsg.sml  parsetest.sml  sources.cm  tiger.grm  tiger.grm~  tiger.grm.desc  tiger.grm.sig  tiger.grm.sml  tiger.lex.sml
  46. danking@out-run $