firefly-compiler 0.4.19 → 0.4.21

package/output/js/ff/compiler/Substitution.mjs

@@ -127,7 +127,6 @@ const _1 = module_;
 {
 const _c = _1;
 return ff_compiler_Syntax.Module(_c.file_, _c.packagePair_, _c.imports_, _c.types_, _c.traits_, instances_, extends_, lets_, functions_)
-return
 }
 }
 }
@@ -138,7 +137,6 @@ const _1 = definition_;
 {
 const _c = _1;
 return ff_compiler_Syntax.DLet(_c.at_, _c.name_, ff_compiler_Substitution.Substitution_substituteType(self_, definition_.variableType_), ff_compiler_Substitution.Substitution_substituteTerm(self_, definition_.value_))
-return
 }
 }
 }
@@ -239,7 +237,6 @@ const _1 = g_;
 {
 const _c = _1;
 return ff_compiler_Syntax.MatchGuard(_c.at_, ff_compiler_Substitution.Substitution_substituteTerm(self_, g_.term_), _c.pattern_)
-return
 }
 }
 })), ff_compiler_Substitution.Substitution_substituteTerm(self_, case_.body_))
@@ -255,37 +252,21 @@ return
 export function Substitution_substituteTerm(self_, term_) {
 {
 const _1 = term_;
-{
 if(_1.EString) {
 return term_
-return
 }
-}
-{
 if(_1.EChar) {
 return term_
-return
 }
-}
-{
 if(_1.EInt) {
 return term_
-return
-}
 }
-{
 if(_1.EFloat) {
 return term_
-return
-}
 }
-{
 if(_1.EVariable) {
 return term_
-return
-}
 }
-{
 if(_1.EField) {
 const e_ = _1;
 {
@@ -293,20 +274,14 @@ const _1 = e_;
 {
 const _c = _1;
 return ff_compiler_Syntax.EField(_c.at_, _c.newtype_, ff_compiler_Substitution.Substitution_substituteTerm(self_, e_.record_), _c.field_)
-return
 }
 }
 return
 }
-}
-{
 if(_1.EWildcard) {
 const e_ = _1;
 return term_
-return
 }
-}
-{
 if(_1.EList) {
 const e_ = _1;
 {
@@ -318,7 +293,6 @@ return ff_compiler_Syntax.EList(_c.at_, ff_compiler_Substitution.Substitution_su
 const item_ = _1.first_;
 const b_ = _1.second_;
 return ff_core_Pair.Pair(ff_compiler_Substitution.Substitution_substituteTerm(self_, item_), b_)
-return
 }
 })))
 return
@@ -326,8 +300,6 @@ return
 }
 return
 }
