firefly-compiler 0.5.39 → 0.5.41

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 (129) hide show
  1. package/.hintrc +4 -4
  2. package/.vscode/settings.json +4 -4
  3. package/bin/Release.ff +158 -157
  4. package/bin/firefly.mjs +1 -1
  5. package/compiler/Builder.ff +275 -275
  6. package/compiler/Compiler.ff +234 -234
  7. package/compiler/Dependencies.ff +186 -186
  8. package/compiler/DependencyLock.ff +17 -17
  9. package/compiler/JsEmitter.ff +1437 -1437
  10. package/compiler/LspHook.ff +202 -202
  11. package/compiler/ModuleCache.ff +178 -178
  12. package/compiler/Workspace.ff +88 -88
  13. package/core/.firefly/include/package.json +5 -5
  14. package/core/.firefly/package.ff +2 -2
  15. package/core/Any.ff +25 -25
  16. package/core/Array.ff +298 -298
  17. package/core/Atomic.ff +63 -63
  18. package/core/Box.ff +7 -7
  19. package/core/BrowserSystem.ff +40 -40
  20. package/core/BuildSystem.ff +156 -156
  21. package/core/Crypto.ff +94 -94
  22. package/core/Equal.ff +41 -41
  23. package/core/Error.ff +25 -25
  24. package/core/HttpClient.ff +142 -142
  25. package/core/Instant.ff +24 -24
  26. package/core/Js.ff +305 -305
  27. package/core/JsSystem.ff +135 -135
  28. package/core/Json.ff +423 -423
  29. package/core/List.ff +482 -482
  30. package/core/Lock.ff +108 -108
  31. package/core/NodeSystem.ff +198 -198
  32. package/core/Ordering.ff +160 -160
  33. package/core/Path.ff +377 -378
  34. package/core/Queue.ff +90 -90
  35. package/core/Random.ff +140 -140
  36. package/core/RbMap.ff +216 -216
  37. package/core/Show.ff +44 -44
  38. package/core/SourceLocation.ff +68 -68
  39. package/core/Task.ff +165 -165
  40. package/experimental/benchmarks/ListGrab.ff +23 -23
  41. package/experimental/benchmarks/ListGrab.java +55 -55
  42. package/experimental/benchmarks/Pyrotek45.ff +30 -30
  43. package/experimental/benchmarks/Pyrotek45.java +64 -64
  44. package/experimental/bidirectional/Bidi.ff +88 -88
  45. package/experimental/lines/Main.ff +40 -40
  46. package/experimental/random/Index.ff +53 -53
  47. package/experimental/random/Process.ff +120 -120
  48. package/experimental/random/RunLength.ff +65 -65
  49. package/experimental/random/Scrape.ff +51 -51
  50. package/experimental/random/Symbols.ff +73 -73
  51. package/experimental/random/Tensor.ff +52 -52
  52. package/experimental/random/Units.ff +36 -36
  53. package/experimental/s3/S3TestAuthorizationHeader.ff +39 -39
  54. package/experimental/s3/S3TestPut.ff +16 -16
  55. package/experimental/tests/TestJson.ff +26 -26
  56. package/firefly.sh +0 -0
  57. package/fireflysite/.firefly/package.ff +4 -4
  58. package/fireflysite/CommunityOverview.ff +20 -20
  59. package/fireflysite/CountingButtonDemo.ff +58 -58
  60. package/fireflysite/DocumentParser.ff +325 -325
  61. package/fireflysite/ExamplesOverview.ff +40 -40
  62. package/fireflysite/FrontPage.ff +344 -344
  63. package/fireflysite/GettingStarted.ff +45 -45
  64. package/fireflysite/Guide.ff +456 -456
  65. package/fireflysite/Main.ff +163 -163
  66. package/fireflysite/MatchingPasswordsDemo.ff +82 -82
  67. package/fireflysite/PackagesOverview.ff +49 -49
  68. package/fireflysite/PostgresqlDemo.ff +34 -34
  69. package/fireflysite/ReferenceAll.ff +18 -18
  70. package/fireflysite/ReferenceIntroduction.ff +11 -11
  71. package/fireflysite/Styles.ff +567 -567
  72. package/fireflysite/Test.ff +121 -121
  73. package/fireflysite/assets/markdown/reference/BaseTypes.md +209 -209
  74. package/fireflysite/assets/markdown/reference/EmittedJavascript.md +65 -65
  75. package/fireflysite/assets/markdown/reference/Exceptions.md +101 -101
  76. package/fireflysite/assets/markdown/reference/FunctionsAndMethods.md +364 -364
  77. package/fireflysite/assets/markdown/reference/JavascriptInterop.md +235 -235
  78. package/fireflysite/assets/markdown/reference/ModulesAndPackages.md +162 -162
  79. package/fireflysite/assets/markdown/reference/OldStructuredConcurrency.md +48 -48
  80. package/fireflysite/assets/markdown/reference/PatternMatching.md +224 -224
  81. package/fireflysite/assets/markdown/reference/StatementsAndExpressions.md +86 -86
  82. package/fireflysite/assets/markdown/reference/StructuredConcurrency.md +99 -99
  83. package/fireflysite/assets/markdown/reference/TraitsAndInstances.md +100 -100
  84. package/fireflysite/assets/markdown/reference/UserDefinedTypes.md +184 -184
  85. package/fireflysite/assets/markdown/scratch/ControlFlow.md +136 -136
  86. package/fireflysite/assets/markdown/scratch/Toc.md +40 -40
  87. package/lsp/.firefly/package.ff +1 -1
  88. package/lsp/CompletionHandler.ff +827 -827
  89. package/lsp/Handler.ff +714 -714
  90. package/lsp/HoverHandler.ff +79 -79
  91. package/lsp/LanguageServer.ff +272 -272
  92. package/lsp/SignatureHelpHandler.ff +55 -55
  93. package/lsp/SymbolHandler.ff +181 -181
  94. package/lsp/TestReferences.ff +17 -17
  95. package/lsp/TestReferencesCase.ff +7 -7
  96. package/lsp/stderr.txt +1 -1
  97. package/lsp/stdout.txt +34 -34
  98. package/lux/.firefly/package.ff +1 -1
  99. package/lux/Css.ff +648 -648
  100. package/lux/CssTest.ff +48 -48
  101. package/lux/Lux.ff +608 -608
  102. package/lux/LuxEvent.ff +79 -79
  103. package/lux/Main.ff +123 -123
  104. package/lux/Main2.ff +143 -143
  105. package/lux/TestDry.ff +28 -28
  106. package/output/js/ff/compiler/Builder.mjs +36 -36
  107. package/output/js/ff/core/Path.mjs +0 -2
  108. package/package.json +1 -1
  109. package/rpc/.firefly/package.ff +1 -1
  110. package/rpc/Rpc.ff +70 -70
  111. package/s3/.firefly/package.ff +1 -1
  112. package/s3/S3.ff +92 -92
  113. package/vscode/LICENSE.txt +21 -21
  114. package/vscode/Prepublish.ff +15 -15
  115. package/vscode/README.md +16 -16
  116. package/vscode/client/package-lock.json +544 -544
  117. package/vscode/client/package.json +22 -22
  118. package/vscode/client/src/extension.ts +104 -104
  119. package/vscode/icons/firefly-icon.svg +10 -10
  120. package/vscode/language-configuration.json +61 -61
  121. package/vscode/package-lock.json +3623 -3623
  122. package/vscode/package.json +1 -1
  123. package/vscode/snippets.json +241 -241
  124. package/vscode/syntaxes/firefly-markdown-injection.json +45 -45
  125. package/webserver/.firefly/include/package.json +5 -5
  126. package/webserver/.firefly/package.ff +2 -2
  127. package/webserver/WebServer.ff +647 -647
  128. package/websocket/.firefly/package.ff +1 -1
  129. package/websocket/WebSocket.ff +100 -100
