firefly-compiler 0.5.35 → 0.5.37

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (225) hide show
  1. package/.hintrc +4 -4
  2. package/.vscode/settings.json +4 -4
  3. package/bin/Release.ff +157 -154
  4. package/bin/firefly.mjs +1 -1
  5. package/compiler/Builder.ff +275 -277
  6. package/compiler/Compiler.ff +234 -233
  7. package/compiler/Dependencies.ff +186 -187
  8. package/compiler/DependencyLock.ff +17 -17
  9. package/compiler/Deriver.ff +23 -31
  10. package/compiler/Dictionaries.ff +1 -1
  11. package/compiler/Inference.ff +43 -20
  12. package/compiler/JsEmitter.ff +1437 -1282
  13. package/compiler/LspHook.ff +202 -202
  14. package/compiler/Main.ff +25 -24
  15. package/compiler/ModuleCache.ff +178 -178
  16. package/compiler/Parser.ff +36 -109
  17. package/compiler/Resolver.ff +5 -8
  18. package/compiler/Substitution.ff +1 -1
  19. package/compiler/Syntax.ff +1 -16
  20. package/compiler/Token.ff +9 -0
  21. package/compiler/Tokenizer.ff +4 -0
  22. package/compiler/Workspace.ff +88 -88
  23. package/core/.firefly/include/package.json +5 -5
  24. package/core/.firefly/package.ff +2 -2
  25. package/core/Any.ff +26 -30
  26. package/core/Array.ff +298 -265
  27. package/core/Atomic.ff +63 -64
  28. package/core/Box.ff +7 -7
  29. package/core/BrowserSystem.ff +40 -40
  30. package/core/Buffer.ff +185 -152
  31. package/core/BuildSystem.ff +156 -148
  32. package/core/Channel.ff +95 -92
  33. package/core/Char.ff +3 -2
  34. package/core/Core.ff +16 -23
  35. package/core/Crypto.ff +94 -96
  36. package/core/Equal.ff +41 -36
  37. package/core/Error.ff +15 -10
  38. package/core/FileHandle.ff +45 -37
  39. package/core/Float.ff +176 -200
  40. package/core/HttpClient.ff +142 -148
  41. package/core/Instant.ff +6 -8
  42. package/core/Int.ff +40 -24
  43. package/core/IntMap.ff +61 -39
  44. package/core/Js.ff +305 -0
  45. package/core/JsSystem.ff +135 -114
  46. package/core/JsValue.ff +303 -159
  47. package/core/Json.ff +423 -443
  48. package/core/List.ff +482 -486
  49. package/core/Lock.ff +108 -144
  50. package/core/Log.ff +25 -14
  51. package/core/NodeSystem.ff +198 -191
  52. package/core/Ordering.ff +160 -161
  53. package/core/Path.ff +377 -409
  54. package/core/Queue.ff +90 -0
  55. package/core/Random.ff +140 -134
  56. package/core/RbMap.ff +216 -216
  57. package/core/Serializable.ff +16 -13
  58. package/core/Show.ff +44 -43
  59. package/core/SourceLocation.ff +68 -68
  60. package/core/Stream.ff +1 -1
  61. package/core/String.ff +224 -202
  62. package/core/StringMap.ff +58 -36
  63. package/core/Task.ff +165 -149
  64. package/experimental/benchmarks/ListGrab.ff +23 -23
  65. package/experimental/benchmarks/ListGrab.java +55 -55
  66. package/experimental/benchmarks/Pyrotek45.ff +30 -30
  67. package/experimental/benchmarks/Pyrotek45.java +64 -64
  68. package/experimental/bidirectional/Bidi.ff +88 -88
  69. package/experimental/lines/Main.ff +40 -0
  70. package/experimental/random/Index.ff +53 -53
  71. package/experimental/random/Process.ff +120 -120
  72. package/experimental/random/RunLength.ff +65 -65
  73. package/experimental/random/Scrape.ff +51 -51
  74. package/experimental/random/Symbols.ff +73 -73
  75. package/experimental/random/Tensor.ff +52 -52
  76. package/experimental/random/Units.ff +36 -36
  77. package/experimental/s3/S3TestAuthorizationHeader.ff +39 -39
  78. package/experimental/s3/S3TestPut.ff +16 -16
  79. package/experimental/tests/TestJson.ff +26 -26
  80. package/firefly.sh +0 -0
  81. package/fireflysite/.firefly/package.ff +4 -4
  82. package/fireflysite/CommunityOverview.ff +20 -20
  83. package/fireflysite/CountingButtonDemo.ff +58 -58
  84. package/fireflysite/DocumentParser.ff +325 -331
  85. package/fireflysite/ExamplesOverview.ff +40 -40
  86. package/fireflysite/FrontPage.ff +344 -344
  87. package/fireflysite/GettingStarted.ff +45 -45
  88. package/fireflysite/Guide.ff +456 -456
  89. package/fireflysite/Main.ff +163 -152
  90. package/fireflysite/MatchingPasswordsDemo.ff +82 -82
  91. package/fireflysite/PackagesOverview.ff +49 -49
  92. package/fireflysite/PostgresqlDemo.ff +34 -34
  93. package/fireflysite/ReferenceAll.ff +18 -18
  94. package/fireflysite/ReferenceIntroduction.ff +11 -11
  95. package/fireflysite/Styles.ff +567 -567
  96. package/fireflysite/Test.ff +121 -62
  97. package/fireflysite/assets/markdown/reference/BaseTypes.md +209 -209
  98. package/fireflysite/assets/markdown/reference/EmittedJavascript.md +65 -65
  99. package/fireflysite/assets/markdown/reference/Exceptions.md +101 -101
  100. package/fireflysite/assets/markdown/reference/FunctionsAndMethods.md +364 -364
  101. package/fireflysite/assets/markdown/reference/JavascriptInterop.md +235 -172
  102. package/fireflysite/assets/markdown/reference/ModulesAndPackages.md +162 -162
  103. package/fireflysite/assets/markdown/reference/OldStructuredConcurrency.md +48 -48
  104. package/fireflysite/assets/markdown/reference/PatternMatching.md +224 -224
  105. package/fireflysite/assets/markdown/reference/StatementsAndExpressions.md +86 -86
  106. package/fireflysite/assets/markdown/reference/StructuredConcurrency.md +99 -99
  107. package/fireflysite/assets/markdown/reference/TraitsAndInstances.md +100 -100
  108. package/fireflysite/assets/markdown/reference/UserDefinedTypes.md +184 -184
  109. package/fireflysite/assets/markdown/scratch/ControlFlow.md +136 -136
  110. package/fireflysite/assets/markdown/scratch/Toc.md +40 -40
  111. package/lsp/.firefly/package.ff +1 -1
  112. package/lsp/CompletionHandler.ff +827 -827
  113. package/lsp/Handler.ff +714 -714
  114. package/lsp/HoverHandler.ff +79 -79
  115. package/lsp/LanguageServer.ff +272 -272
  116. package/lsp/SignatureHelpHandler.ff +55 -55
  117. package/lsp/SymbolHandler.ff +181 -181
  118. package/lsp/TestReferences.ff +17 -17
  119. package/lsp/TestReferencesCase.ff +7 -7
  120. package/lsp/stderr.txt +1 -1
  121. package/lsp/stdout.txt +34 -34
  122. package/lux/.firefly/package.ff +1 -1
  123. package/lux/Css.ff +648 -648
  124. package/lux/CssTest.ff +48 -48
  125. package/lux/Lux.ff +608 -617
  126. package/lux/LuxEvent.ff +79 -116
  127. package/lux/Main.ff +123 -123
  128. package/lux/Main2.ff +143 -143
  129. package/lux/TestDry.ff +28 -28
  130. package/output/js/ff/compiler/Builder.mjs +72 -71
  131. package/output/js/ff/compiler/Compiler.mjs +19 -13
  132. package/output/js/ff/compiler/Dependencies.mjs +8 -7
  133. package/output/js/ff/compiler/DependencyLock.mjs +6 -4
  134. package/output/js/ff/compiler/Deriver.mjs +26 -24
  135. package/output/js/ff/compiler/Dictionaries.mjs +14 -18
  136. package/output/js/ff/compiler/Environment.mjs +6 -4
  137. package/output/js/ff/compiler/Inference.mjs +238 -164
  138. package/output/js/ff/compiler/JsEmitter.mjs +1160 -350
  139. package/output/js/ff/compiler/JsImporter.mjs +20 -18
  140. package/output/js/ff/compiler/LspHook.mjs +12 -10
  141. package/output/js/ff/compiler/Main.mjs +61 -41
  142. package/output/js/ff/compiler/ModuleCache.mjs +10 -8
  143. package/output/js/ff/compiler/Parser.mjs +153 -669
  144. package/output/js/ff/compiler/Patterns.mjs +12 -10
  145. package/output/js/ff/compiler/Resolver.mjs +52 -78
  146. package/output/js/ff/compiler/Substitution.mjs +12 -16
  147. package/output/js/ff/compiler/Syntax.mjs +50 -341
  148. package/output/js/ff/compiler/Token.mjs +126 -4
  149. package/output/js/ff/compiler/Tokenizer.mjs +62 -52
  150. package/output/js/ff/compiler/Unification.mjs +74 -90
  151. package/output/js/ff/compiler/Wildcards.mjs +4 -2
  152. package/output/js/ff/compiler/Workspace.mjs +26 -20
  153. package/output/js/ff/core/Any.mjs +20 -20
  154. package/output/js/ff/core/Array.mjs +268 -175
  155. package/output/js/ff/core/AssetSystem.mjs +8 -6
  156. package/output/js/ff/core/Atomic.mjs +84 -52
  157. package/output/js/ff/core/Bool.mjs +6 -4
  158. package/output/js/ff/core/BrowserSystem.mjs +38 -29
  159. package/output/js/ff/core/Buffer.mjs +285 -133
  160. package/output/js/ff/core/BuildSystem.mjs +36 -56
  161. package/output/js/ff/core/Channel.mjs +250 -97
  162. package/output/js/ff/core/Char.mjs +5 -3
  163. package/output/js/ff/core/Core.mjs +28 -34
  164. package/output/js/ff/core/Crypto.mjs +30 -52
  165. package/output/js/ff/core/Duration.mjs +4 -2
  166. package/output/js/ff/core/Equal.mjs +14 -12
  167. package/output/js/ff/core/Error.mjs +17 -11
  168. package/output/js/ff/core/FileHandle.mjs +76 -38
  169. package/output/js/ff/core/Float.mjs +92 -160
  170. package/output/js/ff/core/HttpClient.mjs +208 -76
  171. package/output/js/ff/core/Instant.mjs +8 -10
  172. package/output/js/ff/core/Int.mjs +36 -26
  173. package/output/js/ff/core/IntMap.mjs +79 -33
  174. package/output/js/ff/core/Js.mjs +751 -0
  175. package/output/js/ff/core/JsSystem.mjs +54 -60
  176. package/output/js/ff/core/JsValue.mjs +294 -143
  177. package/output/js/ff/core/Json.mjs +443 -253
  178. package/output/js/ff/core/List.mjs +262 -214
  179. package/output/js/ff/core/Lock.mjs +156 -125
  180. package/output/js/ff/core/Log.mjs +20 -10
  181. package/output/js/ff/core/Map.mjs +10 -8
  182. package/output/js/ff/core/NodeSystem.mjs +189 -123
  183. package/output/js/ff/core/Nothing.mjs +4 -2
  184. package/output/js/ff/core/Option.mjs +40 -38
  185. package/output/js/ff/core/Ordering.mjs +26 -20
  186. package/output/js/ff/core/Pair.mjs +4 -2
  187. package/output/js/ff/core/Path.mjs +517 -315
  188. package/output/js/ff/core/Queue.mjs +306 -0
  189. package/output/js/ff/core/Random.mjs +141 -77
  190. package/output/js/ff/core/RbMap.mjs +36 -34
  191. package/output/js/ff/core/Serializable.mjs +44 -28
  192. package/output/js/ff/core/Set.mjs +6 -4
  193. package/output/js/ff/core/Show.mjs +8 -6
  194. package/output/js/ff/core/SourceLocation.mjs +4 -2
  195. package/output/js/ff/core/Stream.mjs +30 -50
  196. package/output/js/ff/core/String.mjs +263 -172
  197. package/output/js/ff/core/StringMap.mjs +77 -31
  198. package/output/js/ff/core/Task.mjs +91 -76
  199. package/output/js/ff/core/Try.mjs +20 -18
  200. package/output/js/ff/core/Unit.mjs +4 -2
  201. package/package.json +1 -1
  202. package/postgresql/Pg.ff +53 -59
  203. package/rpc/.firefly/package.ff +1 -1
  204. package/rpc/Rpc.ff +70 -70
  205. package/s3/.firefly/package.ff +1 -1
  206. package/s3/S3.ff +92 -94
  207. package/vscode/LICENSE.txt +21 -21
  208. package/vscode/Prepublish.ff +15 -15
  209. package/vscode/README.md +16 -16
  210. package/vscode/client/package-lock.json +544 -544
  211. package/vscode/client/package.json +22 -22
  212. package/vscode/client/src/extension.ts +104 -104
  213. package/vscode/icons/firefly-icon.svg +10 -10
  214. package/vscode/language-configuration.json +61 -61
  215. package/vscode/package-lock.json +3623 -3623
  216. package/vscode/package.json +1 -1
  217. package/vscode/snippets.json +241 -241
  218. package/vscode/syntaxes/firefly-markdown-injection.json +45 -45
  219. package/webserver/.firefly/include/package.json +5 -5
  220. package/webserver/.firefly/package.ff +2 -2
  221. package/webserver/WebServer.ff +647 -685
  222. package/websocket/.firefly/package.ff +1 -1
  223. package/websocket/WebSocket.ff +100 -131
  224. package/core/UnsafeJs.ff +0 -42
  225. package/output/js/ff/core/UnsafeJs.mjs +0 -191
