SMLでコードをインポートするには？

Question

現在、SMLのコースの課題を採点中です。私は学生の課題の機能の正確性を自動的にチェックするいくつかのテストケースを書いたので、コードをインポートしてそのコードに対してテストケースを実行できるようにしたいと思います。私はPythonのインポートのセマンティクスに似た何かを想像しています。今、私が持っている最善の解決策は、各割り当ての最後にこのコードをコピー・ペーストすることです。これはSMLで可能ですか？ QCheckで

Answer 1

使用useのためのユニットテストライブラリ：

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

あなたは "tests.sml" で "student.sml" における学生のソリューションとテストケースを持っている場合：

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

Answer 2

見て、SML