idris-lang/Idris-dev — pull request #1218 by jeffersoncarpenter (2014-05-10 23:12:11+00:00)
Title: fixed typo in basic001 test

It compiles again