Re: get_line and skip_line in package text_io

["Jeff Creem" <jeff@thecreems.com>]

Never use (ok almost never) skip_line after a get_line. Use skip_line after
reading Integers, floats, enums
using their respective IO packages if you want to ignore the rest of the
contents on the line.

The only time a skip_line after a get_line makes sense is when you really
want to throw away the contents
of a second line or when Last returns = Item'last (indicating that not all
of the text on the line was consumed) and
you want to ignore for some reason the rest of the line.


"arcele" <unhuh@hotmail.com> wrote in message
news:959tlt$mtm$1@slb6.atl.mindspring.net...
> I'm slightly confused about the purpose of the text_io.skip_line function.
> Some times with a get_line command in my program even after the user hits
> enter the program does not continue, i'm sure this is because i am not
using
> skip_line correctly, but what exactly does the skip_line function do? and
> when should i use it? thanks in advance for any help. ryan
>
>