标签: cm

我正在尝试使用标准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 …

我正在使用SML/NJ 110.79,其中包括对Successor ML项目定义的新结构的支持.其中,Fn结构.

事实上,我已经在我的个人项目中使用了一个同名的结构,它在110.79之前工作正常.

使用110.79,对于此.cm文件:

group is
  $/basis.cm
  $SMACKAGE/sml-extras/v0.1.0/sources.sml.cm

但是我收到以下错误:

sources.cm:3.3-3.45错误:从$ SMLNJ-BASIS /(basis.cm)导入的结构Fn:basis-common.cm@155252(fn.sml)以及$ SMACKAGE/sml-extras/v0.1.0/(sources.sml.cm):SRC/fn.sml

有谁知道如何通过编译管理器解决此冲突.理想情况下,我的Fn结构就能够"扩展"的标准Fn由刚open-ing它,但使用SML-额外库项目,将不会看到标准的Fn结构,只有我的扩展版本.

这可能吗？我是否需要在sml-extras.cm项目中包装/重新导出整个basis.cm库？

我正在使用 CM 和 ML-Lex 编译词法分析器。当我尝试使用 CM.make "sources.cm" 进行编译时，它会引发错误。

errormsg.sml:7.24-7.39 Error: unbound structure: TextIO in path TextIO.instream
errormsg.sml:21.26-21.38 Error: unbound structure: TextIO in path TextIO.stdIn
errormsg.sml:27.18-27.30 Error: unbound structure: TextIO in path TextIO.stdIn
errormsg.sml:36.12-36.24 Error: unbound structure: Int in path Int.toString

还有一些就像以前的一样。如果我尝试使用“errormsg.sml”，则一切正常。我尝试在sources.cm 中移动errormsg.sml。

来源.cm：

Group is

$/smlnj-lib.cm
driver.sml
tokens.sig
tokens.sml
errormsg.sml
tiger.lex

错误消息.sml：

signature ERRORMSG =
sig
    val anyErrors : bool ref
    val fileName : string ref
    val lineNum : int ref
    val linePos : int list ref
    val sourceStream : …