err.lua

Mon, 06 Jul 2020 12:35:23 -0500

author
Tuomo Valkonen <tuomov@iki.fi>
date
Mon, 06 Jul 2020 12:35:23 -0500
changeset 25
11ae9103f59d
parent 7
038275cd92ed
permissions
-rw-r--r--

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

mercurial