err.lua@836dac92eced (annotated)
err.lua
Tue, 16 Jan 2018 17:02:22 +0000
- author
- Tuomo Valkonen <tuomov@iki.fi>
- date
- Tue, 16 Jan 2018 17:02:22 +0000
- changeset 8
- 836dac92eced
- parent 7
- 038275cd92ed
- permissions
- -rw-r--r--
Update markdown; now Lua 5.3 compatible
| 2 | 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 | 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 | 6 | error(string.format("%s:%d: %s", f, pos, e)) |
| 7 | end | |
| 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 | 10 | error(string.format("%s %s", f, e)) |
| 11 | end | |
| 12 | ||
|
7
038275cd92ed
Convert module stuff to lua 5.3
Tuomo Valkonen <tuomov@iki.fi>
parents:
2
diff
changeset
|
13 | return err |
