Re: load, loadfile etc

[Luiz Henrique de Figueiredo <lhf@...>]

> Instead of adding functionality to 'loadfile', another way could
> be to extend 'load' further to accept an opened file as argument, 
> i.e. the following would be equivalent:
> 
>     loadfile "xxx"
>     load(io.open "xxx")
> 
> What is the main argument against this?

Try this:
	load(io.lines"xxx")