firefly-compiler 0.4.6 → 0.4.8

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 (90) hide show
  1. package/compiler/Compiler.ff +2 -0
  2. package/compiler/Deriver.ff +7 -0
  3. package/core/Array.ff +17 -4
  4. package/core/AssetSystem.ff +1 -1
  5. package/core/BrowserSystem.ff +27 -0
  6. package/core/List.ff +4 -0
  7. package/core/Lock.ff +2 -2
  8. package/core/Random.ff +148 -0
  9. package/core/SourceLocation.ff +27 -0
  10. package/core/Task.ff +3 -0
  11. package/core/WebSocket.ff +127 -0
  12. package/httpserver/HttpServer.ff +1 -1
  13. package/lux/Css.ff +648 -0
  14. package/lux/CssTest.ff +48 -0
  15. package/lux/Lux.ff +33 -18
  16. package/lux/Main.ff +4 -1
  17. package/output/js/ff/compiler/Builder.mjs +448 -444
  18. package/output/js/ff/compiler/Compiler.mjs +420 -416
  19. package/output/js/ff/compiler/Dependencies.mjs +393 -389
  20. package/output/js/ff/compiler/Deriver.mjs +1178 -1170
  21. package/output/js/ff/compiler/Dictionaries.mjs +1315 -1309
  22. package/output/js/ff/compiler/Environment.mjs +1025 -1015
  23. package/output/js/ff/compiler/Inference.mjs +4272 -4268
  24. package/output/js/ff/compiler/JsEmitter.mjs +5405 -5391
  25. package/output/js/ff/compiler/JsImporter.mjs +270 -266
  26. package/output/js/ff/compiler/LspHook.mjs +799 -793
  27. package/output/js/ff/compiler/Main.mjs +1691 -1675
  28. package/output/js/ff/compiler/Parser.mjs +4016 -4008
  29. package/output/js/ff/compiler/Patterns.mjs +935 -927
  30. package/output/js/ff/compiler/Resolver.mjs +2311 -2307
  31. package/output/js/ff/compiler/Substitution.mjs +1154 -1150
  32. package/output/js/ff/compiler/Syntax.mjs +12566 -12434
  33. package/output/js/ff/compiler/Token.mjs +3152 -3096
  34. package/output/js/ff/compiler/Tokenizer.mjs +597 -593
  35. package/output/js/ff/compiler/Unification.mjs +1762 -1752
  36. package/output/js/ff/compiler/Wildcards.mjs +612 -608
  37. package/output/js/ff/compiler/Workspace.mjs +695 -687
  38. package/output/js/ff/core/Any.mjs +147 -143
  39. package/output/js/ff/core/Array.mjs +573 -547
  40. package/output/js/ff/core/AssetSystem.mjs +278 -274
  41. package/output/js/ff/core/Atomic.mjs +158 -154
  42. package/output/js/ff/core/Bool.mjs +156 -152
  43. package/output/js/ff/core/Box.mjs +116 -112
  44. package/output/js/ff/core/BrowserSystem.mjs +181 -126
  45. package/output/js/ff/core/Buffer.mjs +399 -395
  46. package/output/js/ff/core/BuildSystem.mjs +300 -296
  47. package/output/js/ff/core/Channel.mjs +193 -189
  48. package/output/js/ff/core/Char.mjs +153 -149
  49. package/output/js/ff/core/Core.mjs +304 -300
  50. package/output/js/ff/core/Duration.mjs +120 -116
  51. package/output/js/ff/core/Equal.mjs +183 -179
  52. package/output/js/ff/core/Error.mjs +146 -142
  53. package/output/js/ff/core/FileHandle.mjs +154 -150
  54. package/output/js/ff/core/Float.mjs +229 -225
  55. package/output/js/ff/core/HttpClient.mjs +195 -191
  56. package/output/js/ff/core/Instant.mjs +113 -109
  57. package/output/js/ff/core/Int.mjs +269 -265
  58. package/output/js/ff/core/IntMap.mjs +284 -280
  59. package/output/js/ff/core/JsSystem.mjs +242 -238
  60. package/output/js/ff/core/JsValue.mjs +712 -708
  61. package/output/js/ff/core/List.mjs +2346 -2334
  62. package/output/js/ff/core/Lock.mjs +235 -231
  63. package/output/js/ff/core/Log.mjs +167 -163
  64. package/output/js/ff/core/Map.mjs +366 -362
  65. package/output/js/ff/core/NodeSystem.mjs +298 -294
  66. package/output/js/ff/core/Nothing.mjs +108 -104
  67. package/output/js/ff/core/Option.mjs +1023 -1015
  68. package/output/js/ff/core/Ordering.mjs +734 -730
  69. package/output/js/ff/core/Pair.mjs +337 -331
  70. package/output/js/ff/core/Path.mjs +549 -545
  71. package/output/js/ff/core/Random.mjs +340 -0
  72. package/output/js/ff/core/RbMap.mjs +1944 -1940
  73. package/output/js/ff/core/Serializable.mjs +432 -428
  74. package/output/js/ff/core/Set.mjs +258 -254
  75. package/output/js/ff/core/Show.mjs +209 -205
  76. package/output/js/ff/core/SourceLocation.mjs +273 -229
  77. package/output/js/ff/core/Stack.mjs +533 -529
  78. package/output/js/ff/core/Stream.mjs +1308 -1304
  79. package/output/js/ff/core/String.mjs +369 -365
  80. package/output/js/ff/core/StringMap.mjs +284 -280
  81. package/output/js/ff/core/Task.mjs +325 -319
  82. package/output/js/ff/core/Try.mjs +511 -507
  83. package/output/js/ff/core/Unit.mjs +155 -151
  84. package/output/js/ff/core/WebSocket.mjs +198 -0
  85. package/package.json +1 -1
  86. package/vscode/package.json +1 -1
  87. package/webserver/.firefly/include/package-lock.json +16 -0
  88. package/webserver/.firefly/include/package.json +5 -0
  89. package/webserver/.firefly/package.ff +2 -0
  90. package/webserver/WebServer.ff +608 -0
