> Just to be sure: is load(io.lines "xxx") equivalent to loadfile "xxx" > right now? (Both 5.1.4 and 5.2?) Only for 5.2, sorry. I though we were talking about 5.2, because Dirk mentioned 5.2 at the start of the thread.