err.lua@5541f9577f27
err.lua
Tue, 16 Jan 2018 17:24:27 +0000
- author
- Tuomo Valkonen <tuomov@liverpool.ac.uk>
- date
- Tue, 16 Jan 2018 17:24:27 +0000
- changeset 12
- 5541f9577f27
- parent 7
-
038275cd92ed
- permissions
- -rw-r--r--
Bitbucket didn't like <...> around email using HTML, so use Unicode
--@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