@@ -1,312 +1,316 @@
1
-
2
-
3
- import * as ff_core_Any from "../../ff/core/Any.mjs"
4
-
5
- import * as ff_core_Array from "../../ff/core/Array.mjs"
6
-
7
- import * as ff_core_AssetSystem from "../../ff/core/AssetSystem.mjs"
8
-
9
- import * as ff_core_Atomic from "../../ff/core/Atomic.mjs"
10
-
11
- import * as ff_core_Bool from "../../ff/core/Bool.mjs"
12
-
13
- import * as ff_core_Box from "../../ff/core/Box.mjs"
14
-
15
- import * as ff_core_BrowserSystem from "../../ff/core/BrowserSystem.mjs"
16
-
17
- import * as ff_core_Buffer from "../../ff/core/Buffer.mjs"
18
-
19
- import * as ff_core_BuildSystem from "../../ff/core/BuildSystem.mjs"
20
-
21
- import * as ff_core_Channel from "../../ff/core/Channel.mjs"
22
-
23
- import * as ff_core_Char from "../../ff/core/Char.mjs"
24
-
25
- import * as ff_core_Core from "../../ff/core/Core.mjs"
26
-
27
- import * as ff_core_Duration from "../../ff/core/Duration.mjs"
28
-
29
- import * as ff_core_Equal from "../../ff/core/Equal.mjs"
30
-
31
- import * as ff_core_Error from "../../ff/core/Error.mjs"
32
-
33
- import * as ff_core_FileHandle from "../../ff/core/FileHandle.mjs"
34
-
35
- import * as ff_core_Float from "../../ff/core/Float.mjs"
36
-
37
- import * as ff_core_HttpClient from "../../ff/core/HttpClient.mjs"
38
-
39
- import * as ff_core_Instant from "../../ff/core/Instant.mjs"
40
-
41
- import * as ff_core_Int from "../../ff/core/Int.mjs"
42
-
43
- import * as ff_core_IntMap from "../../ff/core/IntMap.mjs"
44
-
45
- import * as ff_core_JsSystem from "../../ff/core/JsSystem.mjs"
46
-
47
- import * as ff_core_JsValue from "../../ff/core/JsValue.mjs"
48
-
49
- import * as ff_core_List from "../../ff/core/List.mjs"
50
-
51
- import * as ff_core_Lock from "../../ff/core/Lock.mjs"
52
-
53
- import * as ff_core_Log from "../../ff/core/Log.mjs"
54
-
55
- import * as ff_core_Map from "../../ff/core/Map.mjs"
56
-
57
- import * as ff_core_NodeSystem from "../../ff/core/NodeSystem.mjs"
58
-
59
- import * as ff_core_Nothing from "../../ff/core/Nothing.mjs"
60
-
61
- import * as ff_core_Option from "../../ff/core/Option.mjs"
62
-
63
- import * as ff_core_Ordering from "../../ff/core/Ordering.mjs"
64
-
65
- import * as ff_core_Pair from "../../ff/core/Pair.mjs"
66
-
67
- import * as ff_core_Path from "../../ff/core/Path.mjs"
68
-
69
- import * as ff_core_Serializable from "../../ff/core/Serializable.mjs"
70
-
71
- import * as ff_core_Set from "../../ff/core/Set.mjs"
72
-
73
- import * as ff_core_Show from "../../ff/core/Show.mjs"
74
-
75
- import * as ff_core_SourceLocation from "../../ff/core/SourceLocation.mjs"
76
-
77
- import * as ff_core_Stack from "../../ff/core/Stack.mjs"
78
-
79
- import * as ff_core_Stream from "../../ff/core/Stream.mjs"
80
-
81
- import * as ff_core_String from "../../ff/core/String.mjs"
82
-
83
- import * as ff_core_StringMap from "../../ff/core/StringMap.mjs"
84
-
85
- import * as ff_core_Task from "../../ff/core/Task.mjs"
86
-
87
- import * as ff_core_Try from "../../ff/core/Try.mjs"
88
-
89
- import * as ff_core_Unit from "../../ff/core/Unit.mjs"
90
-
91
- // type GrabException
92
- const GrabException$ = {GrabException: true};
93
- export function GrabException() {
94
- return GrabException$;
95
- }
96
-
97
-
98
-
99
- export function if_(condition_, body_) {
100
- {
101
- const _1 = condition_;
102
- {
103
- if(!_1) {
104
- return ff_core_Option.None()
105
- return
106
- }
107
- }
108
- {
109
- if(_1) {
110
- return ff_core_Option.Some(body_())
111
- return
112
- }
113
- }
114
- }
115
- }
116
-
117
- export function while_(condition_, body_) {
118
- {
119
- const _1 = condition_();
120
- {
121
- if(!_1) {
122
-
123
- return
124
- }
125
- }
126
- {
127
- if(_1) {
128
- body_();
129
- while(condition_()) {
130
- body_()
131
- }
132
- return
133
- }
134
- }
135
- }
136
- }
137
-
138
- export function doWhile_(body_) {
139
- while(body_()) {
140
-
141
- }
142
- }
143
-
144
- export function doUntil_(body_) {
145
- _tailcall: for(;;) {
146
- {
147
- const _1 = body_();
148
- {
149
- if(_1.Some) {
150
- const v_ = _1.value_;
151
- return v_
152
- return
153
- }
154
- }
155
- {
156
- if(_1.None) {
157
- {
158
- const body_r_ = body_;
159
- body_ = body_r_
160
- continue _tailcall
161
- }
162
- return
163
- }
164
- }
165
- }
166
- return
167
- }
168
- }
169
-
170
- export function do_(body_) {
171
- return body_()
172
- }
173
-
174
- export function try_(body_) {
1
+
2
+
3
+ import * as ff_core_Any from "../../ff/core/Any.mjs"
4
+
5
+ import * as ff_core_Array from "../../ff/core/Array.mjs"
6
+
7
+ import * as ff_core_AssetSystem from "../../ff/core/AssetSystem.mjs"
8
+
9
+ import * as ff_core_Atomic from "../../ff/core/Atomic.mjs"
10
+
11
+ import * as ff_core_Bool from "../../ff/core/Bool.mjs"
12
+
13
+ import * as ff_core_Box from "../../ff/core/Box.mjs"
14
+
15
+ import * as ff_core_BrowserSystem from "../../ff/core/BrowserSystem.mjs"
16
+
17
+ import * as ff_core_Buffer from "../../ff/core/Buffer.mjs"
18
+
19
+ import * as ff_core_BuildSystem from "../../ff/core/BuildSystem.mjs"
20
+
21
+ import * as ff_core_Channel from "../../ff/core/Channel.mjs"
22
+
23
+ import * as ff_core_Char from "../../ff/core/Char.mjs"
24
+
25
+ import * as ff_core_Core from "../../ff/core/Core.mjs"
26
+
27
+ import * as ff_core_Duration from "../../ff/core/Duration.mjs"
28
+
29
+ import * as ff_core_Equal from "../../ff/core/Equal.mjs"
30
+
31
+ import * as ff_core_Error from "../../ff/core/Error.mjs"
32
+
33
+ import * as ff_core_FileHandle from "../../ff/core/FileHandle.mjs"
34
+
35
+ import * as ff_core_Float from "../../ff/core/Float.mjs"
36
+
37
+ import * as ff_core_HttpClient from "../../ff/core/HttpClient.mjs"
38
+
39
+ import * as ff_core_Instant from "../../ff/core/Instant.mjs"
40
+
41
+ import * as ff_core_Int from "../../ff/core/Int.mjs"
42
+
43
+ import * as ff_core_IntMap from "../../ff/core/IntMap.mjs"
44
+
45
+ import * as ff_core_JsSystem from "../../ff/core/JsSystem.mjs"
46
+
47
+ import * as ff_core_JsValue from "../../ff/core/JsValue.mjs"
48
+
49
+ import * as ff_core_List from "../../ff/core/List.mjs"
50
+
51
+ import * as ff_core_Lock from "../../ff/core/Lock.mjs"
52
+
53
+ import * as ff_core_Log from "../../ff/core/Log.mjs"
54
+
55
+ import * as ff_core_Map from "../../ff/core/Map.mjs"
56
+
57
+ import * as ff_core_NodeSystem from "../../ff/core/NodeSystem.mjs"
58
+
59
+ import * as ff_core_Nothing from "../../ff/core/Nothing.mjs"
60
+
61
+ import * as ff_core_Option from "../../ff/core/Option.mjs"
62
+
63
+ import * as ff_core_Ordering from "../../ff/core/Ordering.mjs"
64
+
65
+ import * as ff_core_Pair from "../../ff/core/Pair.mjs"
66
+
67
+ import * as ff_core_Path from "../../ff/core/Path.mjs"
68
+
69
+ import * as ff_core_Random from "../../ff/core/Random.mjs"
70
+
71
+ import * as ff_core_Serializable from "../../ff/core/Serializable.mjs"
72
+
73
+ import * as ff_core_Set from "../../ff/core/Set.mjs"
74
+
75
+ import * as ff_core_Show from "../../ff/core/Show.mjs"
76
+
77
+ import * as ff_core_SourceLocation from "../../ff/core/SourceLocation.mjs"
78
+
79
+ import * as ff_core_Stack from "../../ff/core/Stack.mjs"
80
+
81
+ import * as ff_core_Stream from "../../ff/core/Stream.mjs"
82
+
83
+ import * as ff_core_String from "../../ff/core/String.mjs"
84
+
85
+ import * as ff_core_StringMap from "../../ff/core/StringMap.mjs"
86
+
87
+ import * as ff_core_Task from "../../ff/core/Task.mjs"
88
+
89
+ import * as ff_core_Try from "../../ff/core/Try.mjs"
90
+
91
+ import * as ff_core_Unit from "../../ff/core/Unit.mjs"
92
+
93
+ import * as ff_core_WebSocket from "../../ff/core/WebSocket.mjs"
94
+
95
+ // type GrabException
96
+ const GrabException$ = {GrabException: true};
97
+ export function GrabException() {
98
+ return GrabException$;
99
+ }
100
+
101
+
102
+
103
+ export function if_(condition_, body_) {
104
+ {
105
+ const _1 = condition_;
106
+ {
107
+ if(!_1) {
108
+ return ff_core_Option.None()
109
+ return
110
+ }
111
+ }
112
+ {
113
+ if(_1) {
114
+ return ff_core_Option.Some(body_())
115
+ return
116
+ }
117
+ }
118
+ }
119
+ }
120
+
121
+ export function while_(condition_, body_) {
122
+ {
123
+ const _1 = condition_();
124
+ {
125
+ if(!_1) {
126
+
127
+ return
128
+ }
129
+ }
130
+ {
131
+ if(_1) {
132
+ body_();
133
+ while(condition_()) {
134
+ body_()
135
+ }
136
+ return
137
+ }
138
+ }
139
+ }
140
+ }
141
+
142
+ export function doWhile_(body_) {
143
+ while(body_()) {
144
+
145
+ }
146
+ }
147
+
148
+ export function doUntil_(body_) {
149
+ _tailcall: for(;;) {
150
+ {
151
+ const _1 = body_();
152
+ {
153
+ if(_1.Some) {
154
+ const v_ = _1.value_;
155
+ return v_
156
+ return
157
+ }
158
+ }
159
+ {
160
+ if(_1.None) {
161
+ {
162
+ const body_r_ = body_;
163
+ body_ = body_r_
164
+ continue _tailcall
165
+ }
166
+ return
167
+ }
168
+ }
169
+ }
170
+ return
171
+ }
172
+ }
173
+
174
+ export function do_(body_) {
175
+ return body_()
176
+ }
177
+
178
+ export function try_(body_) {
175
179
 
176
180
  try {
177
181
  return {Success: true, value_: body_()}
178
182
  } catch(e) {
179
183
  return {Failure: true, error_: e}
180
184
  }
181
-
182
- }
183
-
184
- export function throw_(exception_, ff_core_Any_HasAnyTag$E) {
185
- return ff_core_Core.throwAny_(ff_core_Any.toAny_(exception_, ff_core_Any_HasAnyTag$E))
186
- }
187
-
188
- export function throwAny_(exception_) {
189
- throw Object.assign(new Error(), {ffException: exception_})
190
- }
191
-
192
- export function panic_(message_) {
193
- throw new Error(message_)
194
- }
195
-
196
- export function same_(x_, y_) {
197
- return x_ === y_
198
- }
199
-
200
- export async function if_$(condition_, body_, $task) {
201
- {
202
- const _1 = condition_;
203
- {
204
- if(!_1) {
205
- return ff_core_Option.None()
206
- return
207
- }
208
- }
209
- {
210
- if(_1) {
211
- return ff_core_Option.Some((await body_($task)))
212
- return
213
- }
214
- }
215
- }
216
- }
217
-
218
- export async function while_$(condition_, body_, $task) {
219
- {
220
- const _1 = (await condition_($task));
221
- {
222
- if(!_1) {
223
-
224
- return
225
- }
226
- }
227
- {
228
- if(_1) {
229
- (await body_($task));
230
- while((await condition_($task))) {
231
- (await body_($task))
232
- }
233
- return
234
- }
235
- }
236
- }
237
- }
238
-
239
- export async function doWhile_$(body_, $task) {
240
- while((await body_($task))) {
241
-
242
- }
243
- }
244
-
245
- export async function doUntil_$(body_, $task) {
246
- _tailcall: for(;;) {
247
- {
248
- const _1 = (await body_($task));
249
- {
250
- if(_1.Some) {
251
- const v_ = _1.value_;
252
- return v_
253
- return
254
- }
255
- }
256
- {
257
- if(_1.None) {
258
- {
259
- const body_r_ = body_;
260
- body_ = body_r_
261
- continue _tailcall
262
- }
263
- return
264
- }
265
- }
266
- }
267
- return
268
- }
269
- }
270
-
271
- export async function do_$(body_, $task) {
272
- return (await body_($task))
273
- }
274
-
275
- export async function try_$(body_, $task) {
185
+
186
+ }
187
+
188
+ export function throw_(exception_, ff_core_Any_HasAnyTag$E) {
189
+ return ff_core_Core.throwAny_(ff_core_Any.toAny_(exception_, ff_core_Any_HasAnyTag$E))
190
+ }
191
+
192
+ export function throwAny_(exception_) {
193
+ throw Object.assign(new Error(), {ffException: exception_})
194
+ }
195
+
196
+ export function panic_(message_) {
197
+ throw new Error(message_)
198
+ }
199
+
200
+ export function same_(x_, y_) {
201
+ return x_ === y_
202
+ }
203
+
204
+ export async function if_$(condition_, body_, $task) {
205
+ {
206
+ const _1 = condition_;
207
+ {
208
+ if(!_1) {
209
+ return ff_core_Option.None()
210
+ return
211
+ }
212
+ }
213
+ {
214
+ if(_1) {
215
+ return ff_core_Option.Some((await body_($task)))
216
+ return
217
+ }
218
+ }
219
+ }
220
+ }
221
+
222
+ export async function while_$(condition_, body_, $task) {
223
+ {
224
+ const _1 = (await condition_($task));
225
+ {
226
+ if(!_1) {
227
+
228
+ return
229
+ }
230
+ }
231
+ {
232
+ if(_1) {
233
+ (await body_($task));
234
+ while((await condition_($task))) {
235
+ (await body_($task))
236
+ }
237
+ return
238
+ }
239
+ }
240
+ }
241
+ }
242
+
243
+ export async function doWhile_$(body_, $task) {
244
+ while((await body_($task))) {
245
+
246
+ }
247
+ }
248
+
249
+ export async function doUntil_$(body_, $task) {
250
+ _tailcall: for(;;) {
251
+ {
252
+ const _1 = (await body_($task));
253
+ {
254
+ if(_1.Some) {
255
+ const v_ = _1.value_;
256
+ return v_
257
+ return
258
+ }
259
+ }
260
+ {
261
+ if(_1.None) {
262
+ {
263
+ const body_r_ = body_;
264
+ body_ = body_r_
265
+ continue _tailcall
266
+ }
267
+ return
268
+ }
269
+ }
270
+ }
271
+ return
272
+ }
273
+ }
274
+
275
+ export async function do_$(body_, $task) {
276
+ return (await body_($task))
277
+ }
278
+
279
+ export async function try_$(body_, $task) {
276
280
 
277
281
  try {
278
282
  return {Success: true, value_: await body_($task)}
279
283
  } catch(e) {
280
284
  return {Failure: true, error_: e}
281
285
  }
282
-
283
- }
284
-
285
- export async function throw_$(exception_, ff_core_Any_HasAnyTag$E, $task) {
286
- return ff_core_Core.throwAny_(ff_core_Any.toAny_(exception_, ff_core_Any_HasAnyTag$E))
287
- }
288
-
289
- export async function throwAny_$(exception_, $task) {
290
- throw new Error('Function throwAny is missing on this target in async context.');
291
- }
292
-
293
- export async function panic_$(message_, $task) {
294
- throw new Error('Function panic is missing on this target in async context.');
295
- }
296
-
297
- export async function same_$(x_, y_, $task) {
298
- throw new Error('Function same is missing on this target in async context.');
299
- }
300
-
301
-
302
-
303
- export const ff_core_Any_HasAnyTag$ff_core_Core_GrabException = {
304
- anyTag_() {
305
- return ff_core_Any.internalAnyTag_((("ff:core/Core.GrabException" + "[") + "]"))
306
- },
307
- async anyTag_$($task) {
308
- return ff_core_Any.internalAnyTag_((("ff:core/Core.GrabException" + "[") + "]"))
309
- }
310
- };
311
-
312
-
286
+
287
+ }
288
+
289
+ export async function throw_$(exception_, ff_core_Any_HasAnyTag$E, $task) {
290
+ return ff_core_Core.throwAny_(ff_core_Any.toAny_(exception_, ff_core_Any_HasAnyTag$E))
291
+ }
292
+
293
+ export async function throwAny_$(exception_, $task) {
294
+ throw new Error('Function throwAny is missing on this target in async context.');
295
+ }
296
+
297
+ export async function panic_$(message_, $task) {
298
+ throw new Error('Function panic is missing on this target in async context.');
299
+ }
300
+
301
+ export async function same_$(x_, y_, $task) {
302
+ throw new Error('Function same is missing on this target in async context.');
303
+ }
304
+
305
+
306
+
307
+ export const ff_core_Any_HasAnyTag$ff_core_Core_GrabException = {
308
+ anyTag_() {
309
+ return ff_core_Any.internalAnyTag_((("ff:core/Core.GrabException" + "[") + "]"))
310
+ },
311
+ async anyTag_$($task) {
312
+ return ff_core_Any.internalAnyTag_((("ff:core/Core.GrabException" + "[") + "]"))
313
+ }
314
+ };
315
+
316
+