Read a file one line at a time,
as opposed to reading the entire file at once.



Related tasks

 Read a file character by character
 Input loop.


 
public static void main(){
	var file = FileStream.open("foo.txt", "r");
 
	string line = file.read_line();
	while (line != null){
		stdout.printf("%s\n", line);
		line = file.read_line();
	}
}
 