SML/NJ using CM.make: "Error: illegal character"

Question

我正在尝试从 Shipman 的 Unix System Programming with Standard ML 编译以下程序：

structure Main=
struct

    fun main(arg0, argv) =
    (
        case argv of
          [] => ()
        | (first::rest) =>
        (
            print first;
            app (fn arg => (print " "; print arg)) rest;
            print "\n"
        );

        OS.Process.success
    )

    val _ = SMLofNJ.exportFn("echo", main)
end

我的 .cm 文件如下所示：

group is
    $/basis.cm
    echo.sml

当我 运行 CM.make "echo.sml"; 时，我收到以下错误消息：

gotchops@gotchops-vm:~/Documents/USPwSML/Ch2/echo$ CM_ROOT=echo.cm sml
Standard ML of New Jersey v110.80 [built: Fri Sep 16 22:36:30 2016]
- CM.make "echo.sml";
[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]
[library $SMLNJ-BASIS/(basis.cm):basis-common.cm is stable]
[autoloading done]
[scanning echo.sml]
echo.sml:7.11 Error: illegal character: [
echo.sml:7.12 Error: illegal character: ]
echo.sml:1.2-1.16 Error: syntax error: deleting  STRUCTURE ML_ID
echo.sml:6.9 Error: syntax error: inserting  RPAREN
echo.sml:8.17-8.19 Error: syntax error: deleting  COLON COLON
echo.sml:11.14 Error: syntax error: replacing  LPAREN with  RPAREN
echo.sml:11.32-11.34 Error: syntax error: deleting  FILE_NATIVE
echo.sml:11.47 Error: syntax error: inserting  LPAREN
echo.sml:12.16-12.19 Error: syntax error: replacing  FILE_NATIVE with LPAREN
echo.sml:13.10 Error: syntax error: inserting  LPAREN
echo.sml:17.30-17.35 Error: syntax error: deleting  FILE_NATIVE
echo.sml:19.1 Error: syntax error found at EOF
val it = false : bool

然而，当我从顶层 运行 use "echo.sml"; 时，我可以编译得很好。有人知道怎么回事吗？

Answer 1

我认为您只是在错误的文件上调用了 CM。它应该在 .cm 文件而不是 .sml 文件上调用。由于 CM 正在寻找 CM 语法，而不是 SML 语法，它会向您抛出语法错误。

来自新版CM手册[pdf]:

2.3 Invoking CM

Once a library has been set up as shown in the example above, one can load it into a running interactive session by invoking function CM.make. If the name of the library’s description file is, say, fb.cm, then one would type

CM.make "fb.cm";

以这种方式使用 CM，我能够毫无问题地编译您的示例，然后 运行 程序如下所示：

$ sml @SMLload=echo.x86-darwin a b c d e
a b c d e

（继documentation on SML_OF_NJ.exportFn）。