search

ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

Fix integer parser #7

Closed timjb closed 10 years ago

timjb commented 10 years ago

Before this, the number 1234 was parsed as 64 = 10_1 + 10_2 + 10*3 + 4:

*Lightyear/Strings> :x test integer "1234"
MkIO (\ w => prim_io_return (Just 64)) : IO (Maybe Integer)
ziman commented 10 years ago

Thank you!

david-christiansen commented 10 years ago

Thanks! That was a silly bug!