firefly-compiler 0.4.4 → 0.4.6

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 (98) hide show
  1. package/.hintrc +5 -0
  2. package/README.md +42 -61
  3. package/compiler/Compiler.ff +6 -2
  4. package/compiler/Deriver.ff +10 -0
  5. package/compiler/Environment.ff +2 -1
  6. package/compiler/JsEmitter.ff +29 -17
  7. package/compiler/Resolver.ff +1 -1
  8. package/core/.firefly/package.ff +1 -2
  9. package/core/Box.ff +7 -0
  10. package/core/BuildSystem.ff +5 -4
  11. package/core/Core.ff +4 -0
  12. package/core/HttpClient.ff +1 -1
  13. package/core/JsValue.ff +22 -1
  14. package/core/Lock.ff +4 -4
  15. package/core/NodeSystem.ff +12 -3
  16. package/core/Path.ff +1 -1
  17. package/core/SourceLocation.ff +41 -0
  18. package/core/Stack.ff +6 -6
  19. package/core/StringMap.ff +3 -3
  20. package/lsp/LanguageServer.ff +32 -7
  21. package/lsp/stderr.txt +1 -0
  22. package/lsp/stdin.txt +11 -0
  23. package/lsp/stdout.txt +41 -0
  24. package/lux/.firefly/package.ff +2 -0
  25. package/lux/Lux.ff +473 -0
  26. package/lux/LuxEvent.ff +116 -0
  27. package/lux/Main.ff +126 -0
  28. package/lux/Main2.ff +144 -0
  29. package/meetup/AutoCompletion.ff +6 -0
  30. package/output/js/ff/compiler/Builder.mjs +444 -440
  31. package/output/js/ff/compiler/Compiler.mjs +416 -410
  32. package/output/js/ff/compiler/Dependencies.mjs +389 -385
  33. package/output/js/ff/compiler/Deriver.mjs +1170 -1166
  34. package/output/js/ff/compiler/Dictionaries.mjs +1309 -1305
  35. package/output/js/ff/compiler/Environment.mjs +1015 -1005
  36. package/output/js/ff/compiler/Inference.mjs +4268 -4264
  37. package/output/js/ff/compiler/JsEmitter.mjs +5391 -5353
  38. package/output/js/ff/compiler/JsImporter.mjs +266 -262
  39. package/output/js/ff/compiler/LspHook.mjs +793 -789
  40. package/output/js/ff/compiler/Main.mjs +1699 -1695
  41. package/output/js/ff/compiler/Parser.mjs +4008 -4004
  42. package/output/js/ff/compiler/Patterns.mjs +927 -923
  43. package/output/js/ff/compiler/Resolver.mjs +2307 -2303
  44. package/output/js/ff/compiler/Substitution.mjs +1150 -1146
  45. package/output/js/ff/compiler/Syntax.mjs +12434 -12430
  46. package/output/js/ff/compiler/Token.mjs +3096 -3092
  47. package/output/js/ff/compiler/Tokenizer.mjs +593 -589
  48. package/output/js/ff/compiler/Unification.mjs +1752 -1748
  49. package/output/js/ff/compiler/Wildcards.mjs +608 -604
  50. package/output/js/ff/compiler/Workspace.mjs +687 -683
  51. package/output/js/ff/core/Any.mjs +143 -139
  52. package/output/js/ff/core/Array.mjs +547 -543
  53. package/output/js/ff/core/AssetSystem.mjs +274 -270
  54. package/output/js/ff/core/Atomic.mjs +154 -150
  55. package/output/js/ff/core/Bool.mjs +152 -141
  56. package/output/js/ff/core/Box.mjs +112 -0
  57. package/output/js/ff/core/BrowserSystem.mjs +126 -122
  58. package/output/js/ff/core/Buffer.mjs +395 -391
  59. package/output/js/ff/core/BuildSystem.mjs +296 -290
  60. package/output/js/ff/core/Channel.mjs +189 -185
  61. package/output/js/ff/core/Char.mjs +149 -145
  62. package/output/js/ff/core/Core.mjs +300 -288
  63. package/output/js/ff/core/Duration.mjs +116 -112
  64. package/output/js/ff/core/Equal.mjs +179 -175
  65. package/output/js/ff/core/Error.mjs +142 -138
  66. package/output/js/ff/core/FileHandle.mjs +150 -146
  67. package/output/js/ff/core/Float.mjs +225 -214
  68. package/output/js/ff/core/HttpClient.mjs +190 -186
  69. package/output/js/ff/core/Instant.mjs +109 -105
  70. package/output/js/ff/core/Int.mjs +265 -254
  71. package/output/js/ff/core/IntMap.mjs +280 -276
  72. package/output/js/ff/core/JsSystem.mjs +238 -234
  73. package/output/js/ff/core/JsValue.mjs +714 -664
  74. package/output/js/ff/core/List.mjs +2334 -2321
  75. package/output/js/ff/core/Lock.mjs +230 -226
  76. package/output/js/ff/core/Log.mjs +163 -159
  77. package/output/js/ff/core/Map.mjs +362 -358
  78. package/output/js/ff/core/NodeSystem.mjs +302 -283
  79. package/output/js/ff/core/Nothing.mjs +104 -100
  80. package/output/js/ff/core/Option.mjs +1015 -1002
  81. package/output/js/ff/core/Ordering.mjs +730 -726
  82. package/output/js/ff/core/Pair.mjs +331 -318
  83. package/output/js/ff/core/Path.mjs +546 -542
  84. package/output/js/ff/core/RbMap.mjs +1940 -1936
  85. package/output/js/ff/core/Serializable.mjs +428 -424
  86. package/output/js/ff/core/Set.mjs +254 -250
  87. package/output/js/ff/core/Show.mjs +205 -201
  88. package/output/js/ff/core/SourceLocation.mjs +229 -0
  89. package/output/js/ff/core/Stack.mjs +541 -537
  90. package/output/js/ff/core/Stream.mjs +1304 -1300
  91. package/output/js/ff/core/String.mjs +365 -354
  92. package/output/js/ff/core/StringMap.mjs +280 -276
  93. package/output/js/ff/core/Task.mjs +320 -316
  94. package/output/js/ff/core/Try.mjs +507 -503
  95. package/output/js/ff/core/Unit.mjs +151 -103
  96. package/package.json +29 -29
  97. package/vscode/package-lock.json +5 -5
  98. package/vscode/package.json +1 -1
