edwinb/Idris-dev — pull request #65 by raichoo (2012-10-30 14:01:39+00:00)
Title: fix compile with gcc 7.2.1

unused variables emit warnings on
gcc 7.2.1 causing the compile to
fail with -Werror enabled.