[Agda] Unit testing

[Nils Anders Danielsson]

On 2011-10-03 20:47, Alan Jeffrey wrote:
> It might be nice to bundle some such test framework in with the compiler
> build, to do regression tests of the GHC, Epic and JS back ends.
> Ideally, most of the tests could be shared. Is this something other back
> end maintainers are interested in?

I agree that it would be good with more comprehensive/better compiler
backend tests.

-- 
/NAD