首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >如何在mlton中使用smlnj-lib

如何在mlton中使用smlnj-lib
EN

Stack Overflow用户
提问于 2013-05-01 13:06:50
回答 1查看 331关注 0票数 1

我正在使用MLton编译一个引用IntBinarySet的SML源文件。使用SML/NJ可以很好地运行代码,但是当使用MLton编译时,它会报告Undefined structure IntBinarySet。我需要导入smlnj-lib吗?(我可以直接在SML/NJ中使用IntBinarySet,而无需use-ing或导入任何内容)

具体地说,我的源文件intset.sml如下。

代码语言:javascript
复制
fun newSet () = IntBinarySet.empty

MLton抱怨道:

代码语言:javascript
复制
Error: intset.sml 1.17.
  Undefined structure IntBinarySet.
compilation aborted: parseAndElaborate reported errors
EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2013-05-02 04:22:24

MLton有一个很好的页面about smlnj-lib in MLton

根据您有限的信息,我假设您不是在.mlb文件中导入smlnj-lib?

ORD_SET is part of the utility library。因此,您的问题应该被修复,引用以下内容:

代码语言:javascript
复制
$(SML_LIB)/smlnj-lib/Util/smlnj-lib.mlb
票数 2
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/16313016

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档