[Date Prev][Date Next][Thread Prev][Thread Next]
- Subject: Re: load, loadfile etc
- From: Lorenzo Donati <lorenzodonatibz@...>
- Date: Wed, 03 Aug 2011 16:26:46 +0200
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:
What is the main argument against this?
Or is loadfile somewhat optimized for the task it does?