git.iko.soy/Idris-dev
on b3b7bb7 help sign in
Idris-dev/test/reg018
6 files
../ expectedadjust tests with --consolewidth for use with -f curses reg018a.idrLook through call graph for mutual recursion when productivity checking Otherwise we might miss non-productive calls, particularly important when using 'with'. Fixes issue #183 reg018b.idrChange "class/instance" keywords reg018c.idrMove Fin, Vect and So from prelude to base reg018d.idrAddress semantic differences in putting things to STDOUT. runmake the tests respect the IDRIS env variable