kailua_check 1.1.0

Type checker for Kailua
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

-- definitions for Lua 5.1 debug library

--# -- TODO many of them will interfere with Kailua's own reasoning, so the support is minimal
--# assume global `debug`:
--#     {
--#         `debug`: function();
--#         `getfenv`: function(o: WHATEVER) --> table;
--#         `gethook`: function(thread: thread?) --> (WHATEVER, string, integer);
--#         -- XXX overloading required
--#         `getinfo`: function(`thread/function`: WHATEVER,
--#                             `function/what`: WHATEVER, what: WHATEVER?) --> table;
--#         -- XXX overloading required
--#         `getlocal`: function(`thread/level`: WHATEVER,
--#                              `level/local`: WHATEVER,
--#                              `local`: WHATEVER?) --> (string, WHATEVER);
--#         `getmetatable`: function(object: any) --> table;
--#         `getregistry`: function() --> table;
--#         `getupvalue`: function(func: function, up: integer) --> (string, WHATEVER);
--#         `setfenv`: function(object: WHATEVER, table: table) --> table;
--#         -- XXX overloading required
--#         `sethook`: function(`thread/hook`: WHATEVER,
--#                             `hook/mask`: WHATEVER,
--#                             `mask/count`: WHATEVER, count: integer?);
--#         -- XXX overloading required
--#         `setlocal`: function(`thread/level`: WHATEVER,
--#                              `level/local`: WHATEVER,
--#                              `local/value`: WHATEVER, value: WHATEVER?) --> string;
--#         `setmetatable`: function(object: any, table: table);
--#         `setupvalue`: function(func: function, up: integer, value: WHATEVER) --> string;
--#         -- XXX overloading required
--#         `traceback`: function(`thread/message`: WHATEVER?,
--#                               `message/level`: WHATEVER?, level: integer?) --> string;
--#         ...
--#     }