• file
• latest
• revisions
• annotate
• diff
• comparison
• raw

err.lua@bbf5bbd72f48 (annotated)

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

2 3975fa5ed630 (don't know) Tuomo Valkonen <tuomov@iki.fi> parents: diff changeset	1
7 038275cd92ed Convert module stuff to lua 5.3 Tuomo Valkonen <tuomov@iki.fi> parents: 2 diff changeset	2	--@module err
038275cd92ed Convert module stuff to lua 5.3 Tuomo Valkonen <tuomov@iki.fi> parents: 2 diff changeset	3	local err={}
2 3975fa5ed630 (don't know) Tuomo Valkonen <tuomov@iki.fi> parents: diff changeset	4
7 038275cd92ed Convert module stuff to lua 5.3 Tuomo Valkonen <tuomov@iki.fi> parents: 2 diff changeset	5	function err.file_pos(f, pos, e)
2 3975fa5ed630 (don't know) Tuomo Valkonen <tuomov@iki.fi> parents: diff changeset	6	error(string.format("%s:%d: %s", f, pos, e))
3975fa5ed630 (don't know) Tuomo Valkonen <tuomov@iki.fi> parents: diff changeset	7	end
3975fa5ed630 (don't know) Tuomo Valkonen <tuomov@iki.fi> parents: diff changeset	8
7 038275cd92ed Convert module stuff to lua 5.3 Tuomo Valkonen <tuomov@iki.fi> parents: 2 diff changeset	9	function err.file(f, e)
2 3975fa5ed630 (don't know) Tuomo Valkonen <tuomov@iki.fi> parents: diff changeset	10	error(string.format("%s %s", f, e))
3975fa5ed630 (don't know) Tuomo Valkonen <tuomov@iki.fi> parents: diff changeset	11	end
3975fa5ed630 (don't know) Tuomo Valkonen <tuomov@iki.fi> parents: diff changeset	12
7 038275cd92ed Convert module stuff to lua 5.3 Tuomo Valkonen <tuomov@iki.fi> parents: 2 diff changeset	13	return err