git.iko.soy/Idris-dev
on 9302221 help sign in
Idris-dev/test/reg029
3 files
../ expectedAdd regression test for possibly-null foreign strings in the executor reg029.idrAdd regression test for possibly-null foreign strings in the executor runfixes reg029 to not use set -u (which does not exist on macosx)