|
On 03/08/2011 14.45, Luiz Henrique de Figueiredo wrote:
Just to be sure: is load(io.lines "xxx") equivalent to loadfile "xxx" right now? (Both 5.1.4 and 5.2?)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")
Or is loadfile somewhat optimized for the task it does? TIA -- Lorenzo