/examples/readline.winxed

 1function main(var args)
 2{
 3	string filename = 'README';
 4	var file = new 'FileHandle';
 5	if (args > 1)
 6		filename= args[1];
 7	say ("File: ", filename);
 8	file.open(filename);
 9
10	for (;;)
11	{
12		var s= file.readline();
13		if (file.eof() )
14			break;
15		print('>> ', s);
16	}
17	say("(End of file)");
18	file.close();
19}