Mon, 07 Sep 2020 09:15:21 +0300
less verbosity
--@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