emacs - 格式异常 SML

Question

我正在使用 Linux Mint 17，我最近使用 apt-get 安装了 smlnj(新泽西州的标准 ML)和用于 Emacs 的 sml-mode。

当我尝试使用命令增加打印深度时Control.Print.PrintDepth := 100; 我收到以下错误:

- Control.Print.PrintDepth := 100;
[autoloading]
[library $smlnj/compiler/current.cm is stable]
[library $smlnj/compiler/x86.cm is stable]
[library $smlnj/viscomp/core.cm is stable]
[library $smlnj/viscomp/basics.cm is stable]
[library $smlnj/viscomp/elabdata.cm is stable]
[library $smlnj/viscomp/elaborate.cm is stable]
[library $SMLNJ-BASIS/basis.cm is stable]
[library $smlnj/viscomp/debugprof.cm is stable]
 Error: (stable) $smlnj/smlnj-lib/smlnj-lib.cm: unable to find $SMLNJ-LIB/Util/smlnj-lib.cm (/build/buildd/smlnj-110.76/sml.boot.x86-unix/SMLNJ-LIB/Util/smlnj-lib.cm)

unexpected exception (bug?) in SML/NJ: Format [Format]
  raised at: ../cm/stable/stabilize.sml:257.15-257.21
         ../cm/stable/stabilize.sml:360.44
         ../compiler/TopLevel/interact/evalloop.sml:44.55

我用谷歌搜索了它，但没有找到任何东西......有谁知道这个错误可能意味着什么以及如何解决它？

编辑:我也按照 Gergely 的建议尝试了使用小 p 的命令，但没有任何区别。我仍然得到相同的输出:

- Control.Print.printDepth := 100;
[autoloading]
[library $smlnj/compiler/current.cm is stable]
... 
[library $smlnj/viscomp/debugprof.cm is stable]
 Error: (stable) $smlnj/smlnj-lib/smlnj-lib.cm: unable to find $SMLNJ-LIB/Util/smlnj-lib.cm (/build/buildd/smlnj-110.76/sml.boot.x86-unix/SMLNJ-LIB/Util/smlnj-lib.cm)

unexpected exception (bug?) in SML/NJ: Format [Format]
  raised at: ../cm/stable/stabilize.sml:257.15-257.21
             ../cm/stable/stabilize.sml:360.44
             ../compiler/TopLevel/interact/evalloop.sml:44.55

如果我像 Gergely 那样在 REPL 中键入 open Control.Print;，我也会遇到同样的错误。

我还尝试从源代码构建 smlnj，但 Emacs 无法识别它 - 当我尝试使用 Emacs 键盘快捷键 C-c C-l 将 .sml 文件加载到 REPL 时，它提示它不能'找不到 sml 命令。

谢谢，斯佩拉

Answer 1

已解决。我需要安装附加包 libsmlnj-smlnj，apt-get 也提供该包。它解决了我的问题。

感谢您的帮助，Špela。