[clean-list] Re: Reading columnar data
Siegfried Gonzi
siegfried.gonzi@kfunigraz.ac.at
Wed, 05 Sep 2001 12:45:05 +0200
> CountLines:: !File -> !Int
> CountLines file = ReadLines 0 file
> where
> ReadLines:: !Int !File -> !Int
> ReadLines nLines file
> | line == "999" = abort("999 reached")
> #! (line,filerest) = sfreadline file
> = ReadLines (nLines + 1) filerest
Sorry it should be:
......
CountLines:: !File -> !Int
CountLines file = ReadLines 0 file
where
ReadLines:: !Int !File -> !Int
ReadLines nLines file
#! (line,filerest) = sfreadline file
| line == "999" = abort("999 reached")
= ReadLines (nLines + 1) filerest
S. Gonzi