19 Jul
2010
19 Jul
'10
11:05 a.m.
On Mon, Jul 19, 2010 at 11:40 AM, Stephen Tetley <stephen.tetley@gmail.com> wrote:
Parsec has the CharParser - /integer/ - to avoid "many1 digit" and the like.
Note that he doesn't want "123456" to parse as the integer 123456, but rather as the list of digits [ 1,2,3,4,5,6 ]. David.