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" "/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, по-видимому, совпадает с последней

, а код и st ruct часть BitVectorSetFn соответствует сигнатуре первого. Хотя я не знаком с кодом, о котором идет речь, на основе существующего существует функция, вероятная реализация кандидата все может быть.

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

Поочередно: старая версия компилятора может быть, я не мог найти, когда именно это было добавлено.