
19 Jul
2010
19 Jul
'10
12:28 p.m.
On Mon, Jul 19, 2010 at 2:10 PM, Stephen Tetley
On 19 July 2010 12:05, David Virebayre
wrote: 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 ].
Fair enough, I'd swap /digitToInt/ for read though...
Of course ! I just didn't know that function existed :) Now that I think of it, that's not a good excuse. Converting a single char to an int is not difficult, I just had made a quick reply without thinking too much. David.