Как использовать smlnj-lib в mlton

Question

Я собираю исходный файл SML со ссылкой на IntBinarySet используя MLton. Код хорошо работает с использованием SML/NJ, однако при компиляции с использованием MLton он жалуется Undefined structure IntBinarySet, Нужно ли как-то импортировать smlnj-lib? (Я могу использовать IntBinarySet непосредственно в SML / NJ без useили импортировать что-нибудь)

Чтобы быть конкретным, мой исходный файл intset.sml как следует.

fun newSet () = IntBinarySet.empty

и MLton жалуется:

Error: intset.sml 1.17.
  Undefined structure IntBinarySet.
compilation aborted: parseAndElaborate reported errors

Answer 1

У MLton есть хорошая страница о smlnj-lib в MLton.

Исходя из вашей ограниченной информации, я предполагаю, что вы не импортируете smlnj-lib в свой файл.mlb?

ORD_SET является частью служебной библиотеки. Таким образом, ваша проблема должна быть решена, имея ссылку на:

$(SML_LIB)/smlnj-lib/Util/smlnj-lib.mlb