The difference being that _you_ discard information.
/ Martin Nilsson (bygger parser
Previous text:
2002-12-30 15:16: Subject: stdin->line_iterator
To get that final iteration on "" is, on the other hand, seldom useful and often needing an extra removal of the final element. (Assuming there was actually a trailing newline too, of course.)
/ Johan Sundström (a hugging punishment!)