err.lua

Mon, 06 Jul 2020 13:01:18 -0500

author
Tuomo Valkonen <tuomov@iki.fi>
date
Mon, 06 Jul 2020 13:01:18 -0500
changeset 28
9b75d0f5e042
parent 7
038275cd92ed
permissions
-rw-r--r--

Use @neilsustc/markdown-it-katex instead of markdown-it-katex.
The latter is broken


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