err.lua

Tue, 16 Jan 2018 17:02:29 +0000

author
Tuomo Valkonen <tuomov@iki.fi>
date
Tue, 16 Jan 2018 17:02:29 +0000
changeset 9
751216807683
parent 7
038275cd92ed
permissions
-rw-r--r--

Further lua5.3 compatibility fixes


--@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