firefly-compiler 0.4.20 → 0.4.21
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.
- package/compiler/Builder.ff +23 -13
- package/compiler/JsEmitter.ff +120 -76
- package/compiler/LspHook.ff +4 -2
- package/compiler/Main.ff +13 -7
- package/compiler/Resolver.ff +15 -15
- package/compiler/Syntax.ff +1 -0
- package/core/Array.ff +6 -4
- package/core/Int.ff +12 -12
- package/core/List.ff +6 -4
- package/experimental/benchmarks/ListGrab.ff +23 -0
- package/experimental/benchmarks/ListGrab.java +55 -0
- package/experimental/benchmarks/Pyrotek45.ff +30 -0
- package/experimental/benchmarks/Pyrotek45.java +64 -0
- package/experimental/tests/TestJson.ff +26 -0
- package/lsp/Handler.ff +55 -59
- package/lsp/SignatureHelpHandler.ff +5 -4
- package/lsp/TestReferences.ff +15 -0
- package/lsp/TestReferencesCase.ff +8 -0
- package/output/js/ff/compiler/Builder.mjs +50 -44
- package/output/js/ff/compiler/Dependencies.mjs +0 -2
- package/output/js/ff/compiler/Deriver.mjs +16 -140
- package/output/js/ff/compiler/Dictionaries.mjs +8 -222
- package/output/js/ff/compiler/Environment.mjs +12 -154
- package/output/js/ff/compiler/Inference.mjs +127 -1013
- package/output/js/ff/compiler/JsEmitter.mjs +434 -2344
- package/output/js/ff/compiler/JsImporter.mjs +0 -12
- package/output/js/ff/compiler/LspHook.mjs +20 -446
- package/output/js/ff/compiler/Main.mjs +96 -550
- package/output/js/ff/compiler/Parser.mjs +36 -356
- package/output/js/ff/compiler/Patterns.mjs +20 -200
- package/output/js/ff/compiler/Resolver.mjs +26 -340
- package/output/js/ff/compiler/Substitution.mjs +2 -160
- package/output/js/ff/compiler/Syntax.mjs +449 -3293
- package/output/js/ff/compiler/Token.mjs +9 -1095
- package/output/js/ff/compiler/Tokenizer.mjs +4 -2
- package/output/js/ff/compiler/Unification.mjs +26 -360
- package/output/js/ff/compiler/Wildcards.mjs +0 -86
- package/output/js/ff/compiler/Workspace.mjs +8 -96
- package/output/js/ff/core/Array.mjs +15 -8
- package/output/js/ff/core/AssetSystem.mjs +4 -14
- package/output/js/ff/core/Bool.mjs +0 -12
- package/output/js/ff/core/Core.mjs +0 -30
- package/output/js/ff/core/Int.mjs +24 -24
- package/output/js/ff/core/IntMap.mjs +0 -8
- package/output/js/ff/core/Json.mjs +0 -40
- package/output/js/ff/core/List.mjs +23 -32
- package/output/js/ff/core/Lock.mjs +0 -10
- package/output/js/ff/core/Map.mjs +0 -24
- package/output/js/ff/core/Option.mjs +10 -286
- package/output/js/ff/core/Ordering.mjs +16 -158
- package/output/js/ff/core/Pair.mjs +2 -34
- package/output/js/ff/core/Path.mjs +2 -28
- package/output/js/ff/core/Random.mjs +4 -4
- package/output/js/ff/core/RbMap.mjs +56 -644
- package/output/js/ff/core/Show.mjs +0 -16
- package/output/js/ff/core/Stream.mjs +14 -144
- package/output/js/ff/core/StringMap.mjs +0 -8
- package/output/js/ff/core/Try.mjs +4 -108
- package/output/js/ff/core/Unit.mjs +2 -16
- package/package.json +1 -1
- package/postgresql/Pg.ff +23 -23
- package/vscode/package.json +1 -1
|
@@ -166,14 +166,10 @@ return ff_core_Pair.Pair(ff_compiler_Environment.fullName_(module_, signature_.n
|
|
|
166
166
|
const extends_ = ff_core_List.List_flatMap(module_.extends_, ((d_) => {
|
|
167
167
|
{
|
|
168
168
|
const _1 = d_.type_;
|
|
169
|
-
{
|
|
170
169
|
if(_1.TVariable) {
|
|
171
170
|
const t_ = _1;
|
|
172
171
|
return ff_compiler_Environment.fail_(t_.at_, ("Unexpected type variable: $" + t_.index_))
|
|
173
|
-
return
|
|
174
|
-
}
|
|
175
172
|
}
|
|
176
|
-
{
|
|
177
173
|
if(_1.TConstructor) {
|
|
178
174
|
const t_ = _1;
|
|
179
175
|
const prefix_ = (t_.name_ + "_");
|
|
@@ -198,7 +194,6 @@ return ff_compiler_Syntax.Signature(_c.at_, _c.name_, _c.member_, [...effect_, .
|
|
|
198
194
|
return
|
|
199
195
|
}
|
|
200
196
|
}
|
|
201
|
-
}
|
|
202
197
|
}));
|
|
203
198
|
const fields_ = ff_core_List.List_flatMap(module_.types_, ((d_) => {
|
|
204
199
|
const prefix_ = (d_.name_ + "_");
|
|
@@ -282,14 +277,10 @@ return ff_core_Pair.Pair(ff_compiler_Environment.fullName_(module_, signature_.n
|
|
|
282
277
|
const extends_ = ff_core_List.List_flatMap(module_.extends_, ((d_) => {
|
|
283
278
|
{
|
|
284
279
|
const _1 = d_.type_;
|
|
285
|
-
{
|
|
286
280
|
if(_1.TVariable) {
|
|
287
281
|
const t_ = _1;
|
|
288
282
|
return ff_compiler_Environment.fail_(t_.at_, ("Unexpected type variable: $" + t_.index_))
|
|
289
|
-
return
|
|
290
283
|
}
|
|
291
|
-
}
|
|
292
|
-
{
|
|
293
284
|
if(_1.TConstructor) {
|
|
294
285
|
const t_ = _1;
|
|
295
286
|
const prefix_ = (t_.name_ + "_");
|
|
@@ -314,7 +305,6 @@ return ff_compiler_Syntax.Signature(_c.at_, _c.name_, _c.member_, [...effect_, .
|
|
|
314
305
|
return
|
|
315
306
|
}
|
|
316
307
|
}
|
|
317
|
-
}
|
|
318
308
|
}));
|
|
319
309
|
const fields_ = ff_core_List.List_flatMap(module_.types_, ((d_) => {
|
|
320
310
|
const prefix_ = (d_.name_ + "_");
|
|
@@ -374,195 +364,130 @@ return ff_core_Any.internalAnyTag_((("ff:compiler/Environment.Instantiated" + "[
|
|
|
374
364
|
|
|
375
365
|
export const ff_core_Show_Show$ff_compiler_Environment_Environment = {
|
|
376
366
|
show_(value_) {
|
|
377
|
-
{
|
|
378
367
|
const value_a = value_;
|
|
379
368
|
{
|
|
380
369
|
const z_ = value_a;
|
|
381
370
|
return ((((((((((((("Environment" + "(") + ff_core_Show.ff_core_Show_Show$ff_core_String_String.show_(z_.modulePrefix_)) + ", ") + ff_core_Map.ff_core_Show_Show$ff_core_Map_Map(ff_core_Show.ff_core_Show_Show$ff_core_String_String, ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String, ff_compiler_Environment.ff_core_Show_Show$ff_compiler_Environment_Scheme).show_(z_.symbols_)) + ", ") + ff_core_Map.ff_core_Show_Show$ff_core_Map_Map(ff_core_Show.ff_core_Show_Show$ff_core_String_String, ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String, ff_compiler_Syntax.ff_core_Show_Show$ff_compiler_Syntax_DTrait).show_(z_.traits_)) + ", ") + ff_core_Map.ff_core_Show_Show$ff_core_Map_Map(ff_core_Show.ff_core_Show_Show$ff_core_String_String, ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String, ff_compiler_Syntax.ff_core_Show_Show$ff_compiler_Syntax_DImport).show_(z_.imports_)) + ", ") + ff_compiler_Syntax.ff_core_Show_Show$ff_compiler_Syntax_Type.show_(z_.effect_)) + ", ") + ff_core_Option.ff_core_Show_Show$ff_core_Option_Option(ff_core_Show.ff_core_Show_Show$ff_core_String_String).show_(z_.selfVariable_)) + ")")
|
|
382
|
-
return
|
|
383
|
-
}
|
|
384
371
|
}
|
|
385
372
|
},
|
|
386
373
|
async show_$(value_, $task) {
|
|
387
|
-
{
|
|
388
374
|
const value_a = value_;
|
|
389
375
|
{
|
|
390
376
|
const z_ = value_a;
|
|
391
377
|
return ((((((((((((("Environment" + "(") + ff_core_Show.ff_core_Show_Show$ff_core_String_String.show_(z_.modulePrefix_)) + ", ") + ff_core_Map.ff_core_Show_Show$ff_core_Map_Map(ff_core_Show.ff_core_Show_Show$ff_core_String_String, ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String, ff_compiler_Environment.ff_core_Show_Show$ff_compiler_Environment_Scheme).show_(z_.symbols_)) + ", ") + ff_core_Map.ff_core_Show_Show$ff_core_Map_Map(ff_core_Show.ff_core_Show_Show$ff_core_String_String, ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String, ff_compiler_Syntax.ff_core_Show_Show$ff_compiler_Syntax_DTrait).show_(z_.traits_)) + ", ") + ff_core_Map.ff_core_Show_Show$ff_core_Map_Map(ff_core_Show.ff_core_Show_Show$ff_core_String_String, ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String, ff_compiler_Syntax.ff_core_Show_Show$ff_compiler_Syntax_DImport).show_(z_.imports_)) + ", ") + ff_compiler_Syntax.ff_core_Show_Show$ff_compiler_Syntax_Type.show_(z_.effect_)) + ", ") + ff_core_Option.ff_core_Show_Show$ff_core_Option_Option(ff_core_Show.ff_core_Show_Show$ff_core_String_String).show_(z_.selfVariable_)) + ")")
|
|
392
|
-
return
|
|
393
|
-
}
|
|
394
378
|
}
|
|
395
379
|
}
|
|
396
380
|
};
|
|
397
381
|
|
|
398
382
|
export const ff_core_Show_Show$ff_compiler_Environment_Scheme = {
|
|
399
383
|
show_(value_) {
|
|
400
|
-
{
|
|
401
384
|
const value_a = value_;
|
|
402
385
|
{
|
|
403
386
|
const z_ = value_a;
|
|
404
387
|
return ((((((((((("Scheme" + "(") + ff_core_Show.ff_core_Show_Show$ff_core_Bool_Bool.show_(z_.isVariable_)) + ", ") + ff_core_Show.ff_core_Show_Show$ff_core_Bool_Bool.show_(z_.isMutable_)) + ", ") + ff_core_Show.ff_core_Show_Show$ff_core_Bool_Bool.show_(z_.isNewtype_)) + ", ") + ff_core_Show.ff_core_Show_Show$ff_core_Bool_Bool.show_(z_.isTraitMethod_)) + ", ") + ff_compiler_Syntax.ff_core_Show_Show$ff_compiler_Syntax_Signature.show_(z_.signature_)) + ")")
|
|
405
|
-
return
|
|
406
|
-
}
|
|
407
388
|
}
|
|
408
389
|
},
|
|
409
390
|
async show_$(value_, $task) {
|
|
410
|
-
{
|
|
411
391
|
const value_a = value_;
|
|
412
392
|
{
|
|
413
393
|
const z_ = value_a;
|
|
414
394
|
return ((((((((((("Scheme" + "(") + ff_core_Show.ff_core_Show_Show$ff_core_Bool_Bool.show_(z_.isVariable_)) + ", ") + ff_core_Show.ff_core_Show_Show$ff_core_Bool_Bool.show_(z_.isMutable_)) + ", ") + ff_core_Show.ff_core_Show_Show$ff_core_Bool_Bool.show_(z_.isNewtype_)) + ", ") + ff_core_Show.ff_core_Show_Show$ff_core_Bool_Bool.show_(z_.isTraitMethod_)) + ", ") + ff_compiler_Syntax.ff_core_Show_Show$ff_compiler_Syntax_Signature.show_(z_.signature_)) + ")")
|
|
415
|
-
return
|
|
416
|
-
}
|
|
417
395
|
}
|
|
418
396
|
}
|
|
419
397
|
};
|
|
420
398
|
|
|
421
399
|
export const ff_core_Show_Show$ff_compiler_Environment_Instantiated = {
|
|
422
400
|
show_(value_) {
|
|
423
|
-
{
|
|
424
401
|
const value_a = value_;
|
|
425
402
|
{
|
|
426
403
|
const z_ = value_a;
|
|
427
404
|
return ((((("Instantiated" + "(") + ff_core_Show.ff_core_Show_Show$ff_core_List_List(ff_core_Show.ff_core_Show_Show$ff_core_Pair_Pair(ff_core_Show.ff_core_Show_Show$ff_core_String_String, ff_compiler_Syntax.ff_core_Show_Show$ff_compiler_Syntax_Type)).show_(z_.typeArguments_)) + ", ") + ff_compiler_Environment.ff_core_Show_Show$ff_compiler_Environment_Scheme.show_(z_.scheme_)) + ")")
|
|
428
|
-
return
|
|
429
|
-
}
|
|
430
405
|
}
|
|
431
406
|
},
|
|
432
407
|
async show_$(value_, $task) {
|
|
433
|
-
{
|
|
434
408
|
const value_a = value_;
|
|
435
409
|
{
|
|
436
410
|
const z_ = value_a;
|
|
437
411
|
return ((((("Instantiated" + "(") + ff_core_Show.ff_core_Show_Show$ff_core_List_List(ff_core_Show.ff_core_Show_Show$ff_core_Pair_Pair(ff_core_Show.ff_core_Show_Show$ff_core_String_String, ff_compiler_Syntax.ff_core_Show_Show$ff_compiler_Syntax_Type)).show_(z_.typeArguments_)) + ", ") + ff_compiler_Environment.ff_core_Show_Show$ff_compiler_Environment_Scheme.show_(z_.scheme_)) + ")")
|
|
438
|
-
return
|
|
439
|
-
}
|
|
440
412
|
}
|
|
441
413
|
}
|
|
442
414
|
};
|
|
443
415
|
|
|
444
416
|
export const ff_core_Equal_Equal$ff_compiler_Environment_Environment = {
|
|
445
417
|
equals_(x_, y_) {
|
|
446
|
-
{
|
|
447
418
|
const x_a = x_;
|
|
448
419
|
const y_a = y_;
|
|
449
|
-
{
|
|
450
|
-
const _guard1 = (x_ === y_);
|
|
451
|
-
if(_guard1) {
|
|
420
|
+
if((x_ === y_)) {
|
|
452
421
|
return true
|
|
453
|
-
return
|
|
454
|
-
}
|
|
455
422
|
}
|
|
456
423
|
{
|
|
457
424
|
return ((x_.modulePrefix_ === y_.modulePrefix_) && (ff_core_Map.ff_core_Equal_Equal$ff_core_Map_Map(ff_core_Equal.ff_core_Equal_Equal$ff_core_String_String, ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String, ff_compiler_Environment.ff_core_Equal_Equal$ff_compiler_Environment_Scheme).equals_(x_.symbols_, y_.symbols_) && (ff_core_Map.ff_core_Equal_Equal$ff_core_Map_Map(ff_core_Equal.ff_core_Equal_Equal$ff_core_String_String, ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String, ff_compiler_Syntax.ff_core_Equal_Equal$ff_compiler_Syntax_DTrait).equals_(x_.traits_, y_.traits_) && (ff_core_Map.ff_core_Equal_Equal$ff_core_Map_Map(ff_core_Equal.ff_core_Equal_Equal$ff_core_String_String, ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String, ff_compiler_Syntax.ff_core_Equal_Equal$ff_compiler_Syntax_DImport).equals_(x_.imports_, y_.imports_) && (ff_compiler_Syntax.ff_core_Equal_Equal$ff_compiler_Syntax_Type.equals_(x_.effect_, y_.effect_) && ff_core_Option.ff_core_Equal_Equal$ff_core_Option_Option(ff_core_Equal.ff_core_Equal_Equal$ff_core_String_String).equals_(x_.selfVariable_, y_.selfVariable_))))))
|
|
458
|
-
return
|
|
459
|
-
}
|
|
460
425
|
}
|
|
461
426
|
},
|
|
462
427
|
async equals_$(x_, y_, $task) {
|
|
463
|
-
{
|
|
464
428
|
const x_a = x_;
|
|
465
429
|
const y_a = y_;
|
|
466
|
-
{
|
|
467
|
-
const _guard1 = (x_ === y_);
|
|
468
|
-
if(_guard1) {
|
|
430
|
+
if((x_ === y_)) {
|
|
469
431
|
return true
|
|
470
|
-
return
|
|
471
|
-
}
|
|
472
432
|
}
|
|
473
433
|
{
|
|
474
434
|
return ((x_.modulePrefix_ === y_.modulePrefix_) && (ff_core_Map.ff_core_Equal_Equal$ff_core_Map_Map(ff_core_Equal.ff_core_Equal_Equal$ff_core_String_String, ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String, ff_compiler_Environment.ff_core_Equal_Equal$ff_compiler_Environment_Scheme).equals_(x_.symbols_, y_.symbols_) && (ff_core_Map.ff_core_Equal_Equal$ff_core_Map_Map(ff_core_Equal.ff_core_Equal_Equal$ff_core_String_String, ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String, ff_compiler_Syntax.ff_core_Equal_Equal$ff_compiler_Syntax_DTrait).equals_(x_.traits_, y_.traits_) && (ff_core_Map.ff_core_Equal_Equal$ff_core_Map_Map(ff_core_Equal.ff_core_Equal_Equal$ff_core_String_String, ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String, ff_compiler_Syntax.ff_core_Equal_Equal$ff_compiler_Syntax_DImport).equals_(x_.imports_, y_.imports_) && (ff_compiler_Syntax.ff_core_Equal_Equal$ff_compiler_Syntax_Type.equals_(x_.effect_, y_.effect_) && ff_core_Option.ff_core_Equal_Equal$ff_core_Option_Option(ff_core_Equal.ff_core_Equal_Equal$ff_core_String_String).equals_(x_.selfVariable_, y_.selfVariable_))))))
|
|
475
|
-
return
|
|
476
|
-
}
|
|
477
435
|
}
|
|
478
436
|
}
|
|
479
437
|
};
|
|
480
438
|
|
|
481
439
|
export const ff_core_Equal_Equal$ff_compiler_Environment_Scheme = {
|
|
482
440
|
equals_(x_, y_) {
|
|
483
|
-
{
|
|
484
441
|
const x_a = x_;
|
|
485
442
|
const y_a = y_;
|
|
486
|
-
{
|
|
487
|
-
const _guard1 = (x_ === y_);
|
|
488
|
-
if(_guard1) {
|
|
443
|
+
if((x_ === y_)) {
|
|
489
444
|
return true
|
|
490
|
-
return
|
|
491
|
-
}
|
|
492
445
|
}
|
|
493
446
|
{
|
|
494
447
|
return ((x_.isVariable_ === y_.isVariable_) && ((x_.isMutable_ === y_.isMutable_) && ((x_.isNewtype_ === y_.isNewtype_) && ((x_.isTraitMethod_ === y_.isTraitMethod_) && ff_compiler_Syntax.ff_core_Equal_Equal$ff_compiler_Syntax_Signature.equals_(x_.signature_, y_.signature_)))))
|
|
495
|
-
return
|
|
496
|
-
}
|
|
497
448
|
}
|
|
498
449
|
},
|
|
499
450
|
async equals_$(x_, y_, $task) {
|
|
500
|
-
{
|
|
501
451
|
const x_a = x_;
|
|
502
452
|
const y_a = y_;
|
|
503
|
-
{
|
|
504
|
-
const _guard1 = (x_ === y_);
|
|
505
|
-
if(_guard1) {
|
|
453
|
+
if((x_ === y_)) {
|
|
506
454
|
return true
|
|
507
|
-
return
|
|
508
|
-
}
|
|
509
455
|
}
|
|
510
456
|
{
|
|
511
457
|
return ((x_.isVariable_ === y_.isVariable_) && ((x_.isMutable_ === y_.isMutable_) && ((x_.isNewtype_ === y_.isNewtype_) && ((x_.isTraitMethod_ === y_.isTraitMethod_) && ff_compiler_Syntax.ff_core_Equal_Equal$ff_compiler_Syntax_Signature.equals_(x_.signature_, y_.signature_)))))
|
|
512
|
-
return
|
|
513
|
-
}
|
|
514
458
|
}
|
|
515
459
|
}
|
|
516
460
|
};
|
|
517
461
|
|
|
518
462
|
export const ff_core_Equal_Equal$ff_compiler_Environment_Instantiated = {
|
|
519
463
|
equals_(x_, y_) {
|
|
520
|
-
{
|
|
521
464
|
const x_a = x_;
|
|
522
465
|
const y_a = y_;
|
|
523
|
-
{
|
|
524
|
-
const _guard1 = (x_ === y_);
|
|
525
|
-
if(_guard1) {
|
|
466
|
+
if((x_ === y_)) {
|
|
526
467
|
return true
|
|
527
|
-
return
|
|
528
|
-
}
|
|
529
468
|
}
|
|
530
469
|
{
|
|
531
470
|
return (ff_core_List.ff_core_Equal_Equal$ff_core_List_List(ff_core_Pair.ff_core_Equal_Equal$ff_core_Pair_Pair(ff_core_Equal.ff_core_Equal_Equal$ff_core_String_String, ff_compiler_Syntax.ff_core_Equal_Equal$ff_compiler_Syntax_Type)).equals_(x_.typeArguments_, y_.typeArguments_) && ff_compiler_Environment.ff_core_Equal_Equal$ff_compiler_Environment_Scheme.equals_(x_.scheme_, y_.scheme_))
|
|
532
|
-
return
|
|
533
|
-
}
|
|
534
471
|
}
|
|
535
472
|
},
|
|
536
473
|
async equals_$(x_, y_, $task) {
|
|
537
|
-
{
|
|
538
474
|
const x_a = x_;
|
|
539
475
|
const y_a = y_;
|
|
540
|
-
{
|
|
541
|
-
const _guard1 = (x_ === y_);
|
|
542
|
-
if(_guard1) {
|
|
476
|
+
if((x_ === y_)) {
|
|
543
477
|
return true
|
|
544
|
-
return
|
|
545
|
-
}
|
|
546
478
|
}
|
|
547
479
|
{
|
|
548
480
|
return (ff_core_List.ff_core_Equal_Equal$ff_core_List_List(ff_core_Pair.ff_core_Equal_Equal$ff_core_Pair_Pair(ff_core_Equal.ff_core_Equal_Equal$ff_core_String_String, ff_compiler_Syntax.ff_core_Equal_Equal$ff_compiler_Syntax_Type)).equals_(x_.typeArguments_, y_.typeArguments_) && ff_compiler_Environment.ff_core_Equal_Equal$ff_compiler_Environment_Scheme.equals_(x_.scheme_, y_.scheme_))
|
|
549
|
-
return
|
|
550
|
-
}
|
|
551
481
|
}
|
|
552
482
|
}
|
|
553
483
|
};
|
|
554
484
|
|
|
555
485
|
export const ff_core_Ordering_Order$ff_compiler_Environment_Environment = {
|
|
556
486
|
compare_(x_, y_) {
|
|
557
|
-
{
|
|
558
487
|
const x_a = x_;
|
|
559
488
|
const y_a = y_;
|
|
560
|
-
{
|
|
561
|
-
const _guard1 = (x_ === y_);
|
|
562
|
-
if(_guard1) {
|
|
489
|
+
if((x_ === y_)) {
|
|
563
490
|
return ff_core_Ordering.OrderingSame()
|
|
564
|
-
return
|
|
565
|
-
}
|
|
566
491
|
}
|
|
567
492
|
{
|
|
568
493
|
const modulePrefixOrdering_ = ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String.compare_(x_.modulePrefix_, y_.modulePrefix_);
|
|
@@ -598,18 +523,12 @@ return ff_core_Ordering.OrderingSame()
|
|
|
598
523
|
}
|
|
599
524
|
return
|
|
600
525
|
}
|
|
601
|
-
}
|
|
602
526
|
},
|
|
603
527
|
async compare_$(x_, y_, $task) {
|
|
604
|
-
{
|
|
605
528
|
const x_a = x_;
|
|
606
529
|
const y_a = y_;
|
|
607
|
-
{
|
|
608
|
-
const _guard1 = (x_ === y_);
|
|
609
|
-
if(_guard1) {
|
|
530
|
+
if((x_ === y_)) {
|
|
610
531
|
return ff_core_Ordering.OrderingSame()
|
|
611
|
-
return
|
|
612
|
-
}
|
|
613
532
|
}
|
|
614
533
|
{
|
|
615
534
|
const modulePrefixOrdering_ = ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String.compare_(x_.modulePrefix_, y_.modulePrefix_);
|
|
@@ -646,20 +565,14 @@ return ff_core_Ordering.OrderingSame()
|
|
|
646
565
|
return
|
|
647
566
|
}
|
|
648
567
|
}
|
|
649
|
-
}
|
|
650
568
|
};
|
|
651
569
|
|
|
652
570
|
export const ff_core_Ordering_Order$ff_compiler_Environment_Scheme = {
|
|
653
571
|
compare_(x_, y_) {
|
|
654
|
-
{
|
|
655
572
|
const x_a = x_;
|
|
656
573
|
const y_a = y_;
|
|
657
|
-
{
|
|
658
|
-
const _guard1 = (x_ === y_);
|
|
659
|
-
if(_guard1) {
|
|
574
|
+
if((x_ === y_)) {
|
|
660
575
|
return ff_core_Ordering.OrderingSame()
|
|
661
|
-
return
|
|
662
|
-
}
|
|
663
576
|
}
|
|
664
577
|
{
|
|
665
578
|
const isVariableOrdering_ = ff_core_Ordering.ff_core_Ordering_Order$ff_core_Bool_Bool.compare_(x_.isVariable_, y_.isVariable_);
|
|
@@ -690,18 +603,12 @@ return ff_core_Ordering.OrderingSame()
|
|
|
690
603
|
}
|
|
691
604
|
return
|
|
692
605
|
}
|
|
693
|
-
}
|
|
694
606
|
},
|
|
695
607
|
async compare_$(x_, y_, $task) {
|
|
696
|
-
{
|
|
697
608
|
const x_a = x_;
|
|
698
609
|
const y_a = y_;
|
|
699
|
-
{
|
|
700
|
-
const _guard1 = (x_ === y_);
|
|
701
|
-
if(_guard1) {
|
|
610
|
+
if((x_ === y_)) {
|
|
702
611
|
return ff_core_Ordering.OrderingSame()
|
|
703
|
-
return
|
|
704
|
-
}
|
|
705
612
|
}
|
|
706
613
|
{
|
|
707
614
|
const isVariableOrdering_ = ff_core_Ordering.ff_core_Ordering_Order$ff_core_Bool_Bool.compare_(x_.isVariable_, y_.isVariable_);
|
|
@@ -733,20 +640,14 @@ return ff_core_Ordering.OrderingSame()
|
|
|
733
640
|
return
|
|
734
641
|
}
|
|
735
642
|
}
|
|
736
|
-
}
|
|
737
643
|
};
|
|
738
644
|
|
|
739
645
|
export const ff_core_Ordering_Order$ff_compiler_Environment_Instantiated = {
|
|
740
646
|
compare_(x_, y_) {
|
|
741
|
-
{
|
|
742
647
|
const x_a = x_;
|
|
743
648
|
const y_a = y_;
|
|
744
|
-
{
|
|
745
|
-
const _guard1 = (x_ === y_);
|
|
746
|
-
if(_guard1) {
|
|
649
|
+
if((x_ === y_)) {
|
|
747
650
|
return ff_core_Ordering.OrderingSame()
|
|
748
|
-
return
|
|
749
|
-
}
|
|
750
651
|
}
|
|
751
652
|
{
|
|
752
653
|
const typeArgumentsOrdering_ = ff_core_Ordering.ff_core_Ordering_Order$ff_core_List_List(ff_core_Ordering.ff_core_Ordering_Order$ff_core_Pair_Pair(ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String, ff_compiler_Syntax.ff_core_Ordering_Order$ff_compiler_Syntax_Type)).compare_(x_.typeArguments_, y_.typeArguments_);
|
|
@@ -762,18 +663,12 @@ return ff_core_Ordering.OrderingSame()
|
|
|
762
663
|
}
|
|
763
664
|
return
|
|
764
665
|
}
|
|
765
|
-
}
|
|
766
666
|
},
|
|
767
667
|
async compare_$(x_, y_, $task) {
|
|
768
|
-
{
|
|
769
668
|
const x_a = x_;
|
|
770
669
|
const y_a = y_;
|
|
771
|
-
{
|
|
772
|
-
const _guard1 = (x_ === y_);
|
|
773
|
-
if(_guard1) {
|
|
670
|
+
if((x_ === y_)) {
|
|
774
671
|
return ff_core_Ordering.OrderingSame()
|
|
775
|
-
return
|
|
776
|
-
}
|
|
777
672
|
}
|
|
778
673
|
{
|
|
779
674
|
const typeArgumentsOrdering_ = ff_core_Ordering.ff_core_Ordering_Order$ff_core_List_List(ff_core_Ordering.ff_core_Ordering_Order$ff_core_Pair_Pair(ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String, ff_compiler_Syntax.ff_core_Ordering_Order$ff_compiler_Syntax_Type)).compare_(x_.typeArguments_, y_.typeArguments_);
|
|
@@ -790,12 +685,10 @@ return ff_core_Ordering.OrderingSame()
|
|
|
790
685
|
return
|
|
791
686
|
}
|
|
792
687
|
}
|
|
793
|
-
}
|
|
794
688
|
};
|
|
795
689
|
|
|
796
690
|
export const ff_core_Serializable_Serializable$ff_compiler_Environment_Environment = {
|
|
797
691
|
serializeUsing_(serialization_, value_) {
|
|
798
|
-
{
|
|
799
692
|
const serialization_a = serialization_;
|
|
800
693
|
const value_a = value_;
|
|
801
694
|
{
|
|
@@ -812,28 +705,22 @@ ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_Type.ser
|
|
|
812
705
|
ff_core_Option.ff_core_Serializable_Serializable$ff_core_Option_Option(ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String).serializeUsing_(serialization_, v_.selfVariable_)
|
|
813
706
|
return
|
|
814
707
|
}
|
|
815
|
-
}
|
|
816
708
|
},
|
|
817
709
|
deserializeUsing_(serialization_) {
|
|
818
710
|
const variantIndex_ = ff_core_Buffer.Buffer_grabUint8(serialization_.buffer_, serialization_.offset_);
|
|
819
711
|
serialization_.offset_ += 1;
|
|
820
712
|
{
|
|
821
713
|
const _1 = variantIndex_;
|
|
822
|
-
{
|
|
823
714
|
if(_1 === 0) {
|
|
824
715
|
serialization_.checksum_ = ff_core_Int.Int_bitOr(((31 * serialization_.checksum_) + 35), 0);
|
|
825
716
|
return ff_compiler_Environment.Environment(ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String.deserializeUsing_(serialization_), ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_Map_Map(ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String, ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String, ff_compiler_Environment.ff_core_Serializable_Serializable$ff_compiler_Environment_Scheme).deserializeUsing_(serialization_), ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_Map_Map(ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String, ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String, ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_DTrait).deserializeUsing_(serialization_), ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_Map_Map(ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String, ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String, ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_DImport).deserializeUsing_(serialization_), ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_Type.deserializeUsing_(serialization_), ff_core_Option.ff_core_Serializable_Serializable$ff_core_Option_Option(ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String).deserializeUsing_(serialization_))
|
|
826
|
-
return
|
|
827
|
-
}
|
|
828
717
|
}
|
|
829
718
|
{
|
|
830
719
|
throw Object.assign(new Error(), {ffException: ff_core_Any.toAny_(ff_core_Serializable.DeserializationChecksumException(), ff_core_Serializable.ff_core_Any_HasAnyTag$ff_core_Serializable_DeserializationChecksumException)})
|
|
831
|
-
return
|
|
832
720
|
}
|
|
833
721
|
}
|
|
834
722
|
},
|
|
835
723
|
async serializeUsing_$(serialization_, value_, $task) {
|
|
836
|
-
{
|
|
837
724
|
const serialization_a = serialization_;
|
|
838
725
|
const value_a = value_;
|
|
839
726
|
{
|
|
@@ -850,23 +737,18 @@ ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_Type.ser
|
|
|
850
737
|
ff_core_Option.ff_core_Serializable_Serializable$ff_core_Option_Option(ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String).serializeUsing_(serialization_, v_.selfVariable_)
|
|
851
738
|
return
|
|
852
739
|
}
|
|
853
|
-
}
|
|
854
740
|
},
|
|
855
741
|
async deserializeUsing_$(serialization_, $task) {
|
|
856
742
|
const variantIndex_ = ff_core_Buffer.Buffer_grabUint8(serialization_.buffer_, serialization_.offset_);
|
|
857
743
|
serialization_.offset_ += 1;
|
|
858
744
|
{
|
|
859
745
|
const _1 = variantIndex_;
|
|
860
|
-
{
|
|
861
746
|
if(_1 === 0) {
|
|
862
747
|
serialization_.checksum_ = ff_core_Int.Int_bitOr(((31 * serialization_.checksum_) + 35), 0);
|
|
863
748
|
return ff_compiler_Environment.Environment(ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String.deserializeUsing_(serialization_), ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_Map_Map(ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String, ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String, ff_compiler_Environment.ff_core_Serializable_Serializable$ff_compiler_Environment_Scheme).deserializeUsing_(serialization_), ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_Map_Map(ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String, ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String, ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_DTrait).deserializeUsing_(serialization_), ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_Map_Map(ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String, ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String, ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_DImport).deserializeUsing_(serialization_), ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_Type.deserializeUsing_(serialization_), ff_core_Option.ff_core_Serializable_Serializable$ff_core_Option_Option(ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String).deserializeUsing_(serialization_))
|
|
864
|
-
return
|
|
865
|
-
}
|
|
866
749
|
}
|
|
867
750
|
{
|
|
868
751
|
throw Object.assign(new Error(), {ffException: ff_core_Any.toAny_(ff_core_Serializable.DeserializationChecksumException(), ff_core_Serializable.ff_core_Any_HasAnyTag$ff_core_Serializable_DeserializationChecksumException)})
|
|
869
|
-
return
|
|
870
752
|
}
|
|
871
753
|
}
|
|
872
754
|
}
|
|
@@ -874,7 +756,6 @@ return
|
|
|
874
756
|
|
|
875
757
|
export const ff_core_Serializable_Serializable$ff_compiler_Environment_Scheme = {
|
|
876
758
|
serializeUsing_(serialization_, value_) {
|
|
877
|
-
{
|
|
878
759
|
const serialization_a = serialization_;
|
|
879
760
|
const value_a = value_;
|
|
880
761
|
{
|
|
@@ -890,28 +771,22 @@ ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_Bool_Bool.seriali
|
|
|
890
771
|
ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_Signature.serializeUsing_(serialization_, v_.signature_)
|
|
891
772
|
return
|
|
892
773
|
}
|
|
893
|
-
}
|
|
894
774
|
},
|
|
895
775
|
deserializeUsing_(serialization_) {
|
|
896
776
|
const variantIndex_ = ff_core_Buffer.Buffer_grabUint8(serialization_.buffer_, serialization_.offset_);
|
|
897
777
|
serialization_.offset_ += 1;
|
|
898
778
|
{
|
|
899
779
|
const _1 = variantIndex_;
|
|
900
|
-
{
|
|
901
780
|
if(_1 === 0) {
|
|
902
781
|
serialization_.checksum_ = ff_core_Int.Int_bitOr(((31 * serialization_.checksum_) + 30), 0);
|
|
903
782
|
return ff_compiler_Environment.Scheme(ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_Bool_Bool.deserializeUsing_(serialization_), ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_Bool_Bool.deserializeUsing_(serialization_), ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_Bool_Bool.deserializeUsing_(serialization_), ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_Bool_Bool.deserializeUsing_(serialization_), ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_Signature.deserializeUsing_(serialization_))
|
|
904
|
-
return
|
|
905
|
-
}
|
|
906
783
|
}
|
|
907
784
|
{
|
|
908
785
|
throw Object.assign(new Error(), {ffException: ff_core_Any.toAny_(ff_core_Serializable.DeserializationChecksumException(), ff_core_Serializable.ff_core_Any_HasAnyTag$ff_core_Serializable_DeserializationChecksumException)})
|
|
909
|
-
return
|
|
910
786
|
}
|
|
911
787
|
}
|
|
912
788
|
},
|
|
913
789
|
async serializeUsing_$(serialization_, value_, $task) {
|
|
914
|
-
{
|
|
915
790
|
const serialization_a = serialization_;
|
|
916
791
|
const value_a = value_;
|
|
917
792
|
{
|
|
@@ -927,23 +802,18 @@ ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_Bool_Bool.seriali
|
|
|
927
802
|
ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_Signature.serializeUsing_(serialization_, v_.signature_)
|
|
928
803
|
return
|
|
929
804
|
}
|
|
930
|
-
}
|
|
931
805
|
},
|
|
932
806
|
async deserializeUsing_$(serialization_, $task) {
|
|
933
807
|
const variantIndex_ = ff_core_Buffer.Buffer_grabUint8(serialization_.buffer_, serialization_.offset_);
|
|
934
808
|
serialization_.offset_ += 1;
|
|
935
809
|
{
|
|
936
810
|
const _1 = variantIndex_;
|
|
937
|
-
{
|
|
938
811
|
if(_1 === 0) {
|
|
939
812
|
serialization_.checksum_ = ff_core_Int.Int_bitOr(((31 * serialization_.checksum_) + 30), 0);
|
|
940
813
|
return ff_compiler_Environment.Scheme(ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_Bool_Bool.deserializeUsing_(serialization_), ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_Bool_Bool.deserializeUsing_(serialization_), ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_Bool_Bool.deserializeUsing_(serialization_), ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_Bool_Bool.deserializeUsing_(serialization_), ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_Signature.deserializeUsing_(serialization_))
|
|
941
|
-
return
|
|
942
|
-
}
|
|
943
814
|
}
|
|
944
815
|
{
|
|
945
816
|
throw Object.assign(new Error(), {ffException: ff_core_Any.toAny_(ff_core_Serializable.DeserializationChecksumException(), ff_core_Serializable.ff_core_Any_HasAnyTag$ff_core_Serializable_DeserializationChecksumException)})
|
|
946
|
-
return
|
|
947
817
|
}
|
|
948
818
|
}
|
|
949
819
|
}
|
|
@@ -951,7 +821,6 @@ return
|
|
|
951
821
|
|
|
952
822
|
export const ff_core_Serializable_Serializable$ff_compiler_Environment_Instantiated = {
|
|
953
823
|
serializeUsing_(serialization_, value_) {
|
|
954
|
-
{
|
|
955
824
|
const serialization_a = serialization_;
|
|
956
825
|
const value_a = value_;
|
|
957
826
|
{
|
|
@@ -964,28 +833,22 @@ ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_List_List(ff_core
|
|
|
964
833
|
ff_compiler_Environment.ff_core_Serializable_Serializable$ff_compiler_Environment_Scheme.serializeUsing_(serialization_, v_.scheme_)
|
|
965
834
|
return
|
|
966
835
|
}
|
|
967
|
-
}
|
|
968
836
|
},
|
|
969
837
|
deserializeUsing_(serialization_) {
|
|
970
838
|
const variantIndex_ = ff_core_Buffer.Buffer_grabUint8(serialization_.buffer_, serialization_.offset_);
|
|
971
839
|
serialization_.offset_ += 1;
|
|
972
840
|
{
|
|
973
841
|
const _1 = variantIndex_;
|
|
974
|
-
{
|
|
975
842
|
if(_1 === 0) {
|
|
976
843
|
serialization_.checksum_ = ff_core_Int.Int_bitOr(((31 * serialization_.checksum_) + 36), 0);
|
|
977
844
|
return ff_compiler_Environment.Instantiated(ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_List_List(ff_core_Pair.ff_core_Serializable_Serializable$ff_core_Pair_Pair(ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String, ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_Type)).deserializeUsing_(serialization_), ff_compiler_Environment.ff_core_Serializable_Serializable$ff_compiler_Environment_Scheme.deserializeUsing_(serialization_))
|
|
978
|
-
return
|
|
979
|
-
}
|
|
980
845
|
}
|
|
981
846
|
{
|
|
982
847
|
throw Object.assign(new Error(), {ffException: ff_core_Any.toAny_(ff_core_Serializable.DeserializationChecksumException(), ff_core_Serializable.ff_core_Any_HasAnyTag$ff_core_Serializable_DeserializationChecksumException)})
|
|
983
|
-
return
|
|
984
848
|
}
|
|
985
849
|
}
|
|
986
850
|
},
|
|
987
851
|
async serializeUsing_$(serialization_, value_, $task) {
|
|
988
|
-
{
|
|
989
852
|
const serialization_a = serialization_;
|
|
990
853
|
const value_a = value_;
|
|
991
854
|
{
|
|
@@ -998,23 +861,18 @@ ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_List_List(ff_core
|
|
|
998
861
|
ff_compiler_Environment.ff_core_Serializable_Serializable$ff_compiler_Environment_Scheme.serializeUsing_(serialization_, v_.scheme_)
|
|
999
862
|
return
|
|
1000
863
|
}
|
|
1001
|
-
}
|
|
1002
864
|
},
|
|
1003
865
|
async deserializeUsing_$(serialization_, $task) {
|
|
1004
866
|
const variantIndex_ = ff_core_Buffer.Buffer_grabUint8(serialization_.buffer_, serialization_.offset_);
|
|
1005
867
|
serialization_.offset_ += 1;
|
|
1006
868
|
{
|
|
1007
869
|
const _1 = variantIndex_;
|
|
1008
|
-
{
|
|
1009
870
|
if(_1 === 0) {
|
|
1010
871
|
serialization_.checksum_ = ff_core_Int.Int_bitOr(((31 * serialization_.checksum_) + 36), 0);
|
|
1011
872
|
return ff_compiler_Environment.Instantiated(ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_List_List(ff_core_Pair.ff_core_Serializable_Serializable$ff_core_Pair_Pair(ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String, ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_Type)).deserializeUsing_(serialization_), ff_compiler_Environment.ff_core_Serializable_Serializable$ff_compiler_Environment_Scheme.deserializeUsing_(serialization_))
|
|
1012
|
-
return
|
|
1013
|
-
}
|
|
1014
873
|
}
|
|
1015
874
|
{
|
|
1016
875
|
throw Object.assign(new Error(), {ffException: ff_core_Any.toAny_(ff_core_Serializable.DeserializationChecksumException(), ff_core_Serializable.ff_core_Any_HasAnyTag$ff_core_Serializable_DeserializationChecksumException)})
|
|
1017
|
-
return
|
|
1018
876
|
}
|
|
1019
877
|
}
|
|
1020
878
|
}
|