-
Notifications
You must be signed in to change notification settings - Fork 63
Expand file tree
/
Copy pathCross.res.txt
More file actions
123 lines (111 loc) · 7.73 KB
/
Cross.res.txt
File metadata and controls
123 lines (111 loc) · 7.73 KB
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
References src/Cross.res 0:17
{"prompt":
["A Snippet has the form: {\"file\": \"Hello.res\", \"line\":23, \"code\": \"...the code...\"} where the first line of code is line 23.\nFind Uses of \"UnknownName\" given snippets for its Definition and its Users.\n\nThe input has form:\n Definition:\n snippet\n \n Use1:\n snippet1\n \n Use2:\n snippet2\n ...\n\nYou will produce output of the form:\n- `File.res` line `12`: function `foo` calls `UnknownName` ...\n- `File2.res` line `34`: function `bar` uses `UnknownName` to ...\n\nIgnore any code in the Snippets that is not directly relevant to using \"UnknownName\".\nAdd enough details to understand at high level how \"UnknownName\" is used targeted at a person who is trying to undersand the codebase.\n",
"Definition:\n{\"file\": Cross.res, \"line\": 1, \"code\":\nlet crossRef = References.x\n// ^ref\n\nlet crossRef2 = References.x\n\"}\n",
"Use1:\n{\"file\": Cross.res, \"line\": 4, \"code\":\nlet crossRef = References.x\n// ^ref\n\nlet crossRef2 = References.x\n\nmodule Ref = References\n\nlet crossRef3 = References.x\"}\n",
"Use2:\n{\"file\": Cross.res, \"line\": 6, \"code\":\nlet crossRef = References.x\n// ^ref\n\nlet crossRef2 = References.x\n\nmodule Ref = References\n\nlet crossRef3 = References.x\n\nlet crossRefWithInterface = ReferencesWithInterface.x\"}\n",
"Use3:\n{\"file\": Cross.res, \"line\": 8, \"code\":\n\nlet crossRef2 = References.x\n\nmodule Ref = References\n\nlet crossRef3 = References.x\n\nlet crossRefWithInterface = ReferencesWithInterface.x\n// ^ref\n\"}\n",
"Use4:\n{\"file\": References.res, \"line\": 1, \"code\":\nlet x = 12\n// ^ref\n\nlet a = x\n\"}\n"],
"references":
[{"uri": "Cross.res", "range": {"start": {"line": 0, "character": 15}, "end": {"line": 0, "character": 25}}},
{"uri": "Cross.res", "range": {"start": {"line": 3, "character": 16}, "end": {"line": 3, "character": 26}}},
{"uri": "Cross.res", "range": {"start": {"line": 5, "character": 13}, "end": {"line": 5, "character": 23}}},
{"uri": "Cross.res", "range": {"start": {"line": 7, "character": 16}, "end": {"line": 7, "character": 26}}},
{"uri": "References.res", "range": {"start": {"line": 0, "character": 0}, "end": {"line": 0, "character": 0}}}]}
References src/Cross.res 9:31
{"prompt":
["A Snippet has the form: {\"file\": \"Hello.res\", \"line\":23, \"code\": \"...the code...\"} where the first line of code is line 23.\nFind Uses of \"UnknownName\" given snippets for its Definition and its Users.\n\nThe input has form:\n Definition:\n snippet\n \n Use1:\n snippet1\n \n Use2:\n snippet2\n ...\n\nYou will produce output of the form:\n- `File.res` line `12`: function `foo` calls `UnknownName` ...\n- `File2.res` line `34`: function `bar` uses `UnknownName` to ...\n\nIgnore any code in the Snippets that is not directly relevant to using \"UnknownName\".\nAdd enough details to understand at high level how \"UnknownName\" is used targeted at a person who is trying to undersand the codebase.\n",
"Definition:\n{\"file\": Cross.res, \"line\": 10, \"code\":\n\nmodule Ref = References\n\nlet crossRef3 = References.x\n\nlet crossRefWithInterface = ReferencesWithInterface.x\n// ^ref\n\nlet crossRefWithInterface2 = ReferencesWithInterface.x\n\"}\n",
"Use1:\n{\"file\": Cross.res, \"line\": 13, \"code\":\nlet crossRef3 = References.x\n\nlet crossRefWithInterface = ReferencesWithInterface.x\n// ^ref\n\nlet crossRefWithInterface2 = ReferencesWithInterface.x\n\nmodule RefWithInterface = ReferencesWithInterface\n\nlet crossRefWithInterface3 = ReferencesWithInterface.x\"}\n",
"Use2:\n{\"file\": Cross.res, \"line\": 15, \"code\":\nlet crossRefWithInterface = ReferencesWithInterface.x\n// ^ref\n\nlet crossRefWithInterface2 = ReferencesWithInterface.x\n\nmodule RefWithInterface = ReferencesWithInterface\n\nlet crossRefWithInterface3 = ReferencesWithInterface.x\n\nlet _ = RenameWithInterface.x\"}\n",
"Use3:\n{\"file\": Cross.res, \"line\": 17, \"code\":\n\nlet crossRefWithInterface2 = ReferencesWithInterface.x\n\nmodule RefWithInterface = ReferencesWithInterface\n\nlet crossRefWithInterface3 = ReferencesWithInterface.x\n\nlet _ = RenameWithInterface.x\n// ^ren RenameWithInterfacePrime\n\"}\n",
"Use4:\n{\"file\": ReferencesWithInterface.res, \"line\": 1, \"code\":\nlet x = 2\"}\n",
"Use5:\n{\"file\": ReferencesWithInterface.resi, \"line\": 1, \"code\":\nlet x: int\"}\n"],
"references":
[{"uri": "Cross.res", "range": {"start": {"line": 9, "character": 28}, "end": {"line": 9, "character": 51}}},
{"uri": "Cross.res", "range": {"start": {"line": 12, "character": 29}, "end": {"line": 12, "character": 52}}},
{"uri": "Cross.res", "range": {"start": {"line": 14, "character": 26}, "end": {"line": 14, "character": 49}}},
{"uri": "Cross.res", "range": {"start": {"line": 16, "character": 29}, "end": {"line": 16, "character": 52}}},
{"uri": "ReferencesWithInterface.res", "range": {"start": {"line": 0, "character": 0}, "end": {"line": 0, "character": 0}}},
{"uri": "ReferencesWithInterface.resi", "range": {"start": {"line": 0, "character": 0}, "end": {"line": 0, "character": 0}}}]}
Rename src/Cross.res 18:13 RenameWithInterfacePrime
[
{
"kind": "rename",
"oldUri": "RenameWithInterface.resi",
"newUri": "RenameWithInterfacePrime.resi"
},
{
"kind": "rename",
"oldUri": "RenameWithInterface.res",
"newUri": "RenameWithInterfacePrime.res"
},
{
"textDocument": {
"version": null,
"uri": "Cross.res"
},
"edits": [{
"range": {"start": {"line": 18, "character": 8}, "end": {"line": 18, "character": 27}},
"newText": "RenameWithInterfacePrime"
}, {
"range": {"start": {"line": 21, "character": 8}, "end": {"line": 21, "character": 27}},
"newText": "RenameWithInterfacePrime"
}]
}
]
Rename src/Cross.res 21:28 xPrime
[
{
"textDocument": {
"version": null,
"uri": "RenameWithInterface.resi"
},
"edits": [{
"range": {"start": {"line": 0, "character": 4}, "end": {"line": 0, "character": 5}},
"newText": "xPrime"
}]
},
{
"textDocument": {
"version": null,
"uri": "RenameWithInterface.res"
},
"edits": [{
"range": {"start": {"line": 0, "character": 4}, "end": {"line": 0, "character": 5}},
"newText": "xPrime"
}]
},
{
"textDocument": {
"version": null,
"uri": "Cross.res"
},
"edits": [{
"range": {"start": {"line": 18, "character": 28}, "end": {"line": 18, "character": 29}},
"newText": "xPrime"
}, {
"range": {"start": {"line": 21, "character": 28}, "end": {"line": 21, "character": 29}},
"newText": "xPrime"
}]
}
]
TypeDefinition src/Cross.res 24:5
{"uri": "TypeDefinition.res", "range": {"start": {"line": 2, "character": 0}, "end": {"line": 2, "character": 28}}}
Definition src/Cross.res 27:32
{"uri": "DefinitionWithInterface.res", "range": {"start": {"line": 0, "character": 4}, "end": {"line": 0, "character": 5}}}
Definition src/Cross.res 30:36
{"uri": "DefinitionWithInterface.res", "range": {"start": {"line": 3, "character": 5}, "end": {"line": 3, "character": 6}}}
TypeDefinition src/Cross.res 33:37
{"uri": "DefinitionWithInterface.resi", "range": {"start": {"line": 3, "character": 0}, "end": {"line": 3, "character": 6}}}
Complete src/Cross.res 36:28
posCursor:[36:28] posNoWhite:[36:27] Found expr:[36:3->36:28]
Pexp_ident DefinitionWithInterface.a:[36:3->36:28]
Completable: Cpath Value[DefinitionWithInterface, a]
Package opens Pervasives.JsxModules.place holder
Resolved opens 1 pervasives
ContextPath Value[DefinitionWithInterface, a]
Path DefinitionWithInterface.a
[]
Definition src/Cross.res 39:39
{"uri": "DefinitionWithInterface.res", "range": {"start": {"line": 9, "character": 6}, "end": {"line": 9, "character": 7}}}