ubuntu - MLton SML 编译器在 Bascinet 中构建失败

Question

我正在尝试为类(class)设置工作区，而教授大多熟悉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" "/home/brasmussen/Applications/PNF_Students/Transformation/bin/parser" "-verbose" "1" "-const" "Exn.keepHistory false" "-profile" "no" "-profile-branch" "false" "-profile-stack" "false" "-profile-val" "false" "/home/brasmussen/Applications/TL_System/Parse/parser.mlb"

MLton 20130715 (built Tue Jul 16 16:14:58 EDT 2013 on shadowvm01)

MLton starting

Compile SML starting

pre codegen starting

Error: /home/brasmussen/Applications/TL_System/Engine/ParserGenerator/auxiliary/bit-vector-set.sml 4.5.

Variable all in signature but not in structure.

pre codegen raised in 2.67 + 1.06 (28% GC)

pre codegen raised: Fail

Compile SML raised in 2.67 + 1.06 (28% GC)

Compile SML raised: Fail

MLton raised in 2.67 + 1.06 (28% GC)

MLton raised: Fail

compilation aborted: elaborate reported errors [1] (0m 4s) BUILD FAILED (Mon Jan 30 21:47:41 CST 2017)

Answer 1

我下载了TL_System的源码, 给出的错误信息似乎与以下行一致:

   include ORD_SET

ORD_SET 似乎有一些变体。签名
a second variation包含 全部 函数，mlton smlnj-lib 中的签名似乎与后者一致

而 BitVectorSetFn 的代码和结构部分符合前者的签名。虽然我不熟悉有问题的代码，但它基于预先存在的 存在 函数， 的可能候选实现全部 可能。

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

或者:也许是旧版本的编译器，我找不到确切的添加时间。