@@ -1,181 +1,181 @@
1
- import LspHook from ff:compiler
2
- import Syntax from ff:compiler
3
-
4
- data DocumentSymbol(
5
- name: String
6
- kind: DocumentSymbolKind
7
- selectionStart: Location
8
- selectionEnd: Location
9
- start: Location
10
- end: Location
11
- children: List[DocumentSymbol]
12
- )
13
-
14
- data WorkspaceSymbol(
15
- name: String
16
- kind: DocumentSymbolKind
17
- containerName: Option[String]
18
- selectionStart: Location
19
- selectionEnd: Location
20
- )
21
-
22
- class Result[T](
23
- result: T
24
- remaining: List[ResultHook]
25
- )
26
-
27
- data ReadSymbolsError()
28
-
29
- readAllSymbols(hooks: List[ResultHook]): List[DocumentSymbol] {
30
- let result = readSymbols(hooks)
31
- if(!result.remaining.isEmpty()) {throw(ReadSymbolsError())}
32
- result.result
33
- }
34
-
35
- readSymbols(hooks: List[ResultHook]): Result[List[DocumentSymbol]] {
36
- | [ParseSymbolBegin, ...rest] =>
37
- let symbol = readSymbol(rest)
38
- let symbols = readSymbols(symbol.remaining)
39
- Result([symbol.result, ...symbols.result], symbols.remaining)
40
- | _ => Result([], hooks)
41
- }
42
-
43
- readSymbol(hooks: List[ResultHook]): Result[DocumentSymbol] {
44
- let children = readSymbols(hooks)
45
- children.remaining.{
46
- | [ParseSymbolEnd(name, kind, selectionStart, selectionEnd, start, end), ...rest] =>
47
- let symbol = DocumentSymbol(name, kind, selectionStart, selectionEnd, start, end, children.result)
48
- Result(symbol, rest)
49
- | _ => throw(ReadSymbolsError())
50
- }
51
- }
52
-
53
- handleDocumentSymbol(system: NodeSystem, resultHooks: List[ResultHook]): List[Json] {
54
- let symbols = readAllSymbols(resultHooks)
55
- symbols.map {documentSymbolToLsp(_)}
56
- }
57
-
58
- handleWorkspaceSymbol(system: NodeSystem, resultHooks: List[ResultHook], query: String): List[Json] {
59
- let documentSymbols = readAllSymbols(resultHooks)
60
- let workspaceSymbols = documentSymbols.flatMap {documentToWorkspaceSymbols(_, None)}
61
- let foundSymbols = workspaceSymbols.filter {_.name.startsWith(query)}
62
- //Log.trace("handleWorkspaceSymbol")
63
- //workspaceSymbols.each {Log.show(_)}
64
- let jsSymbols = foundSymbols.map {workspaceSymbolToLsp(system.path("."), _)}
65
- //workspaceSymbolsJs.each {Log.trace(_.write(None))}
66
- jsSymbols
67
- }
68
-
69
- documentToWorkspaceSymbols(symbol: DocumentSymbol, parentName: Option[String]): List[WorkspaceSymbol] {
70
- let s = WorkspaceSymbol(
71
- symbol.name
72
- kind = symbol.kind
73
- containerName = parentName
74
- selectionStart = symbol.selectionEnd
75
- selectionEnd = symbol.selectionEnd
76
- )
77
- let children = symbol.children.flatMap {documentToWorkspaceSymbols(_, Some(symbol.name))}
78
- [s, ... children]
79
- }
80
-
81
- showHook(lspHook: ResultHook): String {
82
- | ParseSymbolBegin => "ParseSymbolBegin"
83
- | ParseSymbolEnd(name, kind, _, _, _, _) => "ParseSymbolEnd("+Show.show(name)+", "+Show.show(kind)+")"
84
- //| ParseSymbolBegin => "("
85
- //| ParseSymbolEnd(name, kind, symbolStart, selectionStart, selectionEnd) => ") " + name + " " + showPosition(selectionStart) + " - " + showPosition(selectionEnd)
86
- | _ => "other"
87
- }
88
-
89
- showPosition(at: Location): String {
90
- at.line + ":" + at.column
91
- }
92
-
93
- documentSymbolToLsp(symbol: DocumentSymbol): Json {
94
- Json.object()
95
- .with("name", symbol.name)
96
- .with("kind", documentSymbolNumber(symbol.kind))
97
- .with("range", locationsToLspRange(symbol.start, symbol.end))
98
- .with("selectionRange", locationsToLspRange(symbol.selectionStart, symbol.selectionEnd))
99
- .with("children", symbol.children.map {documentSymbolToLsp(_)})
100
- }
101
-
102
- documentSymbolNumber(kind: DocumentSymbolKind): Int {
103
- | SExtend => 3 // Namespace
104
- | SFunction(True) => 6
105
- | SFunction(False) => 12
106
- | SInstance => 19 // Object
107
- | SLet(True) => 13
108
- | SLet(False) => 14
109
- | SParameter => 7 // Property
110
- | STrait => 11 // Interface
111
- | STraitFunction => 12 // Function
112
- | SType => 5
113
- | SVariant => 10 // Enum
114
- }
115
-
116
- workspaceSymbolToLsp(rootPath: Path, symbol: WorkspaceSymbol): Json {
117
- let o = Json.object()
118
- .with("name", symbol.name)
119
- .with("kind", documentSymbolNumber(symbol.kind))
120
- .with("location", Json.object()
121
- .with("uri", rootPath.path(symbol.selectionStart.file).url())
122
- .with("range", locationsToLspRange(symbol.selectionStart, symbol.selectionEnd))
123
- )
124
- symbol.containerName.{
125
- | Some(n) => o.with("containerName", n)
126
- | None => o
127
- }
128
- }
129
-
130
- locationsToLspRange(start: Location, end: Location): Json {
131
- Json.object()
132
- .with("start", Json.object()
133
- .with("line", start.line - 1)
134
- .with("character", start.column - 1)
135
- )
136
- .with("end", Json.object()
137
- .with("line", end.line - 1)
138
- .with("character", end.column - 1)
139
- )
140
- }
141
-
142
- symbolFilter(symbol: WorkspaceSymbol, query: String): Bool {
143
- let symbolWords = splitCamelCased(symbol.name.takeWhile {_.isAsciiLetterOrDigit()})
144
- matchSymbol(symbolWords, query)
145
- }
146
-
147
- matchSymbol(symbolWords: List[String], query: String): Bool {
148
- let memo = IntMap.new()
149
- function go(wordIndex: Int, queryOffset: Int): Bool {
150
- memo.getOrSet(wordIndex) {IntMap.new()}.getOrSet(queryOffset):
151
- if(queryOffset >= query.size()) {True} else:
152
- if(wordIndex >= symbolWords.size()) {False} else:
153
- prefixes(query.dropFirst(queryOffset)).any {prefix =>
154
- symbolWords.grab(wordIndex).startsWith(prefix) &&
155
- go(wordIndex + 1, queryOffset + prefix.size())
156
- }
157
- }
158
- go(0, 0)
159
- }
160
-
161
- prefixes(string: String): List[String] {
162
- if(string == "") {[""]} else:
163
- function go(rest: String): List[String] {
164
- if(rest == "") {
165
- [""]
166
- } else {
167
- [rest, ...go(rest.dropLast())]
168
- }
169
- }
170
- go(string.grab(0).toString().lower() + string.dropFirst().takeWhile {!_.isAsciiUpper()})
171
- }
172
-
173
- splitCamelCased(name: String): List[String] {
174
- name.first().{
175
- | None => []
176
- | Some(c) =>
177
- let word = c.toString().lower() + name.dropFirst().takeWhile {_.isAsciiLower()}
178
- let rest = name.dropFirst(word.size())
179
- [word, ...splitCamelCased(rest)]
180
- }
181
- }
1
+ import LspHook from ff:compiler
2
+ import Syntax from ff:compiler
3
+
4
+ data DocumentSymbol(
5
+ name: String
6
+ kind: DocumentSymbolKind
7
+ selectionStart: Location
8
+ selectionEnd: Location
9
+ start: Location
10
+ end: Location
11
+ children: List[DocumentSymbol]
12
+ )
13
+
14
+ data WorkspaceSymbol(
15
+ name: String
16
+ kind: DocumentSymbolKind
17
+ containerName: Option[String]
18
+ selectionStart: Location
19
+ selectionEnd: Location
20
+ )
21
+
22
+ class Result[T](
23
+ result: T
24
+ remaining: List[ResultHook]
25
+ )
26
+
27
+ data ReadSymbolsError()
28
+
29
+ readAllSymbols(hooks: List[ResultHook]): List[DocumentSymbol] {
30
+ let result = readSymbols(hooks)
31
+ if(!result.remaining.isEmpty()) {throw(ReadSymbolsError())}
32
+ result.result
33
+ }
34
+
35
+ readSymbols(hooks: List[ResultHook]): Result[List[DocumentSymbol]] {
36
+ | [ParseSymbolBegin, ...rest] =>
37
+ let symbol = readSymbol(rest)
38
+ let symbols = readSymbols(symbol.remaining)
39
+ Result([symbol.result, ...symbols.result], symbols.remaining)
40
+ | _ => Result([], hooks)
41
+ }
42
+
43
+ readSymbol(hooks: List[ResultHook]): Result[DocumentSymbol] {
44
+ let children = readSymbols(hooks)
45
+ children.remaining.{
46
+ | [ParseSymbolEnd(name, kind, selectionStart, selectionEnd, start, end), ...rest] =>
47
+ let symbol = DocumentSymbol(name, kind, selectionStart, selectionEnd, start, end, children.result)
48
+ Result(symbol, rest)
49
+ | _ => throw(ReadSymbolsError())
50
+ }
51
+ }
52
+
53
+ handleDocumentSymbol(system: NodeSystem, resultHooks: List[ResultHook]): List[Json] {
54
+ let symbols = readAllSymbols(resultHooks)
55
+ symbols.map {documentSymbolToLsp(_)}
56
+ }
57
+
58
+ handleWorkspaceSymbol(system: NodeSystem, resultHooks: List[ResultHook], query: String): List[Json] {
59
+ let documentSymbols = readAllSymbols(resultHooks)
60
+ let workspaceSymbols = documentSymbols.flatMap {documentToWorkspaceSymbols(_, None)}
61
+ let foundSymbols = workspaceSymbols.filter {_.name.startsWith(query)}
62
+ //Log.trace("handleWorkspaceSymbol")
63
+ //workspaceSymbols.each {Log.show(_)}
64
+ let jsSymbols = foundSymbols.map {workspaceSymbolToLsp(system.path("."), _)}
65
+ //workspaceSymbolsJs.each {Log.trace(_.write(None))}
66
+ jsSymbols
67
+ }
68
+
69
+ documentToWorkspaceSymbols(symbol: DocumentSymbol, parentName: Option[String]): List[WorkspaceSymbol] {
70
+ let s = WorkspaceSymbol(
71
+ symbol.name
72
+ kind = symbol.kind
73
+ containerName = parentName
74
+ selectionStart = symbol.selectionEnd
75
+ selectionEnd = symbol.selectionEnd
76
+ )
77
+ let children = symbol.children.flatMap {documentToWorkspaceSymbols(_, Some(symbol.name))}
78
+ [s, ... children]
79
+ }
80
+
81
+ showHook(lspHook: ResultHook): String {
82
+ | ParseSymbolBegin => "ParseSymbolBegin"
83
+ | ParseSymbolEnd(name, kind, _, _, _, _) => "ParseSymbolEnd("+Show.show(name)+", "+Show.show(kind)+")"
84
+ //| ParseSymbolBegin => "("
85
+ //| ParseSymbolEnd(name, kind, symbolStart, selectionStart, selectionEnd) => ") " + name + " " + showPosition(selectionStart) + " - " + showPosition(selectionEnd)
86
+ | _ => "other"
87
+ }
88
+
89
+ showPosition(at: Location): String {
90
+ at.line + ":" + at.column
91
+ }
92
+
93
+ documentSymbolToLsp(symbol: DocumentSymbol): Json {
94
+ Json.object()
95
+ .with("name", symbol.name)
96
+ .with("kind", documentSymbolNumber(symbol.kind))
97
+ .with("range", locationsToLspRange(symbol.start, symbol.end))
98
+ .with("selectionRange", locationsToLspRange(symbol.selectionStart, symbol.selectionEnd))
99
+ .with("children", symbol.children.map {documentSymbolToLsp(_)})
100
+ }
101
+
102
+ documentSymbolNumber(kind: DocumentSymbolKind): Int {
103
+ | SExtend => 3 // Namespace
104
+ | SFunction(True) => 6
105
+ | SFunction(False) => 12
106
+ | SInstance => 19 // Object
107
+ | SLet(True) => 13
108
+ | SLet(False) => 14
109
+ | SParameter => 7 // Property
110
+ | STrait => 11 // Interface
111
+ | STraitFunction => 12 // Function
112
+ | SType => 5
113
+ | SVariant => 10 // Enum
114
+ }
115
+
116
+ workspaceSymbolToLsp(rootPath: Path, symbol: WorkspaceSymbol): Json {
117
+ let o = Json.object()
118
+ .with("name", symbol.name)
119
+ .with("kind", documentSymbolNumber(symbol.kind))
120
+ .with("location", Json.object()
121
+ .with("uri", rootPath.path(symbol.selectionStart.file).url())
122
+ .with("range", locationsToLspRange(symbol.selectionStart, symbol.selectionEnd))
123
+ )
124
+ symbol.containerName.{
125
+ | Some(n) => o.with("containerName", n)
126
+ | None => o
127
+ }
128
+ }
129
+
130
+ locationsToLspRange(start: Location, end: Location): Json {
131
+ Json.object()
132
+ .with("start", Json.object()
133
+ .with("line", start.line - 1)
134
+ .with("character", start.column - 1)
135
+ )
136
+ .with("end", Json.object()
137
+ .with("line", end.line - 1)
138
+ .with("character", end.column - 1)
139
+ )
140
+ }
141
+
142
+ symbolFilter(symbol: WorkspaceSymbol, query: String): Bool {
143
+ let symbolWords = splitCamelCased(symbol.name.takeWhile {_.isAsciiLetterOrDigit()})
144
+ matchSymbol(symbolWords, query)
145
+ }
146
+
147
+ matchSymbol(symbolWords: List[String], query: String): Bool {
148
+ let memo = IntMap.new()
149
+ function go(wordIndex: Int, queryOffset: Int): Bool {
150
+ memo.getOrSet(wordIndex) {IntMap.new()}.getOrSet(queryOffset):
151
+ if(queryOffset >= query.size()) {True} else:
152
+ if(wordIndex >= symbolWords.size()) {False} else:
153
+ prefixes(query.dropFirst(queryOffset)).any {prefix =>
154
+ symbolWords.grab(wordIndex).startsWith(prefix) &&
155
+ go(wordIndex + 1, queryOffset + prefix.size())
156
+ }
157
+ }
158
+ go(0, 0)
159
+ }
160
+
161
+ prefixes(string: String): List[String] {
162
+ if(string == "") {[""]} else:
163
+ function go(rest: String): List[String] {
164
+ if(rest == "") {
165
+ [""]
166
+ } else {
167
+ [rest, ...go(rest.dropLast())]
168
+ }
169
+ }
170
+ go(string.grab(0).toString().lower() + string.dropFirst().takeWhile {!_.isAsciiUpper()})
171
+ }
172
+
173
+ splitCamelCased(name: String): List[String] {
174
+ name.first().{
175
+ | None => []
176
+ | Some(c) =>
177
+ let word = c.toString().lower() + name.dropFirst().takeWhile {_.isAsciiLower()}
178
+ let rest = name.dropFirst(word.size())
179
+ [word, ...splitCamelCased(rest)]
180
+ }
181
+ }
@@ -1,18 +1,18 @@
1
- import Handler
2
- import DependencyLock from ff:compiler
3
- import Syntax from ff:compiler
4
- import ModuleCache from ff:compiler
5
-
6
- nodeMain(system: NodeSystem) {
7
- Log.debug("Hello")
8
- let fireflyPath = system.path(".")
9
- Log.debug(fireflyPath.absolute())
10
- let cache = ModuleCache.new(0)
11
- let handler = Handler(fireflyPath, None, Map.new(), [].toSet(), Map.new(), Map.new(), cache, DependencyLock.new(system.mainTask()))
12
- let targetAt = Location("/home/werk/projects/firefly-boot/lsp/TestReferencesCase.ff", 7, 5)
13
- let references = handler.findReferences(system, targetAt, local = False, includeDeclaration = True, version = 0)
14
- Log.show(references)
15
- references.each {_.each {r =>
16
- Log.show(r)
17
- }}
1
+ import Handler
2
+ import DependencyLock from ff:compiler
3
+ import Syntax from ff:compiler
4
+ import ModuleCache from ff:compiler
5
+
6
+ nodeMain(system: NodeSystem) {
7
+ Log.debug("Hello")
8
+ let fireflyPath = system.path(".")
9
+ Log.debug(fireflyPath.absolute())
10
+ let cache = ModuleCache.new(0)
11
+ let handler = Handler(fireflyPath, None, Map.new(), [].toSet(), Map.new(), Map.new(), cache, DependencyLock.new(system.mainTask()))
12
+ let targetAt = Location("/home/werk/projects/firefly-boot/lsp/TestReferencesCase.ff", 7, 5)
13
+ let references = handler.findReferences(system, targetAt, local = False, includeDeclaration = True, version = 0)
14
+ Log.show(references)
15
+ references.each {_.each {r =>
16
+ Log.show(r)
17
+ }}
18
18
  }
@@ -1,8 +1,8 @@
1
- foo(a: Int): Int {
2
- a + a
3
- }
4
-
5
- nodeMain(system: NodeSystem) {
6
- foo(13)
7
- foo(37)
1
+ foo(a: Int): Int {
2
+ a + a
3
+ }
4
+
5
+ nodeMain(system: NodeSystem) {
6
+ foo(13)
7
+ foo(37)
8
8
  }
package/lsp/stderr.txt CHANGED
@@ -1 +1 @@
1
- End of input while parsing request headers
1
+ End of input while parsing request headers
package/lsp/stdout.txt CHANGED
@@ -1,41 +1,41 @@
1
1
  Content-Length: 500
2
2
 
3
- {
4
- "jsonrpc": "2.0",
5
- "id": 0,
6
- "result": {
7
- "capabilities": {
8
- "textDocumentSync": {
9
- "openClose": true,
10
- "change": 1
11
- },
12
- "hoverProvider": false,
13
- "diagnosticProvider": {
14
- "interFileDependencies": true,
15
- "workspaceDiagnostics": false
16
- }
17
- },
18
- "serverInfo": {
19
- "name": "Firefly Language Server",
20
- "version": "0.0.0"
21
- }
22
- }
3
+ {
4
+ "jsonrpc": "2.0",
5
+ "id": 0,
6
+ "result": {
7
+ "capabilities": {
8
+ "textDocumentSync": {
9
+ "openClose": true,
10
+ "change": 1
11
+ },
12
+ "hoverProvider": false,
13
+ "diagnosticProvider": {
14
+ "interFileDependencies": true,
15
+ "workspaceDiagnostics": false
16
+ }
17
+ },
18
+ "serverInfo": {
19
+ "name": "Firefly Language Server",
20
+ "version": "0.0.0"
21
+ }
22
+ }
23
23
  }Content-Length: 104
24
24
 
25
- {
26
- "jsonrpc": "2.0",
27
- "id": 1,
28
- "result": {
29
- "kind": "full",
30
- "items": []
31
- }
25
+ {
26
+ "jsonrpc": "2.0",
27
+ "id": 1,
28
+ "result": {
29
+ "kind": "full",
30
+ "items": []
31
+ }
32
32
  }Content-Length: 121
33
33
 
34
- {
35
- "jsonrpc": "2.0",
36
- "id": 2,
37
- "error": {
38
- "code": 1234,
39
- "message": "Unsupported method"
40
- }
34
+ {
35
+ "jsonrpc": "2.0",
36
+ "id": 2,
37
+ "error": {
38
+ "code": 1234,
39
+ "message": "Unsupported method"
40
+ }
41
41
  }
@@ -1 +1 @@
1
- package ff:lux:0.0.0
1
+ package ff:lux:0.0.0