Fri, 17 Jul 2020 12:25:24 -0500
fix weird nodejs length/index
--@module err local err={} function err.file_pos(f, pos, e) error(string.format("%s:%d: %s", f, pos, e)) end function err.file(f, e) error(string.format("%s %s", f, e)) end return err