使用CM.make的SML/NJ:"错误:非法字符"

Question

我正在尝试使用标准ML的 Shipman的Unix系统编程编译以下程序:

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调用CM

一旦如上例所示设置了库,就可以通过调用函数将其加载到正在运行的交互式会话中CM.make.如果说库的描述文件的名称是fb.cm,那么就可以输入

CM.make "fb.cm";

以这种方式使用CM,我能够毫无问题地编译您的示例,然后像这样运行程序:

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

(关于SML_OF_NJ.exportFn的文档).