@@ -1,186 +1,186 @@
1
- import Parser
2
- import Syntax
3
- import Tokenizer
4
- import Workspace
5
- import LspHook
6
- import DependencyLock
7
-
8
- capability Dependencies(
9
- workspace: Workspace
10
- mutable packages: Map[PackagePair, PackageInfo]
11
- mutable packagePaths: Map[PackagePair, Path]
12
- mutable singleFilePackages: Set[PackagePair]
13
- )
14
-
15
- capability ResolvedDependencies(
16
- mainPackagePair: PackagePair
17
- packages: Map[PackagePair, PackageInfo]
18
- packagePaths: Map[PackagePair, Path]
19
- singleFilePackages: Set[PackagePair]
20
- )
21
-
22
- extend self: Dependencies {
23
-
24
- loadPackageInfo(
25
- packagePair: PackagePair
26
- path: Path
27
- ): PackageInfo {
28
- let packageDirectory = if(path.extension() == ".ff") {path.parent().grab()} else {path}
29
- let sharedPackageFile = packageDirectory.slash(".firefly").slash("package.ff")
30
- let packageFile = if(sharedPackageFile.exists()) {
31
- sharedPackageFile
32
- } else {
33
- self.singleFilePackages = self.singleFilePackages.add(packagePair)
34
- path
35
- }
36
- let code = packageFile.readText()
37
- self.parsePackageFile(packagePair, packageFile.relativeTo(path), code)
38
- }
39
-
40
- parsePackageFile(
41
- packagePair: PackagePair
42
- fileName: String
43
- code: String
44
- ): PackageInfo {
45
- let tokens = Tokenizer.tokenize(fileName, code, None, True)
46
- let parser = Parser.new(packagePair, fileName, tokens, False, LspHook.disabled())
47
- let info = parser.parsePackageInfo()
48
- self.addCoreDependencyIfMissing(info)
49
- }
50
-
51
- addCoreDependencyIfMissing(info: PackageInfo): PackageInfo {
52
- if(info.dependencies.any {d =>
53
- d.packagePair.group == "ff" && d.packagePair.name == "core"
54
- }) {
55
- info
56
- } else {
57
- let coreDependency = DDependency(
58
- at = info.package.at
59
- packagePair = PackagePair("ff", "core")
60
- version = Version(info.package.at, 0, 0, 0)
61
- safety = Trusted
62
- targets = info.package.targets
63
- )
64
- info.PackageInfo(dependencies = [coreDependency, ...info.dependencies])
65
- }
66
- }
67
-
68
- processPackageInfo(
69
- packageInfo: PackageInfo
70
- ): List[DDependency] {
71
- self.packages = self.packages.add(packageInfo.package.packagePair, packageInfo)
72
- packageInfo.dependencies.filter {!self.packages.contains(_.packagePair)}
73
- }
74
-
75
- fetchDependency(
76
- path: Path
77
- httpClient: HttpClient
78
- dependencyLock: DependencyLock
79
- dependency: DDependency
80
- ): Path {
81
- let location = self.workspace.findPackageLocation(dependency.packagePair, dependency.version)
82
- if(location.contains(":") && !location.dropFirst(1).startsWith(":")) {
83
- if(location.startsWith("http://") || location.startsWith("https://")) {
84
- let packagePair = dependency.packagePair
85
- let directory = if(path.isDirectory()) {path} else {path.parent().grab()}
86
- let dependenciesPath = directory.slash(".firefly").slash("dependencies")
87
- let dependencyPath = dependenciesPath.slash(packagePair.group).slash(packagePair.name)
88
- let tarGzPath = dependenciesPath.slash(Workspace.tarGzName(packagePair, dependency.version))
89
- let donePath = dependenciesPath.slash(Workspace.tarGzName(packagePair, dependency.version) + ".done")
90
- if(!donePath.exists()) {
91
- dependencyLock.do(donePath.absolute()) {
92
- if(!donePath.exists()) {
93
- Log.trace("Fetching " + location)
94
- let buffer = httpClient.get(location, []) {response =>
95
- if(!response.ok()) {
96
- panic("Could not download dependency: " + location)
97
- }
98
- response.readBuffer()
99
- }
100
- if(dependencyPath.exists()) {
101
- dependencyPath.delete()
102
- }
103
- dependencyPath.createDirectory(createParentDirectories = True)
104
- tarGzPath.writeStream([buffer].toStream())
105
- internalExtractTarGz(tarGzPath, dependencyPath)
106
- tarGzPath.renameTo(donePath)
107
- }
108
- }
109
- }
110
- dependencyPath
111
- } else {
112
- panic("Loading packages by this protocol is not supported: " + location)
113
- }
114
- } else {
115
- path.path(location)
116
- }
117
- }
118
-
119
- processDependencies(
120
- path: Path
121
- httpClient: HttpClient
122
- dependencyLock: DependencyLock
123
- dependencies: List[DDependency]
124
- ): Unit {
125
- // Remember to check for cycles
126
- let packageInfos = dependencies.map {dependency =>
127
- let dependencyPath = self.fetchDependency(path, httpClient, dependencyLock, dependency)
128
- self.packagePaths = self.packagePaths.add(dependency.packagePair, dependencyPath)
129
- let packageInfo = self.loadPackageInfo(dependency.packagePair, dependencyPath)
130
- checkPackagePairs(dependency.packagePair, packageInfo.package.packagePair)
131
- packageInfo
132
- }
133
- let newDependencies = packageInfos.flatMap {self.processPackageInfo(_)}
134
- if(newDependencies != []) {
135
- self.processDependencies(path, httpClient, dependencyLock, newDependencies)
136
- }
137
- }
138
-
139
- }
140
-
141
- process(fetch: HttpClient, dependencyLock: DependencyLock, path: Path): ResolvedDependencies {
142
- let workspace = Workspace.loadWorkspace(path)
143
- let self = Dependencies(workspace, [].toMap(), [].toMap(), [].toSet())
144
- let packageInfo = self.loadPackageInfo(PackagePair("script", "script"), path)
145
- let newDependencies = self.processPackageInfo(packageInfo)
146
- self.processDependencies(path, fetch, dependencyLock, newDependencies)
147
- let packagePaths = self.packagePaths.add(packageInfo.package.packagePair, findScriptPackageLocation(path))
148
- ResolvedDependencies(
149
- mainPackagePair = packageInfo.package.packagePair
150
- packages = self.packages
151
- packagePaths = packagePaths
152
- singleFilePackages = self.singleFilePackages
153
- )
154
- }
155
-
156
- findScriptPackageLocation(path: Path): Path {
157
- let packageDirectory = if(path.extension() == ".ff") {path.parent().grab()} else {path}
158
- function go(directory: Path): Path {
159
- let packageFile = directory.slash(".firefly").slash("package.ff")
160
- if(packageFile.exists()) {
161
- directory
162
- } elseIf {!directory.parent().isEmpty()} {
163
- go(directory.parent().grab())
164
- } else {
165
- packageDirectory
166
- }
167
- }
168
- go(packageDirectory)
169
- }
170
-
171
- checkPackagePairs(dependencyPair: PackagePair, packagePair: PackagePair): Unit {
172
- if(
173
- packagePair.group != dependencyPair.group ||
174
- packagePair.name != dependencyPair.name
175
- ) {
176
- panic(
177
- "Dependency declaration and package declaration disagree on package name: " +
178
- dependencyPair.groupName() + " vs. " + packagePair.groupName()
179
- )
180
- }
181
- }
182
-
183
- internalExtractTarGz(tarGzPath: Path, path: Path): Unit {
184
- let tar = Js.import("tar")
185
- Js.await(tar->extract(Js->(file = tarGzPath.absolutePath, cwd = path.absolutePath, strict = True)))
186
- }
1
+ import Parser
2
+ import Syntax
3
+ import Tokenizer
4
+ import Workspace
5
+ import LspHook
6
+ import DependencyLock
7
+
8
+ capability Dependencies(
9
+ workspace: Workspace
10
+ mutable packages: Map[PackagePair, PackageInfo]
11
+ mutable packagePaths: Map[PackagePair, Path]
12
+ mutable singleFilePackages: Set[PackagePair]
13
+ )
14
+
15
+ capability ResolvedDependencies(
16
+ mainPackagePair: PackagePair
17
+ packages: Map[PackagePair, PackageInfo]
18
+ packagePaths: Map[PackagePair, Path]
19
+ singleFilePackages: Set[PackagePair]
20
+ )
21
+
22
+ extend self: Dependencies {
23
+
24
+ loadPackageInfo(
25
+ packagePair: PackagePair
26
+ path: Path
27
+ ): PackageInfo {
28
+ let packageDirectory = if(path.extension() == ".ff") {path.parent().grab()} else {path}
29
+ let sharedPackageFile = packageDirectory.slash(".firefly").slash("package.ff")
30
+ let packageFile = if(sharedPackageFile.exists()) {
31
+ sharedPackageFile
32
+ } else {
33
+ self.singleFilePackages = self.singleFilePackages.add(packagePair)
34
+ path
35
+ }
36
+ let code = packageFile.readText()
37
+ self.parsePackageFile(packagePair, packageFile.relativeTo(path), code)
38
+ }
39
+
40
+ parsePackageFile(
41
+ packagePair: PackagePair
42
+ fileName: String
43
+ code: String
44
+ ): PackageInfo {
45
+ let tokens = Tokenizer.tokenize(fileName, code, None, True)
46
+ let parser = Parser.new(packagePair, fileName, tokens, False, LspHook.disabled())
47
+ let info = parser.parsePackageInfo()
48
+ self.addCoreDependencyIfMissing(info)
49
+ }
50
+
51
+ addCoreDependencyIfMissing(info: PackageInfo): PackageInfo {
52
+ if(info.dependencies.any {d =>
53
+ d.packagePair.group == "ff" && d.packagePair.name == "core"
54
+ }) {
55
+ info
56
+ } else {
57
+ let coreDependency = DDependency(
58
+ at = info.package.at
59
+ packagePair = PackagePair("ff", "core")
60
+ version = Version(info.package.at, 0, 0, 0)
61
+ safety = Trusted
62
+ targets = info.package.targets
63
+ )
64
+ info.PackageInfo(dependencies = [coreDependency, ...info.dependencies])
65
+ }
66
+ }
67
+
68
+ processPackageInfo(
69
+ packageInfo: PackageInfo
70
+ ): List[DDependency] {
71
+ self.packages = self.packages.add(packageInfo.package.packagePair, packageInfo)
72
+ packageInfo.dependencies.filter {!self.packages.contains(_.packagePair)}
73
+ }
74
+
75
+ fetchDependency(
76
+ path: Path
77
+ httpClient: HttpClient
78
+ dependencyLock: DependencyLock
79
+ dependency: DDependency
80
+ ): Path {
81
+ let location = self.workspace.findPackageLocation(dependency.packagePair, dependency.version)
82
+ if(location.contains(":") && !location.dropFirst(1).startsWith(":")) {
83
+ if(location.startsWith("http://") || location.startsWith("https://")) {
84
+ let packagePair = dependency.packagePair
85
+ let directory = if(path.isDirectory()) {path} else {path.parent().grab()}
86
+ let dependenciesPath = directory.slash(".firefly").slash("dependencies")
87
+ let dependencyPath = dependenciesPath.slash(packagePair.group).slash(packagePair.name)
88
+ let tarGzPath = dependenciesPath.slash(Workspace.tarGzName(packagePair, dependency.version))
89
+ let donePath = dependenciesPath.slash(Workspace.tarGzName(packagePair, dependency.version) + ".done")
90
+ if(!donePath.exists()) {
91
+ dependencyLock.do(donePath.absolute()) {
92
+ if(!donePath.exists()) {
93
+ Log.trace("Fetching " + location)
94
+ let buffer = httpClient.get(location, []) {response =>
95
+ if(!response.ok()) {
96
+ panic("Could not download dependency: " + location)
97
+ }
98
+ response.readBuffer()
99
+ }
100
+ if(dependencyPath.exists()) {
101
+ dependencyPath.delete()
102
+ }
103
+ dependencyPath.createDirectory(createParentDirectories = True)
104
+ tarGzPath.writeStream([buffer].toStream())
105
+ internalExtractTarGz(tarGzPath, dependencyPath)
106
+ tarGzPath.renameTo(donePath)
107
+ }
108
+ }
109
+ }
110
+ dependencyPath
111
+ } else {
112
+ panic("Loading packages by this protocol is not supported: " + location)
113
+ }
114
+ } else {
115
+ path.path(location)
116
+ }
117
+ }
118
+
119
+ processDependencies(
120
+ path: Path
121
+ httpClient: HttpClient
122
+ dependencyLock: DependencyLock
123
+ dependencies: List[DDependency]
124
+ ): Unit {
125
+ // Remember to check for cycles
126
+ let packageInfos = dependencies.map {dependency =>
127
+ let dependencyPath = self.fetchDependency(path, httpClient, dependencyLock, dependency)
128
+ self.packagePaths = self.packagePaths.add(dependency.packagePair, dependencyPath)
129
+ let packageInfo = self.loadPackageInfo(dependency.packagePair, dependencyPath)
130
+ checkPackagePairs(dependency.packagePair, packageInfo.package.packagePair)
131
+ packageInfo
132
+ }
133
+ let newDependencies = packageInfos.flatMap {self.processPackageInfo(_)}
134
+ if(newDependencies != []) {
135
+ self.processDependencies(path, httpClient, dependencyLock, newDependencies)
136
+ }
137
+ }
138
+
139
+ }
140
+
141
+ process(fetch: HttpClient, dependencyLock: DependencyLock, path: Path): ResolvedDependencies {
142
+ let workspace = Workspace.loadWorkspace(path)
143
+ let self = Dependencies(workspace, [].toMap(), [].toMap(), [].toSet())
144
+ let packageInfo = self.loadPackageInfo(PackagePair("script", "script"), path)
145
+ let newDependencies = self.processPackageInfo(packageInfo)
146
+ self.processDependencies(path, fetch, dependencyLock, newDependencies)
147
+ let packagePaths = self.packagePaths.add(packageInfo.package.packagePair, findScriptPackageLocation(path))
148
+ ResolvedDependencies(
149
+ mainPackagePair = packageInfo.package.packagePair
150
+ packages = self.packages
151
+ packagePaths = packagePaths
152
+ singleFilePackages = self.singleFilePackages
153
+ )
154
+ }
155
+
156
+ findScriptPackageLocation(path: Path): Path {
157
+ let packageDirectory = if(path.extension() == ".ff") {path.parent().grab()} else {path}
158
+ function go(directory: Path): Path {
159
+ let packageFile = directory.slash(".firefly").slash("package.ff")
160
+ if(packageFile.exists()) {
161
+ directory
162
+ } elseIf {!directory.parent().isEmpty()} {
163
+ go(directory.parent().grab())
164
+ } else {
165
+ packageDirectory
166
+ }
167
+ }
168
+ go(packageDirectory)
169
+ }
170
+
171
+ checkPackagePairs(dependencyPair: PackagePair, packagePair: PackagePair): Unit {
172
+ if(
173
+ packagePair.group != dependencyPair.group ||
174
+ packagePair.name != dependencyPair.name
175
+ ) {
176
+ panic(
177
+ "Dependency declaration and package declaration disagree on package name: " +
178
+ dependencyPair.groupName() + " vs. " + packagePair.groupName()
179
+ )
180
+ }
181
+ }
182
+
183
+ internalExtractTarGz(tarGzPath: Path, path: Path): Unit {
184
+ let tar = Js.import("tar")
185
+ Js.await(tar->extract(Js->(file = tarGzPath.absolutePath, cwd = path.absolutePath, strict = True)))
186
+ }
@@ -1,17 +1,17 @@
1
- capability DependencyLock(
2
- doneLocks: StringMap[Lock]
3
- task: Task
4
- )
5
-
6
- new(task: Task): DependencyLock {
7
- DependencyLock(StringMap.new(), task)
8
- }
9
-
10
- extend self: DependencyLock {
11
- do[T](doneFile: String, body: () => T): T {
12
- let lock = self.doneLocks.getOrSet(doneFile) {self.task.lock()}
13
- lock.do {
14
- body()
15
- }
16
- }
17
- }
1
+ capability DependencyLock(
2
+ doneLocks: StringMap[Lock]
3
+ task: Task
4
+ )
5
+
6
+ new(task: Task): DependencyLock {
7
+ DependencyLock(StringMap.new(), task)
8
+ }
9
+
10
+ extend self: DependencyLock {
11
+ do[T](doneFile: String, body: () => T): T {
12
+ let lock = self.doneLocks.getOrSet(doneFile) {self.task.lock()}
13
+ lock.do {
14
+ body()
15
+ }
16
+ }
17
+ }