idris-lang/Idris-dev — pull request #518 by tauli (2013-10-04 20:51:16+00:00)
Title: runtest.pl revised and cleaned up

I've taken the liberty to give the runtest.pl script an overhaul.
Added the strict pragma, used lexical file handles and did some clean up.