edwinb/Idris-dev — pull request #388 by JanBessai (2013-07-11 17:36:32+00:00)
Title: StrLen regression test

This may seem trivial, but it has caused enough trouble to include it in order to avoid future breakage, I think.