-}
-{
 if(_1.ESequential) {
 const e_ = _1;
 {
@@ -335,13 +307,10 @@ const _1 = e_;
 {
 const _c = _1;
 return ff_compiler_Syntax.ESequential(_c.at_, ff_compiler_Substitution.Substitution_substituteTerm(self_, e_.before_), ff_compiler_Substitution.Substitution_substituteTerm(self_, e_.after_))
-return
 }
 }
 return
 }
-}
-{
 if(_1.ELet) {
 const e_ = _1;
 {
@@ -349,13 +318,10 @@ const _1 = e_;
 {
 const _c = _1;
 return ff_compiler_Syntax.ELet(_c.at_, _c.mutable_, _c.name_, ff_compiler_Substitution.Substitution_substituteType(self_, e_.valueType_), ff_compiler_Substitution.Substitution_substituteTerm(self_, e_.value_), ff_compiler_Substitution.Substitution_substituteTerm(self_, e_.body_))
-return
 }
 }
 return
 }
-}
-{
 if(_1.ELambda) {
 const e_ = _1;
 {
@@ -363,13 +329,10 @@ const _1 = e_;
 {
 const _c = _1;
 return ff_compiler_Syntax.ELambda(_c.at_, ff_compiler_Substitution.Substitution_substituteLambda(self_, e_.lambda_))
-return
 }
 }
 return
 }
-}
-{
 if(_1.EVariant) {
 const e_ = _1;
 {
@@ -388,8 +351,6 @@ return
 }
 return
 }
-}
-{
 if(_1.EVariantIs) {
 const e_ = _1;
 {
@@ -404,8 +365,6 @@ return
 }
 return
 }
-}
-{
 if(_1.ECopy) {
 const e_ = _1;
 {
@@ -420,8 +379,6 @@ return
 }
 return
 }
-}
-{
 if(_1.EPipe) {
 const e_ = _1;
 {
@@ -429,13 +386,10 @@ const _1 = e_;
 {
 const _c = _1;
 return ff_compiler_Syntax.EPipe(_c.at_, ff_compiler_Substitution.Substitution_substituteTerm(self_, e_.value_), ff_compiler_Substitution.Substitution_substituteType(self_, e_.effect_), ff_compiler_Substitution.Substitution_substituteTerm(self_, e_.function_))
-return
 }
 }
 return
 }
-}
-{
 if(_1.ECall) {
 const e_ = _1;
 {
@@ -443,7 +397,6 @@ const _1 = e_;
 {
 const _c = _1;
 return ff_compiler_Syntax.ECall(_c.at_, (((_1) => {
-{
 if(_1.DynamicCall) {
 const call_ = _1;
 {
@@ -451,17 +404,12 @@ const _1 = call_;
 {
 const _c = _1;
 return ff_compiler_Syntax.DynamicCall(ff_compiler_Substitution.Substitution_substituteTerm(self_, call_.function_), _c.tailCall_)
-return
 }
 }
 return
 }
-}
-{
 if(_1.StaticCall) {
 return e_.target_
-return
-}
 }
 }))(e_.target_), ff_compiler_Substitution.Substitution_substituteType(self_, e_.effect_), ff_core_List.List_map(e_.typeArguments_, ((_w1) => {
 return ff_compiler_Substitution.Substitution_substituteType(self_, _w1)
@@ -473,8 +421,6 @@ return
 }
 return
 }
-}
-{
 if(_1.ERecord) {
 const e_ = _1;
 {
@@ -489,8 +435,6 @@ return
 }
 return
 }
-}
-{
 if(_1.EFunctions) {
 const e_ = _1;
 {
@@ -505,8 +449,6 @@ return
 }
 return
 }
-}
-{
 if(_1.EAssign) {
 const e_ = _1;
 {
@@ -514,13 +456,10 @@ const _1 = e_;
 {
 const _c = _1;
 return ff_compiler_Syntax.EAssign(_c.at_, _c.operator_, _c.variable_, ff_compiler_Substitution.Substitution_substituteTerm(self_, e_.value_))
-return
 }
 }
 return
 }
-}
-{
 if(_1.EAssignField) {
 const e_ = _1;
 {
@@ -528,14 +467,12 @@ const _1 = e_;
 {
 const _c = _1;
 return ff_compiler_Syntax.EAssignField(_c.at_, _c.operator_, ff_compiler_Substitution.Substitution_substituteTerm(self_, e_.record_), _c.field_, ff_compiler_Substitution.Substitution_substituteTerm(self_, e_.value_))
-return
 }
 }
 return
 }
 }
 }
-}
 
 export function Substitution_substituteArgument(self_, argument_) {
 {
@@ -543,7 +480,6 @@ const _1 = argument_;
 {
 const _c = _1;
 return ff_compiler_Syntax.Argument(_c.at_, _c.name_, ff_compiler_Substitution.Substitution_substituteTerm(self_, argument_.value_))
-return
 }
 }
 }
@@ -554,16 +490,13 @@ const _1 = field_;
 {
 const _c = _1;
 return ff_compiler_Syntax.Field(_c.at_, _c.name_, ff_compiler_Substitution.Substitution_substituteTerm(self_, field_.value_))
-return
 }
 }
 }
 
 export function Substitution_substituteType(self_, type_) {
-{
 const self_a = self_;
 const type_a = type_;
-{
 if(type_a.TVariable) {
 const at_ = type_a.at_;
 const i_ = type_a.index_;
@@ -574,8 +507,6 @@ return ff_compiler_Syntax.TConstructor(at_, ff_compiler_Substitution.core_("Noth
 }
 return
 }
-}
-{
 if(type_a.TConstructor) {
 const t_ = type_a;
 {
@@ -591,35 +522,25 @@ return
 return
 }
 }
-}
-}
 
 export function Substitution_get(self_, index_) {
 {
 const _1 = ff_core_Map.Map_grab(self_.substitution_, index_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int);
-{
 if(_1.TVariable) {
 const i_ = _1.index_;
-const _guard1 = ff_compiler_Substitution.Substitution_has(self_, i_);
-if(_guard1) {
+if(ff_compiler_Substitution.Substitution_has(self_, i_)) {
 const t_ = ff_compiler_Substitution.Substitution_get(self_, i_);
 self_.substitution_ = ff_core_Map.Map_add(self_.substitution_, index_, t_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int);
 return t_
-return
-}
 }
 }
-{
 if(_1.TVariable) {
 const at_ = _1.at_;
 return ff_compiler_Syntax.TConstructor(at_, ff_compiler_Substitution.core_("Nothing"), [])
-return
-}
 }
 {
 const t_ = _1;
 return t_
-return
 }
 }
 }
@@ -646,7 +567,6 @@ const _1 = module_;
 {
 const _c = _1;
 return ff_compiler_Syntax.Module(_c.file_, _c.packagePair_, _c.imports_, _c.types_, _c.traits_, instances_, extends_, lets_, functions_)
-return
 }
 }
 }
@@ -657,7 +577,6 @@ const _1 = definition_;
 {
 const _c = _1;
 return ff_compiler_Syntax.DLet(_c.at_, _c.name_, ff_compiler_Substitution.Substitution_substituteType(self_, definition_.variableType_), ff_compiler_Substitution.Substitution_substituteTerm(self_, definition_.value_))
-return
 }
 }
 }
