如何在SML中导入代码？

Question

我目前正在评估SML课程的作业.我已经编写了一些测试用例来自动检查学生作业中函数的正确性,我希望能够导入他们的代码然后针对该代码运行测试用例.我在想象类似于python import语义的东西.现在,我的最佳解决方案是在每个作业的底部复制粘贴此代码.这可能与SML有关吗？

Answer 1

用途use:

use "filename.sml";
(* your test cases here *)

如果你有"student.sml"中的学生解决方案和"tests.sml"中的测试用例:

use "student.sml";
use "tests.sml";