Модульное тестирование вывода компилятора

В рамках университетского проекта, нам нужно написать компилятор для игрушечного языка. Чтобы провести некоторое тестирование для этого, я подумал, как лучше всего написать что-то вроде модульных тестов. Поскольку компилятор пишется на haskell, доступны и Hunit, и quickcheck, но, возможно, не совсем подходят.

Как мы можем проводить какие-либо тесты без ручного управления? Единственная идея, которая у меня была, - это также эффективно скомпилировать в haskell, посмотреть, каков результат, и использовать некоторый сценарий оболочки, чтобы сравнить его с выводом скомпилированной программы - это довольно много работы и не слишком элегантно либо.

Модульное тестирование призвано помочь нам и не является частью оцениваемой работы.