edwinb/Idris-dev — pull request #271 by anders- (2013-04-05 18:04:46+00:00)
Title: Fix missing case in Idris.Primitives.p_strLen

Forgot the line `p_strLen _ = Nothing`. :)