[clean-list] Re: Reading columnar data

[Siegfried Gonzi]

> 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