2017-01-31 28 views
0

クラスのワークスペースを設定しようとしています。教授は主にWindowsシステムに精通しています。 Linux環境での開発を本当に好む。私は現在、x32ビットのLubuntuインストールを実行しています。 MLtonの最新バージョンをダウンロードし、Alienを使用してインストールしました。これまでのところ、私の研究はこのエラーの解決策としてはあまり変わっていません。BtoninetでMLton SMLコンパイラのビルドが失敗する

"/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)

答えて

2

私は与えられたエラーメッセージが線と一致するように見える、TL_Systemのソースをダウンロード:

include ORD_SET 

ORD_SET署名 a second variationすべてが含まれているのいくつかのバリエーションとなっているために存在見えます関数では、mlton smlnj-libのシグネチャは後者の

と一致していますが、コードとst BitVectorSetFnのルックアップ部分は前者のシグネチャに従います。私は問題のコードに慣れていませんが、既存のものを基にしてが存在します。の機能は、の可能性のある候補の実装はすべてかもしれません。

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

代わり:まさにこれを添加した場合、コンパイラの古いバージョンおそらく、私は見つけることができませんでした。

+0

3番目のオプションは、sigのインクルードORD_SETを、コードが準拠している古いシグネチャに置き換えている可能性があります。 – matt

関連する問題