@@ -758,7 +677,6 @@ const _1 = g_;
 {
 const _c = _1;
 return ff_compiler_Syntax.MatchGuard(_c.at_, ff_compiler_Substitution.Substitution_substituteTerm(self_, g_.term_), _c.pattern_)
-return
 }
 }
 })), ff_compiler_Substitution.Substitution_substituteTerm(self_, case_.body_))
@@ -774,37 +692,21 @@ return
 export async function Substitution_substituteTerm$(self_, term_, $task) {
 {
 const _1 = term_;
-{
 if(_1.EString) {
 return term_
-return
 }
-}
-{
 if(_1.EChar) {
 return term_
-return
 }
-}
-{
 if(_1.EInt) {
 return term_
-return
-}
 }
-{
 if(_1.EFloat) {
 return term_
-return
-}
 }
-{
 if(_1.EVariable) {
 return term_
-return
-}
 }
-{
 if(_1.EField) {
 const e_ = _1;
 {
@@ -812,20 +714,14 @@ const _1 = e_;
 {
 const _c = _1;
 return ff_compiler_Syntax.EField(_c.at_, _c.newtype_, ff_compiler_Substitution.Substitution_substituteTerm(self_, e_.record_), _c.field_)
-return
 }
 }
 return
 }
-}
-{
 if(_1.EWildcard) {
 const e_ = _1;
 return term_
-return
 }
-}
-{
 if(_1.EList) {
 const e_ = _1;
 {
@@ -837,7 +733,6 @@ return ff_compiler_Syntax.EList(_c.at_, ff_compiler_Substitution.Substitution_su
 const item_ = _1.first_;
 const b_ = _1.second_;
 return ff_core_Pair.Pair(ff_compiler_Substitution.Substitution_substituteTerm(self_, item_), b_)
-return
 }
 })))
 return
@@ -845,8 +740,6 @@ return
 }
 return
 }
