MLton SML编译器在Bascinet中生成失败

Question

我正试图为一堂课设置一个工作区，而这位教授对windows系统大多很熟悉。我非常喜欢在Linux环境下进行开发。我目前正在运行一个x32位Lubuntu安装。我已经下载了MLton的最新版本并使用Alien安装了它。到目前为止，我的研究还没有找到解决这一错误的办法。

"/usr/bin/mlton“-mlb path-var "TL /home/brasmussen/Applications/TL_System”-mlb-path-var“domain/home/brasmussen/Applications/PNF_Students”"-output“-output "-verbose”"1“"-const”"Exn.keepHistory false“"-profile”no“-配置文件-分支”"false“-配置文件-堆栈"false“-profile-val”false“"/home/brasmussen/Applications/TL_System/Parse/parser.mlb” MLton 20130715 (建于美国东部时间2013年7月16日16时14分58分在shadowvm01上) MLton启动 编译SML启动 预编码启动 错误: /home/brasmussen/Applications/TL_System/Engine/ParserGenerator/auxiliary/bit-vector-set.sml 4.5。 变量都在签名中，但在结构中没有。 预编码原在2.67 + 1.06 (28% GC)中提高 启动预编码:失败 编译2.67 + 1.06 (28% GC)中提出的SML 编译SML引发的:失败 MLton在2.67 + 1.06 (28% GC)中升高 MLton引发:失败 编译中止:详细报告的错误1构建失败(Mon Jan 30 21:47:41 CST 2017)

Answer 1

我下载了系统的源代码，给出的错误消息似乎与行一致：

   include ORD_SET

似乎有几种设置签名第二种变体包含了all函数，mlton smlnj lib中的签名似乎与后者一致。

而BitVectorSetFn的代码和结构部分符合前者的签名。虽然我不熟悉所讨论的代码，但基于预先存在的存在函数，可能是all的候选实现。

fun all f s = List.all f (listItemsU s)

另一种情况是:编译器的一个旧版本，我找不到它到底是什么时候添加的。