ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

make lightyear track position information. #53

Closed jfdm closed 7 years ago

jfdm commented 7 years ago
jfdm commented 7 years ago

So one of the tests is failing for some reason. I'll investigate later, so will close and reopen once fixed.

FYI, its "Test 7" in Tests.idr. The test is failing on the left alternative and is not taking the right one, and I cannot work out why.