0

我正在尝试为班级设置工作区，而教授大多熟悉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（在 shadowvm01 上于 2013 年 7 月 16 日星期二 16:14:58 EDT 构建）

MLton 启动

编译 SML 启动

预编码开始

错误：/home/brasmussen/Applications/TL_System/Engine/ParserGenerator/auxiliary/bit-vector-set.sml 4.5。

变量都在签名中，但不是在结构中。

pre codegen 在 2.67 + 1.06 (28% GC) 中提出

提出的预代码生成：失败

编译 SML 在 2.67 + 1.06 (28% GC)

编译 SML 引发：失败

MLton 筹码 2.67 + 1.06 (28% GC)

MLton提出：失败

编译中止：详细报告的错误 [1] (0m 4s) BUILD FAILED (Mon Jan 30 21:47:41 CST 2017)

4

1 回答 1

2

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

   include ORD_SET

ORD_SET签名 似乎有一些变体，第二个变体包含一个all函数，mlton smlnj-lib 中的签名似乎与后者一致

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

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

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

于 2017-01-31T07:07:56.307 回答