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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
{
"types": [
{
"idx": 0,
"name": "clockid",
"enum": {
"cases": [
"realtime",
"monotonic"
]
},
"foreign_module": "wasi"
},
{
"idx": 1,
"name": "timestamp",
"primitive": "u64",
"foreign_module": "wasi"
},
{
"idx": 2,
"name": "errno",
"enum": {
"cases": [
"success",
"toobig",
"access",
"addrinuse",
"addrnotavail",
"afnosupport",
"again",
"already",
"badf",
"badmsg",
"busy",
"canceled",
"child",
"connaborted",
"connrefused",
"connreset",
"deadlk",
"destaddrreq",
"dom",
"dquot",
"exist",
"fault",
"fbig",
"hostunreach",
"idrm",
"ilseq",
"inprogress",
"intr",
"inval",
"io",
"isconn",
"isdir",
"loop",
"mfile",
"mlink",
"msgsize",
"multihop",
"nametoolong",
"netdown",
"netreset",
"netunreach",
"nfile",
"nobufs",
"nodev",
"noent",
"noexec",
"nolck",
"nolink",
"nomem",
"nomsg",
"noprotoopt",
"nospc",
"nosys",
"notconn",
"notdir",
"notempty",
"notrecoverable",
"notsock",
"notsup",
"notty",
"nxio",
"overflow",
"ownerdead",
"perm",
"pipe",
"proto",
"protonosupport",
"prototype",
"range",
"rofs",
"spipe",
"srch",
"stale",
"timedout",
"txtbsy",
"xdev",
"notcapable"
]
},
"foreign_module": "wasi"
},
{
"idx": 3,
"expected": {
"ok": "type-1",
"err": "type-2"
}
}
],
"functions": [
{
"name": "res-get",
"params": [
"type-0"
],
"result": "type-3"
},
{
"name": "time-get",
"params": [
"type-0",
"type-1"
],
"result": "type-3"
}
]
}