err.lua

Wed, 17 Jan 2018 18:14:57 +0000

author
Tuomo Valkonen <tuomov@iki.fi>
date
Wed, 17 Jan 2018 18:14:57 +0000
changeset 14
bbf5bbd72f48
parent 7
038275cd92ed
permissions
-rw-r--r--

Improved CSS for different display sizes


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