ziman / lightyear

Parser combinators for Idris
Other
238 stars 43 forks source link

All string parsers are now partial #58

Closed Melvar closed 7 years ago

Melvar commented 7 years ago

Every single string parser is now partial because #55 has injected its partial tab-counting code into the Stream Char String instance (and ignoring the tabwidth given to updatePos in favor of the default).

(Also, is there anywhere to read what that code is actually supposed to accomplish?)