@@ -1,604 +1,608 @@
1
-
2
-
3
- import * as ff_compiler_Wildcards from "../../ff/compiler/Wildcards.mjs"
4
-
5
- import * as ff_compiler_Syntax from "../../ff/compiler/Syntax.mjs"
6
-
7
- import * as ff_core_Any from "../../ff/core/Any.mjs"
8
-
9
- import * as ff_core_Array from "../../ff/core/Array.mjs"
10
-
11
- import * as ff_core_AssetSystem from "../../ff/core/AssetSystem.mjs"
12
-
13
- import * as ff_core_Atomic from "../../ff/core/Atomic.mjs"
14
-
15
- import * as ff_core_Bool from "../../ff/core/Bool.mjs"
16
-
17
- import * as ff_core_BrowserSystem from "../../ff/core/BrowserSystem.mjs"
18
-
19
- import * as ff_core_Buffer from "../../ff/core/Buffer.mjs"
20
-
21
- import * as ff_core_BuildSystem from "../../ff/core/BuildSystem.mjs"
22
-
23
- import * as ff_core_Channel from "../../ff/core/Channel.mjs"
24
-
25
- import * as ff_core_Char from "../../ff/core/Char.mjs"
26
-
27
- import * as ff_core_Core from "../../ff/core/Core.mjs"
28
-
29
- import * as ff_core_Duration from "../../ff/core/Duration.mjs"
30
-
31
- import * as ff_core_Equal from "../../ff/core/Equal.mjs"
32
-
33
- import * as ff_core_Error from "../../ff/core/Error.mjs"
34
-
35
- import * as ff_core_FileHandle from "../../ff/core/FileHandle.mjs"
36
-
37
- import * as ff_core_Float from "../../ff/core/Float.mjs"
38
-
39
- import * as ff_core_HttpClient from "../../ff/core/HttpClient.mjs"
40
-
41
- import * as ff_core_Instant from "../../ff/core/Instant.mjs"
42
-
43
- import * as ff_core_Int from "../../ff/core/Int.mjs"
44
-
45
- import * as ff_core_IntMap from "../../ff/core/IntMap.mjs"
46
-
47
- import * as ff_core_JsSystem from "../../ff/core/JsSystem.mjs"
48
-
49
- import * as ff_core_JsValue from "../../ff/core/JsValue.mjs"
50
-
51
- import * as ff_core_List from "../../ff/core/List.mjs"
52
-
53
- import * as ff_core_Lock from "../../ff/core/Lock.mjs"
54
-
55
- import * as ff_core_Log from "../../ff/core/Log.mjs"
56
-
57
- import * as ff_core_Map from "../../ff/core/Map.mjs"
58
-
59
- import * as ff_core_NodeSystem from "../../ff/core/NodeSystem.mjs"
60
-
61
- import * as ff_core_Nothing from "../../ff/core/Nothing.mjs"
62
-
63
- import * as ff_core_Option from "../../ff/core/Option.mjs"
64
-
65
- import * as ff_core_Ordering from "../../ff/core/Ordering.mjs"
66
-
67
- import * as ff_core_Pair from "../../ff/core/Pair.mjs"
68
-
69
- import * as ff_core_Path from "../../ff/core/Path.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_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 Wildcards
92
- export function Wildcards(seenWildcards_) {
93
- return {seenWildcards_};
94
- }
95
-
96
-
97
-
98
- export function make_() {
99
- return ff_compiler_Wildcards.Wildcards(0)
100
- }
101
-
102
- export function fail_(at_, message_) {
103
- return ff_core_Core.panic_(((message_ + " ") + ff_compiler_Syntax.Location_show(at_)))
104
- }
105
-
106
- export async function make_$($task) {
107
- return ff_compiler_Wildcards.Wildcards(0)
108
- }
109
-
110
- export async function fail_$(at_, message_, $task) {
111
- return ff_core_Core.panic_(((message_ + " ") + ff_compiler_Syntax.Location_show(at_)))
112
- }
113
-
114
- export function Wildcards_fixWildcards(self_, term_) {
115
- {
116
- const self_a = self_;
117
- const term_a = term_;
118
- {
119
- if(term_a.ELet) {
120
- const e_ = term_a;
121
- {
122
- const _1 = e_;
123
- {
124
- const _c = _1;
125
- return ff_compiler_Syntax.ELet(_c.at_, _c.mutable_, _c.name_, _c.valueType_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_), ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.body_))
126
- return
127
- }
128
- }
129
- return
130
- }
131
- }
132
- {
133
- if(term_a.ESequential) {
134
- const e_ = term_a;
135
- {
136
- const _1 = e_;
137
- {
138
- const _c = _1;
139
- return ff_compiler_Syntax.ESequential(_c.at_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.before_), ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.after_))
140
- return
141
- }
142
- }
143
- return
144
- }
145
- }
146
- {
147
- if(term_a.EAssign) {
148
- const e_ = term_a;
149
- {
150
- const _1 = e_;
151
- {
152
- const _c = _1;
153
- return ff_compiler_Syntax.EAssign(_c.at_, _c.operator_, _c.variable_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_))
154
- return
155
- }
156
- }
157
- return
158
- }
159
- }
160
- {
161
- if(term_a.EAssignField) {
162
- const e_ = term_a;
163
- {
164
- const _1 = e_;
165
- {
166
- const _c = _1;
167
- return ff_compiler_Syntax.EAssignField(_c.at_, _c.operator_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.record_), _c.field_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_))
168
- return
169
- }
170
- }
171
- return
172
- }
173
- }
174
- {
175
- if(term_a.EPipe) {
176
- const e_ = term_a;
177
- {
178
- const _1 = e_;
179
- {
180
- const _c = _1;
181
- return ff_compiler_Syntax.EPipe(_c.at_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_), _c.effect_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.function_))
182
- return
183
- }
184
- }
185
- return
186
- }
187
- }
188
- {
189
- if(term_a.ECall) {
190
- const e_ = term_a;
191
- {
192
- const _1 = e_;
193
- {
194
- const _c = _1;
195
- return ff_compiler_Syntax.ECall(_c.at_, (((_1) => {
196
- {
197
- if(_1.DynamicCall) {
198
- const call_ = _1;
199
- {
200
- const _1 = call_;
201
- {
202
- const _c = _1;
203
- return ff_compiler_Syntax.DynamicCall(ff_compiler_Wildcards.Wildcards_fixWildcards(self_, call_.function_), _c.tailCall_)
204
- return
205
- }
206
- }
207
- return
208
- }
209
- }
210
- {
211
- return ff_compiler_Wildcards.fail_(e_.at_, "Internal error: Static calls not expected in the Wildcards phase")
212
- return
213
- }
214
- }))(e_.target_), _c.effect_, _c.typeArguments_, ff_core_List.List_map(e_.arguments_, ((a_) => {
215
- {
216
- const _1 = a_;
217
- {
218
- const _c = _1;
219
- return ff_compiler_Syntax.Argument(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
220
- return
221
- }
222
- }
223
- })), _c.dictionaries_)
224
- return
225
- }
226
- }
227
- return
228
- }
229
- }
230
- {
231
- if(term_a.EList) {
232
- const e_ = term_a;
233
- {
234
- const _1 = e_;
235
- {
236
- const _c = _1;
237
- return ff_compiler_Syntax.EList(_c.at_, _c.elementType_, ff_core_List.List_map(e_.items_, ((_1) => {
238
- {
239
- const item_ = _1.first_;
240
- const spread_ = _1.second_;
241
- return ff_core_Pair.Pair(ff_compiler_Wildcards.Wildcards_fixWildcards(self_, item_), spread_)
242
- return
243
- }
244
- })))
245
- return
246
- }
247
- }
248
- return
249
- }
250
- }
251
- {
252
- if(term_a.ECopy) {
253
- const e_ = term_a;
254
- {
255
- const _1 = e_;
256
- {
257
- const _c = _1;
258
- return ff_compiler_Syntax.ECopy(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.record_), ff_core_List.List_map(e_.arguments_, ((a_) => {
259
- {
260
- const _1 = a_;
261
- {
262
- const _c = _1;
263
- return ff_compiler_Syntax.Field(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
264
- return
265
- }
266
- }
267
- })))
268
- return
269
- }
270
- }
271
- return
272
- }
273
- }
274
- {
275
- if(term_a.EVariant) {
276
- const e_ = term_a;
277
- {
278
- const _1 = e_;
279
- {
280
- const _c = _1;
281
- return ff_compiler_Syntax.EVariant(_c.at_, _c.name_, _c.typeArguments_, ff_core_Option.Option_map(e_.arguments_, ((_w1) => {
282
- return ff_core_List.List_map(_w1, ((a_) => {
283
- {
284
- const _1 = a_;
285
- {
286
- const _c = _1;
287
- return ff_compiler_Syntax.Argument(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
288
- return
289
- }
290
- }
291
- }))
292
- })))
293
- return
294
- }
295
- }
296
- return
297
- }
298
- }
299
- {
300
- if(term_a.ERecord) {
301
- const e_ = term_a;
302
- {
303
- const _1 = e_;
304
- {
305
- const _c = _1;
306
- return ff_compiler_Syntax.ERecord(_c.at_, ff_core_List.List_map(e_.fields_, ((a_) => {
307
- {
308
- const _1 = a_;
309
- {
310
- const _c = _1;
311
- return ff_compiler_Syntax.Field(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
312
- return
313
- }
314
- }
315
- })))
316
- return
317
- }
318
- }
319
- return
320
- }
321
- }
322
- {
323
- if(term_a.EField) {
324
- const e_ = term_a;
325
- {
326
- const _1 = e_;
327
- {
328
- const _c = _1;
329
- return ff_compiler_Syntax.EField(_c.at_, _c.newtype_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.record_), _c.field_)
330
- return
331
- }
332
- }
333
- return
334
- }
335
- }
336
- {
337
- if(term_a.EWildcard) {
338
- const e_ = term_a;
339
- self_.seenWildcards_ += 1;
340
- {
341
- const _1 = e_;
342
- {
343
- const _c = _1;
344
- return ff_compiler_Syntax.EWildcard(_c.at_, self_.seenWildcards_)
345
- return
346
- }
347
- }
348
- return
349
- }
350
- }
351
- {
352
- return term_
353
- return
354
- }
355
- }
356
- }
357
-
358
- export async function Wildcards_fixWildcards$(self_, term_, $task) {
359
- {
360
- const self_a = self_;
361
- const term_a = term_;
362
- {
363
- if(term_a.ELet) {
364
- const e_ = term_a;
365
- {
366
- const _1 = e_;
367
- {
368
- const _c = _1;
369
- return ff_compiler_Syntax.ELet(_c.at_, _c.mutable_, _c.name_, _c.valueType_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_), ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.body_))
370
- return
371
- }
372
- }
373
- return
374
- }
375
- }
376
- {
377
- if(term_a.ESequential) {
378
- const e_ = term_a;
379
- {
380
- const _1 = e_;
381
- {
382
- const _c = _1;
383
- return ff_compiler_Syntax.ESequential(_c.at_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.before_), ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.after_))
384
- return
385
- }
386
- }
387
- return
388
- }
389
- }
390
- {
391
- if(term_a.EAssign) {
392
- const e_ = term_a;
393
- {
394
- const _1 = e_;
395
- {
396
- const _c = _1;
397
- return ff_compiler_Syntax.EAssign(_c.at_, _c.operator_, _c.variable_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_))
398
- return
399
- }
400
- }
401
- return
402
- }
403
- }
404
- {
405
- if(term_a.EAssignField) {
406
- const e_ = term_a;
407
- {
408
- const _1 = e_;
409
- {
410
- const _c = _1;
411
- return ff_compiler_Syntax.EAssignField(_c.at_, _c.operator_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.record_), _c.field_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_))
412
- return
413
- }
414
- }
415
- return
416
- }
417
- }
418
- {
419
- if(term_a.EPipe) {
420
- const e_ = term_a;
421
- {
422
- const _1 = e_;
423
- {
424
- const _c = _1;
425
- return ff_compiler_Syntax.EPipe(_c.at_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_), _c.effect_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.function_))
426
- return
427
- }
428
- }
429
- return
430
- }
431
- }
432
- {
433
- if(term_a.ECall) {
434
- const e_ = term_a;
435
- {
436
- const _1 = e_;
437
- {
438
- const _c = _1;
439
- return ff_compiler_Syntax.ECall(_c.at_, (((_1) => {
440
- {
441
- if(_1.DynamicCall) {
442
- const call_ = _1;
443
- {
444
- const _1 = call_;
445
- {
446
- const _c = _1;
447
- return ff_compiler_Syntax.DynamicCall(ff_compiler_Wildcards.Wildcards_fixWildcards(self_, call_.function_), _c.tailCall_)
448
- return
449
- }
450
- }
451
- return
452
- }
453
- }
454
- {
455
- return ff_compiler_Wildcards.fail_(e_.at_, "Internal error: Static calls not expected in the Wildcards phase")
456
- return
457
- }
458
- }))(e_.target_), _c.effect_, _c.typeArguments_, ff_core_List.List_map(e_.arguments_, ((a_) => {
459
- {
460
- const _1 = a_;
461
- {
462
- const _c = _1;
463
- return ff_compiler_Syntax.Argument(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
464
- return
465
- }
466
- }
467
- })), _c.dictionaries_)
468
- return
469
- }
470
- }
471
- return
472
- }
473
- }
474
- {
475
- if(term_a.EList) {
476
- const e_ = term_a;
477
- {
478
- const _1 = e_;
479
- {
480
- const _c = _1;
481
- return ff_compiler_Syntax.EList(_c.at_, _c.elementType_, ff_core_List.List_map(e_.items_, ((_1) => {
482
- {
483
- const item_ = _1.first_;
484
- const spread_ = _1.second_;
485
- return ff_core_Pair.Pair(ff_compiler_Wildcards.Wildcards_fixWildcards(self_, item_), spread_)
486
- return
487
- }
488
- })))
489
- return
490
- }
491
- }
492
- return
493
- }
494
- }
495
- {
496
- if(term_a.ECopy) {
497
- const e_ = term_a;
498
- {
499
- const _1 = e_;
500
- {
501
- const _c = _1;
502
- return ff_compiler_Syntax.ECopy(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.record_), ff_core_List.List_map(e_.arguments_, ((a_) => {
503
- {
504
- const _1 = a_;
505
- {
506
- const _c = _1;
507
- return ff_compiler_Syntax.Field(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
508
- return
509
- }
510
- }
511
- })))
512
- return
513
- }
514
- }
515
- return
516
- }
517
- }
518
- {
519
- if(term_a.EVariant) {
520
- const e_ = term_a;
521
- {
522
- const _1 = e_;
523
- {
524
- const _c = _1;
525
- return ff_compiler_Syntax.EVariant(_c.at_, _c.name_, _c.typeArguments_, ff_core_Option.Option_map(e_.arguments_, ((_w1) => {
526
- return ff_core_List.List_map(_w1, ((a_) => {
527
- {
528
- const _1 = a_;
529
- {
530
- const _c = _1;
531
- return ff_compiler_Syntax.Argument(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
532
- return
533
- }
534
- }
535
- }))
536
- })))
537
- return
538
- }
539
- }
540
- return
541
- }
542
- }
543
- {
544
- if(term_a.ERecord) {
545
- const e_ = term_a;
546
- {
547
- const _1 = e_;
548
- {
549
- const _c = _1;
550
- return ff_compiler_Syntax.ERecord(_c.at_, ff_core_List.List_map(e_.fields_, ((a_) => {
551
- {
552
- const _1 = a_;
553
- {
554
- const _c = _1;
555
- return ff_compiler_Syntax.Field(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
556
- return
557
- }
558
- }
559
- })))
560
- return
561
- }
562
- }
563
- return
564
- }
565
- }
566
- {
567
- if(term_a.EField) {
568
- const e_ = term_a;
569
- {
570
- const _1 = e_;
571
- {
572
- const _c = _1;
573
- return ff_compiler_Syntax.EField(_c.at_, _c.newtype_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.record_), _c.field_)
574
- return
575
- }
576
- }
577
- return
578
- }
579
- }
580
- {
581
- if(term_a.EWildcard) {
582
- const e_ = term_a;
583
- self_.seenWildcards_ += 1;
584
- {
585
- const _1 = e_;
586
- {
587
- const _c = _1;
588
- return ff_compiler_Syntax.EWildcard(_c.at_, self_.seenWildcards_)
589
- return
590
- }
591
- }
592
- return
593
- }
594
- }
595
- {
596
- return term_
597
- return
598
- }
599
- }
600
- }
601
-
602
-
603
-
604
-
1
+
2
+
3
+ import * as ff_compiler_Wildcards from "../../ff/compiler/Wildcards.mjs"
4
+
5
+ import * as ff_compiler_Syntax from "../../ff/compiler/Syntax.mjs"
6
+
7
+ import * as ff_core_Any from "../../ff/core/Any.mjs"
8
+
9
+ import * as ff_core_Array from "../../ff/core/Array.mjs"
10
+
11
+ import * as ff_core_AssetSystem from "../../ff/core/AssetSystem.mjs"
12
+
13
+ import * as ff_core_Atomic from "../../ff/core/Atomic.mjs"
14
+
15
+ import * as ff_core_Bool from "../../ff/core/Bool.mjs"
16
+
17
+ import * as ff_core_Box from "../../ff/core/Box.mjs"
18
+
19
+ import * as ff_core_BrowserSystem from "../../ff/core/BrowserSystem.mjs"
20
+
21
+ import * as ff_core_Buffer from "../../ff/core/Buffer.mjs"
22
+
23
+ import * as ff_core_BuildSystem from "../../ff/core/BuildSystem.mjs"
24
+
25
+ import * as ff_core_Channel from "../../ff/core/Channel.mjs"
26
+
27
+ import * as ff_core_Char from "../../ff/core/Char.mjs"
28
+
29
+ import * as ff_core_Core from "../../ff/core/Core.mjs"
30
+
31
+ import * as ff_core_Duration from "../../ff/core/Duration.mjs"
32
+
33
+ import * as ff_core_Equal from "../../ff/core/Equal.mjs"
34
+
35
+ import * as ff_core_Error from "../../ff/core/Error.mjs"
36
+
37
+ import * as ff_core_FileHandle from "../../ff/core/FileHandle.mjs"
38
+
39
+ import * as ff_core_Float from "../../ff/core/Float.mjs"
40
+
41
+ import * as ff_core_HttpClient from "../../ff/core/HttpClient.mjs"
42
+
43
+ import * as ff_core_Instant from "../../ff/core/Instant.mjs"
44
+
45
+ import * as ff_core_Int from "../../ff/core/Int.mjs"
46
+
47
+ import * as ff_core_IntMap from "../../ff/core/IntMap.mjs"
48
+
49
+ import * as ff_core_JsSystem from "../../ff/core/JsSystem.mjs"
50
+
51
+ import * as ff_core_JsValue from "../../ff/core/JsValue.mjs"
52
+
53
+ import * as ff_core_List from "../../ff/core/List.mjs"
54
+
55
+ import * as ff_core_Lock from "../../ff/core/Lock.mjs"
56
+
57
+ import * as ff_core_Log from "../../ff/core/Log.mjs"
58
+
59
+ import * as ff_core_Map from "../../ff/core/Map.mjs"
60
+
61
+ import * as ff_core_NodeSystem from "../../ff/core/NodeSystem.mjs"
62
+
63
+ import * as ff_core_Nothing from "../../ff/core/Nothing.mjs"
64
+
65
+ import * as ff_core_Option from "../../ff/core/Option.mjs"
66
+
67
+ import * as ff_core_Ordering from "../../ff/core/Ordering.mjs"
68
+
69
+ import * as ff_core_Pair from "../../ff/core/Pair.mjs"
70
+
71
+ import * as ff_core_Path from "../../ff/core/Path.mjs"
72
+
73
+ import * as ff_core_Serializable from "../../ff/core/Serializable.mjs"
74
+
75
+ import * as ff_core_Set from "../../ff/core/Set.mjs"
76
+
77
+ import * as ff_core_Show from "../../ff/core/Show.mjs"
78
+
79
+ import * as ff_core_SourceLocation from "../../ff/core/SourceLocation.mjs"
80
+
81
+ import * as ff_core_Stack from "../../ff/core/Stack.mjs"
82
+
83
+ import * as ff_core_Stream from "../../ff/core/Stream.mjs"
84
+
85
+ import * as ff_core_String from "../../ff/core/String.mjs"
86
+
87
+ import * as ff_core_StringMap from "../../ff/core/StringMap.mjs"
88
+
89
+ import * as ff_core_Task from "../../ff/core/Task.mjs"
90
+
91
+ import * as ff_core_Try from "../../ff/core/Try.mjs"
92
+
93
+ import * as ff_core_Unit from "../../ff/core/Unit.mjs"
94
+
95
+ // type Wildcards
96
+ export function Wildcards(seenWildcards_) {
97
+ return {seenWildcards_};
98
+ }
99
+
100
+
101
+
102
+ export function make_() {
103
+ return ff_compiler_Wildcards.Wildcards(0)
104
+ }
105
+
106
+ export function fail_(at_, message_) {
107
+ return ff_core_Core.panic_(((message_ + " ") + ff_compiler_Syntax.Location_show(at_)))
108
+ }
109
+
110
+ export async function make_$($task) {
111
+ return ff_compiler_Wildcards.Wildcards(0)
112
+ }
113
+
114
+ export async function fail_$(at_, message_, $task) {
115
+ return ff_core_Core.panic_(((message_ + " ") + ff_compiler_Syntax.Location_show(at_)))
116
+ }
117
+
118
+ export function Wildcards_fixWildcards(self_, term_) {
119
+ {
120
+ const self_a = self_;
121
+ const term_a = term_;
122
+ {
123
+ if(term_a.ELet) {
124
+ const e_ = term_a;
125
+ {
126
+ const _1 = e_;
127
+ {
128
+ const _c = _1;
129
+ return ff_compiler_Syntax.ELet(_c.at_, _c.mutable_, _c.name_, _c.valueType_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_), ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.body_))
130
+ return
131
+ }
132
+ }
133
+ return
134
+ }
135
+ }
136
+ {
137
+ if(term_a.ESequential) {
138
+ const e_ = term_a;
139
+ {
140
+ const _1 = e_;
141
+ {
142
+ const _c = _1;
143
+ return ff_compiler_Syntax.ESequential(_c.at_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.before_), ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.after_))
144
+ return
145
+ }
146
+ }
147
+ return
148
+ }
149
+ }
150
+ {
151
+ if(term_a.EAssign) {
152
+ const e_ = term_a;
153
+ {
154
+ const _1 = e_;
155
+ {
156
+ const _c = _1;
157
+ return ff_compiler_Syntax.EAssign(_c.at_, _c.operator_, _c.variable_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_))
158
+ return
159
+ }
160
+ }
161
+ return
162
+ }
163
+ }
164
+ {
165
+ if(term_a.EAssignField) {
166
+ const e_ = term_a;
167
+ {
168
+ const _1 = e_;
169
+ {
170
+ const _c = _1;
171
+ return ff_compiler_Syntax.EAssignField(_c.at_, _c.operator_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.record_), _c.field_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_))
172
+ return
173
+ }
174
+ }
175
+ return
176
+ }
177
+ }
178
+ {
179
+ if(term_a.EPipe) {
180
+ const e_ = term_a;
181
+ {
182
+ const _1 = e_;
183
+ {
184
+ const _c = _1;
185
+ return ff_compiler_Syntax.EPipe(_c.at_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_), _c.effect_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.function_))
186
+ return
187
+ }
188
+ }
189
+ return
190
+ }
191
+ }
192
+ {
193
+ if(term_a.ECall) {
194
+ const e_ = term_a;
195
+ {
196
+ const _1 = e_;
197
+ {
198
+ const _c = _1;
199
+ return ff_compiler_Syntax.ECall(_c.at_, (((_1) => {
200
+ {
201
+ if(_1.DynamicCall) {
202
+ const call_ = _1;
203
+ {
204
+ const _1 = call_;
205
+ {
206
+ const _c = _1;
207
+ return ff_compiler_Syntax.DynamicCall(ff_compiler_Wildcards.Wildcards_fixWildcards(self_, call_.function_), _c.tailCall_)
208
+ return
209
+ }
210
+ }
211
+ return
212
+ }
213
+ }
214
+ {
215
+ return ff_compiler_Wildcards.fail_(e_.at_, "Internal error: Static calls not expected in the Wildcards phase")
216
+ return
217
+ }
218
+ }))(e_.target_), _c.effect_, _c.typeArguments_, ff_core_List.List_map(e_.arguments_, ((a_) => {
219
+ {
220
+ const _1 = a_;
221
+ {
222
+ const _c = _1;
223
+ return ff_compiler_Syntax.Argument(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
224
+ return
225
+ }
226
+ }
227
+ })), _c.dictionaries_)
228
+ return
229
+ }
230
+ }
231
+ return
232
+ }
233
+ }
234
+ {
235
+ if(term_a.EList) {
236
+ const e_ = term_a;
237
+ {
238
+ const _1 = e_;
239
+ {
240
+ const _c = _1;
241
+ return ff_compiler_Syntax.EList(_c.at_, _c.elementType_, ff_core_List.List_map(e_.items_, ((_1) => {
242
+ {
243
+ const item_ = _1.first_;
244
+ const spread_ = _1.second_;
245
+ return ff_core_Pair.Pair(ff_compiler_Wildcards.Wildcards_fixWildcards(self_, item_), spread_)
246
+ return
247
+ }
248
+ })))
249
+ return
250
+ }
251
+ }
252
+ return
253
+ }
254
+ }
255
+ {
256
+ if(term_a.ECopy) {
257
+ const e_ = term_a;
258
+ {
259
+ const _1 = e_;
260
+ {
261
+ const _c = _1;
262
+ return ff_compiler_Syntax.ECopy(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.record_), ff_core_List.List_map(e_.arguments_, ((a_) => {
263
+ {
264
+ const _1 = a_;
265
+ {
266
+ const _c = _1;
267
+ return ff_compiler_Syntax.Field(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
268
+ return
269
+ }
270
+ }
271
+ })))
272
+ return
273
+ }
274
+ }
275
+ return
276
+ }
277
+ }
278
+ {
279
+ if(term_a.EVariant) {
280
+ const e_ = term_a;
281
+ {
282
+ const _1 = e_;
283
+ {
284
+ const _c = _1;
285
+ return ff_compiler_Syntax.EVariant(_c.at_, _c.name_, _c.typeArguments_, ff_core_Option.Option_map(e_.arguments_, ((_w1) => {
286
+ return ff_core_List.List_map(_w1, ((a_) => {
287
+ {
288
+ const _1 = a_;
289
+ {
290
+ const _c = _1;
291
+ return ff_compiler_Syntax.Argument(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
292
+ return
293
+ }
294
+ }
295
+ }))
296
+ })))
297
+ return
298
+ }
299
+ }
300
+ return
301
+ }
302
+ }
303
+ {
304
+ if(term_a.ERecord) {
305
+ const e_ = term_a;
306
+ {
307
+ const _1 = e_;
308
+ {
309
+ const _c = _1;
310
+ return ff_compiler_Syntax.ERecord(_c.at_, ff_core_List.List_map(e_.fields_, ((a_) => {
311
+ {
312
+ const _1 = a_;
313
+ {
314
+ const _c = _1;
315
+ return ff_compiler_Syntax.Field(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
316
+ return
317
+ }
318
+ }
319
+ })))
320
+ return
321
+ }
322
+ }
323
+ return
324
+ }
325
+ }
326
+ {
327
+ if(term_a.EField) {
328
+ const e_ = term_a;
329
+ {
330
+ const _1 = e_;
331
+ {
332
+ const _c = _1;
333
+ return ff_compiler_Syntax.EField(_c.at_, _c.newtype_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.record_), _c.field_)
334
+ return
335
+ }
336
+ }
337
+ return
338
+ }
339
+ }
340
+ {
341
+ if(term_a.EWildcard) {
342
+ const e_ = term_a;
343
+ self_.seenWildcards_ += 1;
344
+ {
345
+ const _1 = e_;
346
+ {
347
+ const _c = _1;
348
+ return ff_compiler_Syntax.EWildcard(_c.at_, self_.seenWildcards_)
349
+ return
350
+ }
351
+ }
352
+ return
353
+ }
354
+ }
355
+ {
356
+ return term_
357
+ return
358
+ }
359
+ }
360
+ }
361
+
362
+ export async function Wildcards_fixWildcards$(self_, term_, $task) {
363
+ {
364
+ const self_a = self_;
365
+ const term_a = term_;
366
+ {
367
+ if(term_a.ELet) {
368
+ const e_ = term_a;
369
+ {
370
+ const _1 = e_;
371
+ {
372
+ const _c = _1;
373
+ return ff_compiler_Syntax.ELet(_c.at_, _c.mutable_, _c.name_, _c.valueType_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_), ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.body_))
374
+ return
375
+ }
376
+ }
377
+ return
378
+ }
379
+ }
380
+ {
381
+ if(term_a.ESequential) {
382
+ const e_ = term_a;
383
+ {
384
+ const _1 = e_;
385
+ {
386
+ const _c = _1;
387
+ return ff_compiler_Syntax.ESequential(_c.at_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.before_), ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.after_))
388
+ return
389
+ }
390
+ }
391
+ return
392
+ }
393
+ }
394
+ {
395
+ if(term_a.EAssign) {
396
+ const e_ = term_a;
397
+ {
398
+ const _1 = e_;
399
+ {
400
+ const _c = _1;
401
+ return ff_compiler_Syntax.EAssign(_c.at_, _c.operator_, _c.variable_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_))
402
+ return
403
+ }
404
+ }
405
+ return
406
+ }
407
+ }
408
+ {
409
+ if(term_a.EAssignField) {
410
+ const e_ = term_a;
411
+ {
412
+ const _1 = e_;
413
+ {
414
+ const _c = _1;
415
+ return ff_compiler_Syntax.EAssignField(_c.at_, _c.operator_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.record_), _c.field_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_))
416
+ return
417
+ }
418
+ }
419
+ return
420
+ }
421
+ }
422
+ {
423
+ if(term_a.EPipe) {
424
+ const e_ = term_a;
425
+ {
426
+ const _1 = e_;
427
+ {
428
+ const _c = _1;
429
+ return ff_compiler_Syntax.EPipe(_c.at_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_), _c.effect_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.function_))
430
+ return
431
+ }
432
+ }
433
+ return
434
+ }
435
+ }
436
+ {
437
+ if(term_a.ECall) {
438
+ const e_ = term_a;
439
+ {
440
+ const _1 = e_;
441
+ {
442
+ const _c = _1;
443
+ return ff_compiler_Syntax.ECall(_c.at_, (((_1) => {
444
+ {
445
+ if(_1.DynamicCall) {
446
+ const call_ = _1;
447
+ {
448
+ const _1 = call_;
449
+ {
450
+ const _c = _1;
451
+ return ff_compiler_Syntax.DynamicCall(ff_compiler_Wildcards.Wildcards_fixWildcards(self_, call_.function_), _c.tailCall_)
452
+ return
453
+ }
454
+ }
455
+ return
456
+ }
457
+ }
458
+ {
459
+ return ff_compiler_Wildcards.fail_(e_.at_, "Internal error: Static calls not expected in the Wildcards phase")
460
+ return
461
+ }
462
+ }))(e_.target_), _c.effect_, _c.typeArguments_, ff_core_List.List_map(e_.arguments_, ((a_) => {
463
+ {
464
+ const _1 = a_;
465
+ {
466
+ const _c = _1;
467
+ return ff_compiler_Syntax.Argument(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
468
+ return
469
+ }
470
+ }
471
+ })), _c.dictionaries_)
472
+ return
473
+ }
474
+ }
475
+ return
476
+ }
477
+ }
478
+ {
479
+ if(term_a.EList) {
480
+ const e_ = term_a;
481
+ {
482
+ const _1 = e_;
483
+ {
484
+ const _c = _1;
485
+ return ff_compiler_Syntax.EList(_c.at_, _c.elementType_, ff_core_List.List_map(e_.items_, ((_1) => {
486
+ {
487
+ const item_ = _1.first_;
488
+ const spread_ = _1.second_;
489
+ return ff_core_Pair.Pair(ff_compiler_Wildcards.Wildcards_fixWildcards(self_, item_), spread_)
490
+ return
491
+ }
492
+ })))
493
+ return
494
+ }
495
+ }
496
+ return
497
+ }
498
+ }
499
+ {
500
+ if(term_a.ECopy) {
501
+ const e_ = term_a;
502
+ {
503
+ const _1 = e_;
504
+ {
505
+ const _c = _1;
506
+ return ff_compiler_Syntax.ECopy(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.record_), ff_core_List.List_map(e_.arguments_, ((a_) => {
507
+ {
508
+ const _1 = a_;
509
+ {
510
+ const _c = _1;
511
+ return ff_compiler_Syntax.Field(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
512
+ return
513
+ }
514
+ }
515
+ })))
516
+ return
517
+ }
518
+ }
519
+ return
520
+ }
521
+ }
522
+ {
523
+ if(term_a.EVariant) {
524
+ const e_ = term_a;
525
+ {
526
+ const _1 = e_;
527
+ {
528
+ const _c = _1;
529
+ return ff_compiler_Syntax.EVariant(_c.at_, _c.name_, _c.typeArguments_, ff_core_Option.Option_map(e_.arguments_, ((_w1) => {
530
+ return ff_core_List.List_map(_w1, ((a_) => {
531
+ {
532
+ const _1 = a_;
533
+ {
534
+ const _c = _1;
535
+ return ff_compiler_Syntax.Argument(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
536
+ return
537
+ }
538
+ }
539
+ }))
540
+ })))
541
+ return
542
+ }
543
+ }
544
+ return
545
+ }
546
+ }
547
+ {
548
+ if(term_a.ERecord) {
549
+ const e_ = term_a;
550
+ {
551
+ const _1 = e_;
552
+ {
553
+ const _c = _1;
554
+ return ff_compiler_Syntax.ERecord(_c.at_, ff_core_List.List_map(e_.fields_, ((a_) => {
555
+ {
556
+ const _1 = a_;
557
+ {
558
+ const _c = _1;
559
+ return ff_compiler_Syntax.Field(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
560
+ return
561
+ }
562
+ }
563
+ })))
564
+ return
565
+ }
566
+ }
567
+ return
568
+ }
569
+ }
570
+ {
571
+ if(term_a.EField) {
572
+ const e_ = term_a;
573
+ {
574
+ const _1 = e_;
575
+ {
576
+ const _c = _1;
577
+ return ff_compiler_Syntax.EField(_c.at_, _c.newtype_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.record_), _c.field_)
578
+ return
579
+ }
580
+ }
581
+ return
582
+ }
583
+ }
584
+ {
585
+ if(term_a.EWildcard) {
586
+ const e_ = term_a;
587
+ self_.seenWildcards_ += 1;
588
+ {
589
+ const _1 = e_;
590
+ {
591
+ const _c = _1;
592
+ return ff_compiler_Syntax.EWildcard(_c.at_, self_.seenWildcards_)
593
+ return
594
+ }
595
+ }
596
+ return
597
+ }
598
+ }
599
+ {
600
+ return term_
601
+ return
602
+ }
603
+ }
604
+ }
605
+
606
+
607
+
608
+