Как импортировать код в SML? - PullRequest
6 голосов
/ 30 января 2011

В настоящее время я оцениваю задания для курса по SML. Я написал несколько тестовых случаев, чтобы автоматически проверять правильность функций в заданиях студентов, и я хотел бы иметь возможность импортировать их код и затем запускать тестовые примеры для этого кода. Я представляю что-то похожее на семантику импорта Python. Прямо сейчас, лучшее решение, которое у меня есть, это скопировать и вставить этот код внизу каждого назначения. Возможно ли это с SML?

Ответы [ 2 ]

7 голосов
/ 31 января 2011

Используйте use:

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

Если у вас есть решение для студента в "student.sml" и ваши тестовые случаи в "tests.sml":

use "student.sml";
use "tests.sml";
2 голосов
/ 30 января 2011

Посмотрите на QCheck , библиотеку модульного тестирования для SML

...