-}
-{
 if(_1.ESequential) {
 const e_ = _1;
 {
@@ -854,13 +747,10 @@ const _1 = e_;
 {
 const _c = _1;
 return ff_compiler_Syntax.ESequential(_c.at_, ff_compiler_Substitution.Substitution_substituteTerm(self_, e_.before_), ff_compiler_Substitution.Substitution_substituteTerm(self_, e_.after_))
-return
 }
 }
 return
 }
-}
-{
 if(_1.ELet) {
 const e_ = _1;
 {
@@ -868,13 +758,10 @@ const _1 = e_;
 {
 const _c = _1;
 return ff_compiler_Syntax.ELet(_c.at_, _c.mutable_, _c.name_, ff_compiler_Substitution.Substitution_substituteType(self_, e_.valueType_), ff_compiler_Substitution.Substitution_substituteTerm(self_, e_.value_), ff_compiler_Substitution.Substitution_substituteTerm(self_, e_.body_))
-return
 }
 }
 return
 }
-}
-{
 if(_1.ELambda) {
 const e_ = _1;
 {
@@ -882,13 +769,10 @@ const _1 = e_;
 {
 const _c = _1;
 return ff_compiler_Syntax.ELambda(_c.at_, ff_compiler_Substitution.Substitution_substituteLambda(self_, e_.lambda_))
-return
 }
 }
 return
 }
-}
-{
 if(_1.EVariant) {
 const e_ = _1;
 {
@@ -907,8 +791,6 @@ return
 }
 return
 }
-}
-{
 if(_1.EVariantIs) {
 const e_ = _1;
 {
@@ -923,8 +805,6 @@ return
 }
 return
 }
-}
-{
 if(_1.ECopy) {
 const e_ = _1;
 {
@@ -939,8 +819,6 @@ return
 }
 return
 }
-}
-{
 if(_1.EPipe) {
 const e_ = _1;
 {
@@ -948,13 +826,10 @@ const _1 = e_;
 {
 const _c = _1;
 return ff_compiler_Syntax.EPipe(_c.at_, ff_compiler_Substitution.Substitution_substituteTerm(self_, e_.value_), ff_compiler_Substitution.Substitution_substituteType(self_, e_.effect_), ff_compiler_Substitution.Substitution_substituteTerm(self_, e_.function_))
-return
 }
 }
 return
 }
-}
-{
 if(_1.ECall) {
 const e_ = _1;
 {
@@ -962,7 +837,6 @@ const _1 = e_;
 {
 const _c = _1;
 return ff_compiler_Syntax.ECall(_c.at_, (((_1) => {
-{
 if(_1.DynamicCall) {
 const call_ = _1;
 {
@@ -970,17 +844,12 @@ const _1 = call_;
 {
 const _c = _1;
 return ff_compiler_Syntax.DynamicCall(ff_compiler_Substitution.Substitution_substituteTerm(self_, call_.function_), _c.tailCall_)
-return
 }
 }
 return
 }
-}
-{
 if(_1.StaticCall) {
 return e_.target_
-return
-}
 }
 }))(e_.target_), ff_compiler_Substitution.Substitution_substituteType(self_, e_.effect_), ff_core_List.List_map(e_.typeArguments_, ((_w1) => {
 return ff_compiler_Substitution.Substitution_substituteType(self_, _w1)
@@ -992,8 +861,6 @@ return
 }
 return
 }
-}
-{
 if(_1.ERecord) {
 const e_ = _1;
 {
@@ -1008,8 +875,6 @@ return
 }
 return
 }
-}
-{
 if(_1.EFunctions) {
 const e_ = _1;
 {
@@ -1024,8 +889,6 @@ return
 }
 return
 }
-}
-{
 if(_1.EAssign) {
 const e_ = _1;
 {
@@ -1033,13 +896,10 @@ const _1 = e_;
 {
 const _c = _1;
 return ff_compiler_Syntax.EAssign(_c.at_, _c.operator_, _c.variable_, ff_compiler_Substitution.Substitution_substituteTerm(self_, e_.value_))
-return
 }
 }
 return
 }
-}
-{
 if(_1.EAssignField) {
 const e_ = _1;
 {
@@ -1047,14 +907,12 @@ const _1 = e_;
 {
 const _c = _1;
 return ff_compiler_Syntax.EAssignField(_c.at_, _c.operator_, ff_compiler_Substitution.Substitution_substituteTerm(self_, e_.record_), _c.field_, ff_compiler_Substitution.Substitution_substituteTerm(self_, e_.value_))
-return
 }
 }
 return
 }
 }
 }
-}
 
 export async function Substitution_substituteArgument$(self_, argument_, $task) {
 {
@@ -1062,7 +920,6 @@ const _1 = argument_;
 {
 const _c = _1;
 return ff_compiler_Syntax.Argument(_c.at_, _c.name_, ff_compiler_Substitution.Substitution_substituteTerm(self_, argument_.value_))
-return
 }
 }
 }
@@ -1073,16 +930,13 @@ const _1 = field_;
 {
 const _c = _1;
 return ff_compiler_Syntax.Field(_c.at_, _c.name_, ff_compiler_Substitution.Substitution_substituteTerm(self_, field_.value_))
-return
 }
 }
 }
 
 export async function Substitution_substituteType$(self_, type_, $task) {
-{
 const self_a = self_;
 const type_a = type_;
-{
 if(type_a.TVariable) {
 const at_ = type_a.at_;
 const i_ = type_a.index_;
@@ -1093,8 +947,6 @@ return ff_compiler_Syntax.TConstructor(at_, ff_compiler_Substitution.core_("Noth
 }
 return
 }
-}
-{
 if(type_a.TConstructor) {
 const t_ = type_a;
 {
@@ -1110,35 +962,25 @@ return
 return
 }
 }
-}
-}
 
 export async function Substitution_get$(self_, index_, $task) {
 {
 const _1 = ff_core_Map.Map_grab(self_.substitution_, index_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int);
-{
 if(_1.TVariable) {
 const i_ = _1.index_;
-const _guard1 = ff_compiler_Substitution.Substitution_has(self_, i_);
-if(_guard1) {
+if(ff_compiler_Substitution.Substitution_has(self_, i_)) {
 const t_ = ff_compiler_Substitution.Substitution_get(self_, i_);
 self_.substitution_ = ff_core_Map.Map_add(self_.substitution_, index_, t_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int);
 return t_
-return
-}
 }
 }
-{
 if(_1.TVariable) {
 const at_ = _1.at_;
 return ff_compiler_Syntax.TConstructor(at_, ff_compiler_Substitution.core_("Nothing"), [])
-return
-}
 }
 {
 const t_ = _1;
 return t_
-return
 }
 }
 }