-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathcapabilities.json.patch
More file actions
45 lines (45 loc) · 880 Bytes
/
capabilities.json.patch
File metadata and controls
45 lines (45 loc) · 880 Bytes
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
diff --git a/capabilities.json.orig b/capabilities.json
index a7c61b6..089ff79 100644
--- a/capabilities.json.orig
+++ b/capabilities.json
@@ -1,21 +1,50 @@
{
"builtins": [
+ {
+ "name": "dns.ptr",
+ "decl": {
+ "args": [
+ {
+ "type": "string"
+ }
+ ],
+ "result": {
+ "type": "array",
+ "of": {
+ "type": "string"
+ }
+ },
+ "type": "function"
+ },
+ "nondeterministic": true
+ },
+ {
+ "name": "dns.a",
+ "decl": {
+ "args": [
+ {
+ "type": "string"
+ }
+ ],
+ "result": {
+ "type": "array",
+ "of": {
+ "type": "string"
+ }
+ },
+ "type": "function"
+ },
+ "nondeterministic": true
+ },
{
"name": "abs",