如何导入SML中的代码？
我目前正在批改 SML 课程的作业。我编写了一些测试用例来自动检查学生作业中函数的正确性，并且我希望能够导入他们的代码，然后针对该代码运行测试用例。我正在想象类似于 python 导入语义的东西。现在，我拥有的最佳解决方案是将这段代码复制粘贴到每个作业的底部。 SML 可以做到这一点吗？
I'm currently grading assignments for a course on SML. I've written some test cases to automatically check correctness of functions in the students' assignments, and I'd like to be able to import their code and then run the test cases against that code. I'm imagining something similar to python import semantics. Right now, the best solution I have is to copy-paste this code at the bottom of each assignment. Is this possible with SML?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（2）
使用
use：如果您的学生解决方案位于“student.sml”中，测试用例位于“tests.sml”中：
Use
use:If you have the student solution in "student.sml" and your test cases in "tests.sml":
查看 QCheck，SML 的单元测试库
Look at QCheck, a unit testing library for SML