Mon, 06 Jul 2020 12:35:23 -0500
Destination name creation changes
--@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