firefly-compiler 0.4.20 → 0.4.21

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

@@ -127,19 +127,13 @@ return ff_compiler_Unification.Unification(ff_core_Map.empty_(), ff_core_Map.emp
 const moduleName_ = ff_core_String.String_dropLast(module_.file_, ff_core_String.String_size(".ff"));
 return ff_core_List.List_map(module_.instances_, ((definition_) => {
 const typeName_ = (((_1) => {
-{
 if(_1.TConstructor) {
 const name_ = _1.name_;
 return name_
-return
-}
 }
-{
 if(_1.TVariable) {
 const i_ = _1.index_;
 return ff_compiler_Unification.fail_(definition_.at_, ("Unexpected unification variable: $" + i_))
-return
-}
 }
 }))(ff_core_List.List_grabFirst(definition_.typeArguments_));
 return ff_core_Pair.Pair(ff_compiler_Unification.InstanceKey(definition_.traitName_, typeName_), ff_compiler_Unification.InstanceValue(definition_.generics_, definition_.constraints_, module_.packagePair_, moduleName_, definition_.traitName_, definition_.typeArguments_))
@@ -156,19 +150,13 @@ return ff_compiler_Unification.Unification(ff_core_Map.empty_(), ff_core_Map.emp
 const moduleName_ = ff_core_String.String_dropLast(module_.file_, ff_core_String.String_size(".ff"));
 return ff_core_List.List_map(module_.instances_, ((definition_) => {
 const typeName_ = (((_1) => {
-{
 if(_1.TConstructor) {
 const name_ = _1.name_;
 return name_
-return
 }
-}
-{
 if(_1.TVariable) {
 const i_ = _1.index_;
 return ff_compiler_Unification.fail_(definition_.at_, ("Unexpected unification variable: $" + i_))
-return
-}
 }
 }))(ff_core_List.List_grabFirst(definition_.typeArguments_));
 return ff_core_Pair.Pair(ff_compiler_Unification.InstanceKey(definition_.traitName_, typeName_), ff_compiler_Unification.InstanceValue(definition_.generics_, definition_.constraints_, module_.packagePair_, moduleName_, definition_.traitName_, definition_.typeArguments_))
@@ -193,36 +181,24 @@ return result_
 }
 
 export function Unification_instantiate(self_, instantiation_, type_) {
-{
 const self_a = self_;
 const instantiation_a = instantiation_;
 const type_a = type_;
-{
-if(type_a.TConstructor) {
+if(type_a.TConstructor && type_a.generics_.length === 0) {
 const at_ = type_a.at_;
 const name_ = type_a.name_;
-if(type_a.generics_.length === 0) {
 {
 const _1 = ff_core_Map.Map_get(instantiation_, name_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String);
-{
 if(_1.Some) {
 const t_ = _1.value_;
 return t_
-return
-}
 }
-{
 if(_1.None) {
 return type_
-return
-}
 }
 }
 return
 }
-}
-}
-{
 if(type_a.TConstructor) {
 const at_ = type_a.at_;
 const name_ = type_a.name_;
@@ -232,30 +208,21 @@ return ff_compiler_Unification.Unification_instantiate(self_, instantiation_, _w
 })))
 return
 }
-}
-{
 if(type_a.TVariable) {
 const i_ = type_a.index_;
 const _guard1 = ff_compiler_Unification.Unification_get(self_, i_);
 if(_guard1.Some) {
 const t_ = _guard1.value_;
 return ff_compiler_Unification.Unification_instantiate(self_, instantiation_, t_)
-return
-}
 }
 }
-{
 if(type_a.TVariable) {
 const i_ = type_a.index_;
 return type_
-return
-}
-}
 }
 }
 
 export function Unification_instantiateConstraint(self_, instantiation_, constraint_) {
-{
 const self_a = self_;
 const instantiation_a = instantiation_;
 const constraint_a = constraint_;
@@ -269,12 +236,10 @@ return ff_compiler_Unification.Unification_instantiate(self_, instantiation_, _w
 return
 }
 }
-}
 
 export function Unification_constrain(self_, at_, type_, constraintName_, generics_) {
 {
 const _1 = type_;
-{
 if(_1.TVariable) {
 const i_ = _1.index_;
 const _guard1 = ff_compiler_Unification.Unification_get(self_, i_);
@@ -284,31 +249,23 @@ ff_compiler_Unification.Unification_constrain(self_, at_, t_, constraintName_, g
 return
 }
 }
-}
-{
 if(_1.TVariable) {
 const i_ = _1.index_;
 {
 const _1 = ff_core_Map.Map_get(self_.constraints_, i_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int);
-{
 if(_1.None) {
 self_.constraints_ = ff_core_Map.Map_add(self_.constraints_, i_, ff_core_List.List_toMap([ff_core_Pair.Pair(constraintName_, ff_compiler_Unification.ConstraintGenerics(at_, generics_))], ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String), ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int)
 return
 }
-}
-{
 if(_1.Some) {
 const map_ = _1.value_;
 {
 const _1 = ff_core_Map.Map_get(map_, constraintName_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String);
-{
 if(_1.None) {
 const newMap_ = ff_core_Map.Map_add(map_, constraintName_, ff_compiler_Unification.ConstraintGenerics(at_, generics_), ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String);
 self_.constraints_ = ff_core_Map.Map_add(self_.constraints_, i_, newMap_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int)
 return
 }
-}
-{
 if(_1.Some) {
 const generics2_ = _1.value_.generics_;
 ff_core_List.List_each(ff_core_List.List_zip(generics_, generics2_), ((_1) => {
@@ -322,21 +279,16 @@ return
 return
 }
 }
-}
 return
 }
 }
-}
 return
 }
-}
-{
 if(_1.TConstructor) {
 const name_ = _1.name_;
 const generics2_ = _1.generics_;
 {
 const _1 = ff_core_Map.Map_get(self_.instances_, ff_compiler_Unification.InstanceKey(constraintName_, name_), ff_compiler_Unification.ff_core_Ordering_Order$ff_compiler_Unification_InstanceKey);
-{
 if(_1.None) {
 const g1_ = (ff_core_List.List_isEmpty(generics_)
 ? ""
@@ -349,8 +301,6 @@ throw Object.assign(new Error(), {ffException: ff_core_Any.toAny_(ff_compiler_Sy
 }
 return
 }
-}
-{
 if(_1.Some) {
 const definition_ = _1.value_;
 const unificationVariables_ = ff_core_List.List_map(definition_.generics_, ((_) => {
@@ -374,16 +324,13 @@ return
 return
 }
 }
-}
 return
 }
 }
 }
-}
 
 export function Unification_get(self_, index_) {
 return ff_core_Option.Option_map(ff_core_Map.Map_get(self_.substitution_, index_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int), ((_1) => {
-{
 if(_1.TVariable) {
 const i_ = _1.index_;
 const _guard1 = ff_core_Map.Map_get(self_.substitution_, i_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int);
@@ -391,40 +338,29 @@ if(_guard1.Some) {
 const t_ = _guard1.value_;
 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
-}
 }
 }
 {
 const t_ = _1;
 return t_
-return
 }
 }))
 }
 
 export function Unification_substitute(self_, type_) {
-{
 const self_a = self_;
 const type_a = type_;
-{
 if(type_a.TVariable) {
 const i_ = type_a.index_;
 const _guard1 = ff_compiler_Unification.Unification_get(self_, i_);
 if(_guard1.Some) {
 const t_ = _guard1.value_;
 return ff_compiler_Unification.Unification_substitute(self_, t_)
-return
-}
 }
 }
-{
 if(type_a.TVariable) {
 return type_
-return
-}
 }
-{
 if(type_a.TConstructor) {
 const t_ = type_a;
 {
@@ -440,29 +376,20 @@ return
 return
 }
 }
-}
-}
 
 export function Unification_unify(self_, at_, t1_, t2_) {
-{
 const self_a = self_;
 const at_a = at_;
 const t1_a = t1_;
 const t2_a = t2_;
-{
-if(t1_a.TVariable) {
+if(t1_a.TVariable && t2_a.TVariable) {
 const i1_ = t1_a.index_;
-if(t2_a.TVariable) {
 const i2_ = t2_a.index_;
-const _guard1 = (i1_ === i2_);
-if(_guard1) {
+if((i1_ === i2_)) {
 
 return
 }
 }
-}
-}
-{
 if(t1_a.TVariable) {
 const i_ = t1_a.index_;
 const _guard1 = ff_compiler_Unification.Unification_get(self_, i_);
@@ -472,8 +399,6 @@ ff_compiler_Unification.Unification_unify(self_, at_, t_, t2_)
 return
 }
 }
-}
-{
 if(t2_a.TVariable) {
 const i_ = t2_a.index_;
 const _guard1 = ff_compiler_Unification.Unification_get(self_, i_);
@@ -483,26 +408,19 @@ ff_compiler_Unification.Unification_unify(self_, at_, t1_, t_)
 return
 }
 }
-}
-{
 if(t1_a.TVariable) {
 const i_ = t1_a.index_;
 ff_compiler_Unification.Unification_bind(self_, at_, i_, t2_)
 return
 }
-}
-{
 if(t2_a.TVariable) {
 const i_ = t2_a.index_;
 ff_compiler_Unification.Unification_bind(self_, at_, i_, t1_)
 return
 }
-}
-{
-if(t1_a.TConstructor) {
+if(t1_a.TConstructor && t2_a.TConstructor) {
 const name1_ = t1_a.name_;
 const generics1_ = t1_a.generics_;
-if(t2_a.TConstructor) {
 const name2_ = t2_a.name_;
 const generics2_ = t2_a.generics_;
 if(((name1_ !== name2_) || (ff_core_List.List_size(generics1_) !== ff_core_List.List_size(generics2_)))) {
@@ -541,9 +459,6 @@ return
 return
 }
 }
-}
-}
-}
 
 export function Unification_bind(self_, at_, index_, type_) {
 if(ff_compiler_Unification.Unification_occursIn(self_, index_, type_)) {
@@ -574,10 +489,8 @@ ff_compiler_Unification.Unification_affect(self_, at_, type_, ff_compiler_Syntax
 export function Unification_affect(self_, at_, source_, target_) {
 {
 const _1 = ff_core_Pair.Pair(ff_compiler_Unification.Unification_substitute(self_, source_), ff_compiler_Unification.Unification_substitute(self_, target_));
-{
-if(_1.first_.TVariable) {
+if(_1.first_.TVariable && _1.second_.TVariable) {
 const i1_ = _1.first_.index_;
-if(_1.second_.TVariable) {
 const i2_ = _1.second_.index_;
 const is_ = ff_core_Option.Option_else(ff_core_Map.Map_get(self_.affects_, i1_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int), (() => {
 return ff_core_List.List_toSet([], ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int)
@@ -585,24 +498,14 @@ return ff_core_List.List_toSet([], ff_core_Ordering.ff_core_Ordering_Order$ff_co
 self_.affects_ = ff_core_Map.Map_add(self_.affects_, i1_, ff_core_Set.Set_add(is_, i2_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int), ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int)
 return
 }
-}
-}
-{
-if(_1.second_.TConstructor) {
-if(_1.second_.name_ === "Q$") {
+if(_1.second_.TConstructor && _1.second_.name_ === "Q$") {
 
 return
 }
-}
-}
-{
-if(_1.first_.TConstructor) {
-if(_1.first_.name_ === "ff:core/Nothing.Nothing") {
+if(_1.first_.TConstructor && _1.first_.name_ === "ff:core/Nothing.Nothing") {
 
 return
 }
-}
-}
 {
 const t1_ = _1.first_;
 const t2_ = _1.second_;
@@ -613,29 +516,21 @@ return
 }
 
 export function Unification_occursIn(self_, index_, t_) {
-{
 const self_a = self_;
 const index_a = index_;
 const t_a = t_;
-{
 if(t_a.TVariable) {
 const i_ = t_a.index_;
 const _guard1 = ff_compiler_Unification.Unification_get(self_, i_);
 if(_guard1.Some) {
 const type_ = _guard1.value_;
 return ff_compiler_Unification.Unification_occursIn(self_, index_, type_)
-return
-}
 }
 }
-{
 if(t_a.TVariable) {
 const i_ = t_a.index_;
 return (i_ === index_)
-return
 }
-}
-{
 if(t_a.TConstructor) {
 const generics_ = t_a.generics_;
 return ff_core_List.List_any(generics_, ((t_) => {
@@ -644,8 +539,6 @@ return ff_compiler_Unification.Unification_occursIn(self_, index_, t_)
 return
 }
 }
-}
-}
 
 export async function Unification_withLocalInstances$(self_, instances_, body_, $task) {
 const oldInstances_ = self_.instances_;
@@ -664,36 +557,24 @@ return result_
 }
 
 export async function Unification_instantiate$(self_, instantiation_, type_, $task) {
-{
 const self_a = self_;
 const instantiation_a = instantiation_;
 const type_a = type_;
-{
-if(type_a.TConstructor) {
+if(type_a.TConstructor && type_a.generics_.length === 0) {
 const at_ = type_a.at_;
 const name_ = type_a.name_;
-if(type_a.generics_.length === 0) {
 {
 const _1 = ff_core_Map.Map_get(instantiation_, name_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String);
-{
 if(_1.Some) {
 const t_ = _1.value_;
 return t_
-return
-}
 }
-{
 if(_1.None) {
 return type_
-return
-}
 }
 }
 return
 }
-}
-}
-{
 if(type_a.TConstructor) {
 const at_ = type_a.at_;
 const name_ = type_a.name_;
@@ -703,30 +584,21 @@ return ff_compiler_Unification.Unification_instantiate(self_, instantiation_, _w
 })))
 return
 }
-}
-{
 if(type_a.TVariable) {
 const i_ = type_a.index_;
 const _guard1 = ff_compiler_Unification.Unification_get(self_, i_);
 if(_guard1.Some) {
 const t_ = _guard1.value_;
 return ff_compiler_Unification.Unification_instantiate(self_, instantiation_, t_)
-return
 }
 }
-}
-{
 if(type_a.TVariable) {
 const i_ = type_a.index_;
 return type_
-return
-}
-}
 }
 }
 
 export async function Unification_instantiateConstraint$(self_, instantiation_, constraint_, $task) {
-{
 const self_a = self_;
 const instantiation_a = instantiation_;
 const constraint_a = constraint_;
@@ -740,12 +612,10 @@ return ff_compiler_Unification.Unification_instantiate(self_, instantiation_, _w
 return
 }
 }
-}
 
 export async function Unification_constrain$(self_, at_, type_, constraintName_, generics_, $task) {
 {
 const _1 = type_;
-{
 if(_1.TVariable) {
 const i_ = _1.index_;
 const _guard1 = ff_compiler_Unification.Unification_get(self_, i_);
@@ -755,31 +625,23 @@ ff_compiler_Unification.Unification_constrain(self_, at_, t_, constraintName_, g
 return
 }
 }
-}
-{
 if(_1.TVariable) {
 const i_ = _1.index_;
 {
 const _1 = ff_core_Map.Map_get(self_.constraints_, i_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int);
-{
 if(_1.None) {
 self_.constraints_ = ff_core_Map.Map_add(self_.constraints_, i_, ff_core_List.List_toMap([ff_core_Pair.Pair(constraintName_, ff_compiler_Unification.ConstraintGenerics(at_, generics_))], ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String), ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int)
 return
 }
-}
-{
 if(_1.Some) {
 const map_ = _1.value_;
 {
 const _1 = ff_core_Map.Map_get(map_, constraintName_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String);
-{
 if(_1.None) {
 const newMap_ = ff_core_Map.Map_add(map_, constraintName_, ff_compiler_Unification.ConstraintGenerics(at_, generics_), ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String);
 self_.constraints_ = ff_core_Map.Map_add(self_.constraints_, i_, newMap_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int)
 return
 }
-}
-{
 if(_1.Some) {
 const generics2_ = _1.value_.generics_;
 ff_core_List.List_each(ff_core_List.List_zip(generics_, generics2_), ((_1) => {
@@ -793,21 +655,16 @@ return
 return
 }
 }
-}
 return
 }
 }
-}
 return
 }
-}
-{
 if(_1.TConstructor) {
 const name_ = _1.name_;
 const generics2_ = _1.generics_;
 {
 const _1 = ff_core_Map.Map_get(self_.instances_, ff_compiler_Unification.InstanceKey(constraintName_, name_), ff_compiler_Unification.ff_core_Ordering_Order$ff_compiler_Unification_InstanceKey);
-{
 if(_1.None) {
 const g1_ = (ff_core_List.List_isEmpty(generics_)
 ? ""
@@ -820,8 +677,6 @@ throw Object.assign(new Error(), {ffException: ff_core_Any.toAny_(ff_compiler_Sy
 }
 return
 }
-}
-{
 if(_1.Some) {
 const definition_ = _1.value_;
 const unificationVariables_ = ff_core_List.List_map(definition_.generics_, ((_) => {
@@ -845,16 +700,13 @@ return
 return
 }
 }
-}
 return
 }
 }
 }
-}
 
 export async function Unification_get$(self_, index_, $task) {
 return ff_core_Option.Option_map(ff_core_Map.Map_get(self_.substitution_, index_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int), ((_1) => {
-{
 if(_1.TVariable) {
 const i_ = _1.index_;
 const _guard1 = ff_core_Map.Map_get(self_.substitution_, i_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int);
@@ -862,40 +714,29 @@ if(_guard1.Some) {
 const t_ = _guard1.value_;
 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
-}
 }
 }
 {
 const t_ = _1;
 return t_
-return
 }
 }))
 }
 
 export async function Unification_substitute$(self_, type_, $task) {
-{
 const self_a = self_;
 const type_a = type_;
-{
 if(type_a.TVariable) {
 const i_ = type_a.index_;
 const _guard1 = ff_compiler_Unification.Unification_get(self_, i_);
 if(_guard1.Some) {
 const t_ = _guard1.value_;
 return ff_compiler_Unification.Unification_substitute(self_, t_)
-return
-}
 }
 }
-{
 if(type_a.TVariable) {
 return type_
-return
 }
-}
-{
 if(type_a.TConstructor) {
 const t_ = type_a;
 {
@@ -911,29 +752,20 @@ return
 return
 }
 }
-}
-}
 
 export async function Unification_unify$(self_, at_, t1_, t2_, $task) {
-{
 const self_a = self_;
 const at_a = at_;
 const t1_a = t1_;
 const t2_a = t2_;
-{
-if(t1_a.TVariable) {
+if(t1_a.TVariable && t2_a.TVariable) {
 const i1_ = t1_a.index_;
-if(t2_a.TVariable) {
 const i2_ = t2_a.index_;
-const _guard1 = (i1_ === i2_);
-if(_guard1) {
+if((i1_ === i2_)) {
 
 return
 }
 }
-}
-}
-{
 if(t1_a.TVariable) {
 const i_ = t1_a.index_;
 const _guard1 = ff_compiler_Unification.Unification_get(self_, i_);
@@ -943,8 +775,6 @@ ff_compiler_Unification.Unification_unify(self_, at_, t_, t2_)
 return
 }
 }
-}
-{
 if(t2_a.TVariable) {
 const i_ = t2_a.index_;
 const _guard1 = ff_compiler_Unification.Unification_get(self_, i_);
@@ -954,26 +784,19 @@ ff_compiler_Unification.Unification_unify(self_, at_, t1_, t_)
 return
 }
 }
-}
-{
 if(t1_a.TVariable) {
 const i_ = t1_a.index_;
 ff_compiler_Unification.Unification_bind(self_, at_, i_, t2_)
 return
 }
-}
-{
 if(t2_a.TVariable) {
 const i_ = t2_a.index_;
 ff_compiler_Unification.Unification_bind(self_, at_, i_, t1_)
 return
 }
-}
-{
-if(t1_a.TConstructor) {
+if(t1_a.TConstructor && t2_a.TConstructor) {
 const name1_ = t1_a.name_;
 const generics1_ = t1_a.generics_;
-if(t2_a.TConstructor) {
 const name2_ = t2_a.name_;
 const generics2_ = t2_a.generics_;
 if(((name1_ !== name2_) || (ff_core_List.List_size(generics1_) !== ff_core_List.List_size(generics2_)))) {
@@ -1012,9 +835,6 @@ return
 return
 }
 }
-}
-}
-}
 
 export async function Unification_bind$(self_, at_, index_, type_, $task) {
 if(ff_compiler_Unification.Unification_occursIn(self_, index_, type_)) {
@@ -1045,10 +865,8 @@ ff_compiler_Unification.Unification_affect(self_, at_, type_, ff_compiler_Syntax
 export async function Unification_affect$(self_, at_, source_, target_, $task) {
 {
 const _1 = ff_core_Pair.Pair(ff_compiler_Unification.Unification_substitute(self_, source_), ff_compiler_Unification.Unification_substitute(self_, target_));
-{
-if(_1.first_.TVariable) {
+if(_1.first_.TVariable && _1.second_.TVariable) {
 const i1_ = _1.first_.index_;
-if(_1.second_.TVariable) {
 const i2_ = _1.second_.index_;
 const is_ = ff_core_Option.Option_else(ff_core_Map.Map_get(self_.affects_, i1_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int), (() => {
 return ff_core_List.List_toSet([], ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int)
@@ -1056,24 +874,14 @@ return ff_core_List.List_toSet([], ff_core_Ordering.ff_core_Ordering_Order$ff_co
 self_.affects_ = ff_core_Map.Map_add(self_.affects_, i1_, ff_core_Set.Set_add(is_, i2_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int), ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int)
 return
 }
-}
-}
-{
-if(_1.second_.TConstructor) {
-if(_1.second_.name_ === "Q$") {
+if(_1.second_.TConstructor && _1.second_.name_ === "Q$") {
 
 return
 }
-}
-}
-{
-if(_1.first_.TConstructor) {
-if(_1.first_.name_ === "ff:core/Nothing.Nothing") {
+if(_1.first_.TConstructor && _1.first_.name_ === "ff:core/Nothing.Nothing") {
 
 return
 }
-}
-}
 {
 const t1_ = _1.first_;
 const t2_ = _1.second_;
@@ -1084,29 +892,21 @@ return
 }
 
 export async function Unification_occursIn$(self_, index_, t_, $task) {
-{
 const self_a = self_;
 const index_a = index_;
 const t_a = t_;
-{
 if(t_a.TVariable) {
 const i_ = t_a.index_;
 const _guard1 = ff_compiler_Unification.Unification_get(self_, i_);
 if(_guard1.Some) {
 const type_ = _guard1.value_;
 return ff_compiler_Unification.Unification_occursIn(self_, index_, type_)
-return
 }
 }
-}
-{
 if(t_a.TVariable) {
 const i_ = t_a.index_;
 return (i_ === index_)
-return
 }
-}
-{
 if(t_a.TConstructor) {
 const generics_ = t_a.generics_;
 return ff_core_List.List_any(generics_, ((t_) => {
@@ -1115,8 +915,6 @@ return ff_compiler_Unification.Unification_occursIn(self_, index_, t_)
 return
 }
 }
-}
-}
 
 export const ff_core_Any_HasAnyTag$ff_compiler_Unification_ConstraintGenerics = {
 anyTag_() {
@@ -1147,195 +945,130 @@ return ff_core_Any.internalAnyTag_((("ff:compiler/Unification.InstanceValue" + "
 
 export const ff_core_Show_Show$ff_compiler_Unification_ConstraintGenerics = {
 show_(value_) {
-{
 const value_a = value_;
 {
 const z_ = value_a;
 return ((((("ConstraintGenerics" + "(") + ff_compiler_Syntax.ff_core_Show_Show$ff_compiler_Syntax_Location.show_(z_.at_)) + ", ") + ff_core_Show.ff_core_Show_Show$ff_core_List_List(ff_compiler_Syntax.ff_core_Show_Show$ff_compiler_Syntax_Type).show_(z_.generics_)) + ")")
-return
-}
 }
 },
 async show_$(value_, $task) {
-{
 const value_a = value_;
 {
 const z_ = value_a;
 return ((((("ConstraintGenerics" + "(") + ff_compiler_Syntax.ff_core_Show_Show$ff_compiler_Syntax_Location.show_(z_.at_)) + ", ") + ff_core_Show.ff_core_Show_Show$ff_core_List_List(ff_compiler_Syntax.ff_core_Show_Show$ff_compiler_Syntax_Type).show_(z_.generics_)) + ")")
-return
-}
 }
 }
 };
 
 export const ff_core_Show_Show$ff_compiler_Unification_InstanceKey = {
 show_(value_) {
-{
 const value_a = value_;
 {
 const z_ = value_a;
 return ((((("InstanceKey" + "(") + ff_core_Show.ff_core_Show_Show$ff_core_String_String.show_(z_.traitName_)) + ", ") + ff_core_Show.ff_core_Show_Show$ff_core_String_String.show_(z_.typeName_)) + ")")
-return
-}
 }
 },
 async show_$(value_, $task) {
-{
 const value_a = value_;
 {
 const z_ = value_a;
 return ((((("InstanceKey" + "(") + ff_core_Show.ff_core_Show_Show$ff_core_String_String.show_(z_.traitName_)) + ", ") + ff_core_Show.ff_core_Show_Show$ff_core_String_String.show_(z_.typeName_)) + ")")
-return
-}
 }
 }
 };
 
 export const ff_core_Show_Show$ff_compiler_Unification_InstanceValue = {
 show_(value_) {
-{
 const value_a = value_;
 {
 const z_ = value_a;
 return ((((((((((((("InstanceValue" + "(") + ff_core_Show.ff_core_Show_Show$ff_core_List_List(ff_core_Show.ff_core_Show_Show$ff_core_String_String).show_(z_.generics_)) + ", ") + ff_core_Show.ff_core_Show_Show$ff_core_List_List(ff_compiler_Syntax.ff_core_Show_Show$ff_compiler_Syntax_Constraint).show_(z_.constraints_)) + ", ") + ff_compiler_Syntax.ff_core_Show_Show$ff_compiler_Syntax_PackagePair.show_(z_.packagePair_)) + ", ") + ff_core_Show.ff_core_Show_Show$ff_core_String_String.show_(z_.moduleName_)) + ", ") + ff_core_Show.ff_core_Show_Show$ff_core_String_String.show_(z_.traitName_)) + ", ") + ff_core_Show.ff_core_Show_Show$ff_core_List_List(ff_compiler_Syntax.ff_core_Show_Show$ff_compiler_Syntax_Type).show_(z_.typeArguments_)) + ")")
-return
-}
 }
 },
 async show_$(value_, $task) {
-{
 const value_a = value_;
 {
 const z_ = value_a;
 return ((((((((((((("InstanceValue" + "(") + ff_core_Show.ff_core_Show_Show$ff_core_List_List(ff_core_Show.ff_core_Show_Show$ff_core_String_String).show_(z_.generics_)) + ", ") + ff_core_Show.ff_core_Show_Show$ff_core_List_List(ff_compiler_Syntax.ff_core_Show_Show$ff_compiler_Syntax_Constraint).show_(z_.constraints_)) + ", ") + ff_compiler_Syntax.ff_core_Show_Show$ff_compiler_Syntax_PackagePair.show_(z_.packagePair_)) + ", ") + ff_core_Show.ff_core_Show_Show$ff_core_String_String.show_(z_.moduleName_)) + ", ") + ff_core_Show.ff_core_Show_Show$ff_core_String_String.show_(z_.traitName_)) + ", ") + ff_core_Show.ff_core_Show_Show$ff_core_List_List(ff_compiler_Syntax.ff_core_Show_Show$ff_compiler_Syntax_Type).show_(z_.typeArguments_)) + ")")
-return
-}
 }
 }
 };
 
 export const ff_core_Equal_Equal$ff_compiler_Unification_ConstraintGenerics = {
 equals_(x_, y_) {
-{
 const x_a = x_;
 const y_a = y_;
-{
-const _guard1 = (x_ === y_);
-if(_guard1) {
+if((x_ === y_)) {
 return true
-return
-}
 }
 {
 return (ff_compiler_Syntax.ff_core_Equal_Equal$ff_compiler_Syntax_Location.equals_(x_.at_, y_.at_) && ff_core_List.ff_core_Equal_Equal$ff_core_List_List(ff_compiler_Syntax.ff_core_Equal_Equal$ff_compiler_Syntax_Type).equals_(x_.generics_, y_.generics_))
-return
-}
 }
 },
 async equals_$(x_, y_, $task) {
-{
 const x_a = x_;
 const y_a = y_;
-{
-const _guard1 = (x_ === y_);
-if(_guard1) {
+if((x_ === y_)) {
 return true
-return
-}
 }
 {
 return (ff_compiler_Syntax.ff_core_Equal_Equal$ff_compiler_Syntax_Location.equals_(x_.at_, y_.at_) && ff_core_List.ff_core_Equal_Equal$ff_core_List_List(ff_compiler_Syntax.ff_core_Equal_Equal$ff_compiler_Syntax_Type).equals_(x_.generics_, y_.generics_))
-return
-}
 }
 }
 };
 
 export const ff_core_Equal_Equal$ff_compiler_Unification_InstanceKey = {
 equals_(x_, y_) {
-{
 const x_a = x_;
 const y_a = y_;
-{
-const _guard1 = (x_ === y_);
-if(_guard1) {
+if((x_ === y_)) {
 return true
-return
-}
 }
 {
 return ((x_.traitName_ === y_.traitName_) && (x_.typeName_ === y_.typeName_))
-return
-}
 }
 },
 async equals_$(x_, y_, $task) {
-{
 const x_a = x_;
 const y_a = y_;
-{
-const _guard1 = (x_ === y_);
-if(_guard1) {
+if((x_ === y_)) {
 return true
-return
-}
 }
 {
 return ((x_.traitName_ === y_.traitName_) && (x_.typeName_ === y_.typeName_))
-return
-}
 }
 }
 };
 
 export const ff_core_Equal_Equal$ff_compiler_Unification_InstanceValue = {
 equals_(x_, y_) {
-{
 const x_a = x_;
 const y_a = y_;
-{
-const _guard1 = (x_ === y_);
-if(_guard1) {
+if((x_ === y_)) {
 return true
-return
-}
 }
 {
 return (ff_core_List.ff_core_Equal_Equal$ff_core_List_List(ff_core_Equal.ff_core_Equal_Equal$ff_core_String_String).equals_(x_.generics_, y_.generics_) && (ff_core_List.ff_core_Equal_Equal$ff_core_List_List(ff_compiler_Syntax.ff_core_Equal_Equal$ff_compiler_Syntax_Constraint).equals_(x_.constraints_, y_.constraints_) && (ff_compiler_Syntax.ff_core_Equal_Equal$ff_compiler_Syntax_PackagePair.equals_(x_.packagePair_, y_.packagePair_) && ((x_.moduleName_ === y_.moduleName_) && ((x_.traitName_ === y_.traitName_) && ff_core_List.ff_core_Equal_Equal$ff_core_List_List(ff_compiler_Syntax.ff_core_Equal_Equal$ff_compiler_Syntax_Type).equals_(x_.typeArguments_, y_.typeArguments_))))))
-return
-}
 }
 },
 async equals_$(x_, y_, $task) {
-{
 const x_a = x_;
 const y_a = y_;
-{
-const _guard1 = (x_ === y_);
-if(_guard1) {
+if((x_ === y_)) {
 return true
-return
-}
 }
 {
 return (ff_core_List.ff_core_Equal_Equal$ff_core_List_List(ff_core_Equal.ff_core_Equal_Equal$ff_core_String_String).equals_(x_.generics_, y_.generics_) && (ff_core_List.ff_core_Equal_Equal$ff_core_List_List(ff_compiler_Syntax.ff_core_Equal_Equal$ff_compiler_Syntax_Constraint).equals_(x_.constraints_, y_.constraints_) && (ff_compiler_Syntax.ff_core_Equal_Equal$ff_compiler_Syntax_PackagePair.equals_(x_.packagePair_, y_.packagePair_) && ((x_.moduleName_ === y_.moduleName_) && ((x_.traitName_ === y_.traitName_) && ff_core_List.ff_core_Equal_Equal$ff_core_List_List(ff_compiler_Syntax.ff_core_Equal_Equal$ff_compiler_Syntax_Type).equals_(x_.typeArguments_, y_.typeArguments_))))))
-return
-}
 }
 }
 };
 
 export const ff_core_Ordering_Order$ff_compiler_Unification_ConstraintGenerics = {
 compare_(x_, y_) {
-{
 const x_a = x_;
 const y_a = y_;
-{
-const _guard1 = (x_ === y_);
-if(_guard1) {
+if((x_ === y_)) {
 return ff_core_Ordering.OrderingSame()
-return
-}
 }
 {
 const atOrdering_ = ff_compiler_Syntax.ff_core_Ordering_Order$ff_compiler_Syntax_Location.compare_(x_.at_, y_.at_);
@@ -1351,18 +1084,12 @@ return ff_core_Ordering.OrderingSame()
 }
 return
 }
-}
 },
 async compare_$(x_, y_, $task) {
-{
 const x_a = x_;
 const y_a = y_;
-{
-const _guard1 = (x_ === y_);
-if(_guard1) {
+if((x_ === y_)) {
 return ff_core_Ordering.OrderingSame()
-return
-}
 }
 {
 const atOrdering_ = ff_compiler_Syntax.ff_core_Ordering_Order$ff_compiler_Syntax_Location.compare_(x_.at_, y_.at_);
@@ -1379,20 +1106,14 @@ return ff_core_Ordering.OrderingSame()
 return
 }
 }
-}
 };
 
 export const ff_core_Ordering_Order$ff_compiler_Unification_InstanceKey = {
 compare_(x_, y_) {
-{
 const x_a = x_;
 const y_a = y_;
-{
-const _guard1 = (x_ === y_);
-if(_guard1) {
+if((x_ === y_)) {
 return ff_core_Ordering.OrderingSame()
-return
-}
 }
 {
 const traitNameOrdering_ = ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String.compare_(x_.traitName_, y_.traitName_);
@@ -1408,18 +1129,12 @@ return ff_core_Ordering.OrderingSame()
 }
 return
 }
-}
 },
 async compare_$(x_, y_, $task) {
-{
 const x_a = x_;
 const y_a = y_;
-{
-const _guard1 = (x_ === y_);
-if(_guard1) {
+if((x_ === y_)) {
 return ff_core_Ordering.OrderingSame()
-return
-}
 }
 {
 const traitNameOrdering_ = ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String.compare_(x_.traitName_, y_.traitName_);
@@ -1436,20 +1151,14 @@ return ff_core_Ordering.OrderingSame()
 return
 }
 }
-}
 };
 
 export const ff_core_Ordering_Order$ff_compiler_Unification_InstanceValue = {
 compare_(x_, y_) {
-{
 const x_a = x_;
 const y_a = y_;
-{
-const _guard1 = (x_ === y_);
-if(_guard1) {
+if((x_ === y_)) {
 return ff_core_Ordering.OrderingSame()
-return
-}
 }
 {
 const genericsOrdering_ = ff_core_Ordering.ff_core_Ordering_Order$ff_core_List_List(ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String).compare_(x_.generics_, y_.generics_);
@@ -1485,18 +1194,12 @@ return ff_core_Ordering.OrderingSame()
 }
 return
 }
-}
 },
 async compare_$(x_, y_, $task) {
-{
 const x_a = x_;
 const y_a = y_;
-{
-const _guard1 = (x_ === y_);
-if(_guard1) {
+if((x_ === y_)) {
 return ff_core_Ordering.OrderingSame()
-return
-}
 }
 {
 const genericsOrdering_ = ff_core_Ordering.ff_core_Ordering_Order$ff_core_List_List(ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String).compare_(x_.generics_, y_.generics_);
@@ -1533,12 +1236,10 @@ return ff_core_Ordering.OrderingSame()
 return
 }
 }
-}
 };
 
 export const ff_core_Serializable_Serializable$ff_compiler_Unification_ConstraintGenerics = {
 serializeUsing_(serialization_, value_) {
-{
 const serialization_a = serialization_;
 const value_a = value_;
 {
@@ -1551,28 +1252,22 @@ ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_Location
 ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_List_List(ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_Type).serializeUsing_(serialization_, v_.generics_)
 return
 }
-}
 },
 deserializeUsing_(serialization_) {
 const variantIndex_ = ff_core_Buffer.Buffer_grabUint8(serialization_.buffer_, serialization_.offset_);
 serialization_.offset_ += 1;
 {
 const _1 = variantIndex_;
-{
 if(_1 === 0) {
 serialization_.checksum_ = ff_core_Int.Int_bitOr(((31 * serialization_.checksum_) + 42), 0);
 return ff_compiler_Unification.ConstraintGenerics(ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_Location.deserializeUsing_(serialization_), ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_List_List(ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_Type).deserializeUsing_(serialization_))
-return
-}
 }
 {
 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)})
-return
 }
 }
 },
 async serializeUsing_$(serialization_, value_, $task) {
-{
 const serialization_a = serialization_;
 const value_a = value_;
 {
@@ -1585,23 +1280,18 @@ ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_Location
 ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_List_List(ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_Type).serializeUsing_(serialization_, v_.generics_)
 return
 }
-}
 },
 async deserializeUsing_$(serialization_, $task) {
 const variantIndex_ = ff_core_Buffer.Buffer_grabUint8(serialization_.buffer_, serialization_.offset_);
 serialization_.offset_ += 1;
 {
 const _1 = variantIndex_;
-{
 if(_1 === 0) {
 serialization_.checksum_ = ff_core_Int.Int_bitOr(((31 * serialization_.checksum_) + 42), 0);
 return ff_compiler_Unification.ConstraintGenerics(ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_Location.deserializeUsing_(serialization_), ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_List_List(ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_Type).deserializeUsing_(serialization_))
-return
-}
 }
 {
 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)})
-return
 }
 }
 }
@@ -1609,7 +1299,6 @@ return
 
 export const ff_core_Serializable_Serializable$ff_compiler_Unification_InstanceKey = {
 serializeUsing_(serialization_, value_) {
-{
 const serialization_a = serialization_;
 const value_a = value_;
 {
@@ -1622,28 +1311,22 @@ ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String.ser
 ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String.serializeUsing_(serialization_, v_.typeName_)
 return
 }
-}
 },
 deserializeUsing_(serialization_) {
 const variantIndex_ = ff_core_Buffer.Buffer_grabUint8(serialization_.buffer_, serialization_.offset_);
 serialization_.offset_ += 1;
 {
 const _1 = variantIndex_;
-{
 if(_1 === 0) {
 serialization_.checksum_ = ff_core_Int.Int_bitOr(((31 * serialization_.checksum_) + 35), 0);
 return ff_compiler_Unification.InstanceKey(ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String.deserializeUsing_(serialization_), ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String.deserializeUsing_(serialization_))
-return
-}
 }
 {
 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)})
-return
 }
 }
 },
 async serializeUsing_$(serialization_, value_, $task) {
-{
 const serialization_a = serialization_;
 const value_a = value_;
 {
@@ -1656,23 +1339,18 @@ ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String.ser
 ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String.serializeUsing_(serialization_, v_.typeName_)
 return
 }
-}
 },
 async deserializeUsing_$(serialization_, $task) {
 const variantIndex_ = ff_core_Buffer.Buffer_grabUint8(serialization_.buffer_, serialization_.offset_);
 serialization_.offset_ += 1;
 {
 const _1 = variantIndex_;
-{
 if(_1 === 0) {
 serialization_.checksum_ = ff_core_Int.Int_bitOr(((31 * serialization_.checksum_) + 35), 0);
 return ff_compiler_Unification.InstanceKey(ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String.deserializeUsing_(serialization_), ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String.deserializeUsing_(serialization_))
-return
-}
 }
 {
 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)})
-return
 }
 }
 }
@@ -1680,7 +1358,6 @@ return
 
 export const ff_core_Serializable_Serializable$ff_compiler_Unification_InstanceValue = {
 serializeUsing_(serialization_, value_) {
-{
 const serialization_a = serialization_;
 const value_a = value_;
 {
@@ -1697,28 +1374,22 @@ ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String.ser
 ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_List_List(ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_Type).serializeUsing_(serialization_, v_.typeArguments_)
 return
 }
-}
 },
 deserializeUsing_(serialization_) {
 const variantIndex_ = ff_core_Buffer.Buffer_grabUint8(serialization_.buffer_, serialization_.offset_);
 serialization_.offset_ += 1;
 {
 const _1 = variantIndex_;
-{
 if(_1 === 0) {
 serialization_.checksum_ = ff_core_Int.Int_bitOr(((31 * serialization_.checksum_) + 37), 0);
 return ff_compiler_Unification.InstanceValue(ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_List_List(ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String).deserializeUsing_(serialization_), ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_List_List(ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_Constraint).deserializeUsing_(serialization_), ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_PackagePair.deserializeUsing_(serialization_), ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String.deserializeUsing_(serialization_), ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String.deserializeUsing_(serialization_), ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_List_List(ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_Type).deserializeUsing_(serialization_))
-return
-}
 }
 {
 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)})
-return
 }
 }
 },
 async serializeUsing_$(serialization_, value_, $task) {
-{
 const serialization_a = serialization_;
 const value_a = value_;
 {
@@ -1735,23 +1406,18 @@ ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String.ser
 ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_List_List(ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_Type).serializeUsing_(serialization_, v_.typeArguments_)
 return
 }
-}
 },
 async deserializeUsing_$(serialization_, $task) {
 const variantIndex_ = ff_core_Buffer.Buffer_grabUint8(serialization_.buffer_, serialization_.offset_);
 serialization_.offset_ += 1;
 {
 const _1 = variantIndex_;
-{
 if(_1 === 0) {
 serialization_.checksum_ = ff_core_Int.Int_bitOr(((31 * serialization_.checksum_) + 37), 0);
 return ff_compiler_Unification.InstanceValue(ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_List_List(ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String).deserializeUsing_(serialization_), ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_List_List(ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_Constraint).deserializeUsing_(serialization_), ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_PackagePair.deserializeUsing_(serialization_), ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String.deserializeUsing_(serialization_), ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_String_String.deserializeUsing_(serialization_), ff_core_Serializable.ff_core_Serializable_Serializable$ff_core_List_List(ff_compiler_Syntax.ff_core_Serializable_Serializable$ff_compiler_Syntax_Type).deserializeUsing_(serialization_))
-return
-}
 }
 {
 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)})
-return
 }
 }
 }