firefly-compiler 0.5.35 → 0.5.37

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

@@ -48,6 +48,8 @@ import * as ff_core_Int from "../../ff/core/Int.mjs"
 
 import * as ff_core_IntMap from "../../ff/core/IntMap.mjs"
 
+import * as ff_core_Js from "../../ff/core/Js.mjs"
+
 import * as ff_core_JsSystem from "../../ff/core/JsSystem.mjs"
 
 import * as ff_core_JsValue from "../../ff/core/JsValue.mjs"
@@ -74,6 +76,8 @@ import * as ff_core_Pair from "../../ff/core/Pair.mjs"
 
 import * as ff_core_Path from "../../ff/core/Path.mjs"
 
+import * as ff_core_Queue from "../../ff/core/Queue.mjs"
+
 import * as ff_core_Random from "../../ff/core/Random.mjs"
 
 import * as ff_core_Serializable from "../../ff/core/Serializable.mjs"
@@ -96,8 +100,6 @@ import * as ff_core_Try from "../../ff/core/Try.mjs"
 
 import * as ff_core_Unit from "../../ff/core/Unit.mjs"
 
-import * as ff_core_UnsafeJs from "../../ff/core/UnsafeJs.mjs"
-
 // type Unification
 export function Unification(substitution_, constraints_, nextUnificationVariableIndex_, instances_, affects_, attemptFixes_) {
 return {substitution_, constraints_, nextUnificationVariableIndex_, instances_, affects_, attemptFixes_};
@@ -126,14 +128,14 @@ throw Object.assign(new Error(), {ffException: ff_core_Any.toAny_(ff_compiler_Sy
 
 export function new_(modules_, attemptFixes_) {
 return ff_compiler_Unification.Unification(ff_core_Map.new_(), ff_core_Map.new_(), 3, ff_core_List.List_toMap(ff_core_List.List_flatMap(modules_, ((module_) => {
-const moduleName_ = ff_core_String.String_dropLast(module_.file_, ff_core_String.String_size(".ff"));
+const moduleName_ = ff_core_String.String_dropLast(module_.file_, ".ff".length);
 return ff_core_List.List_map(module_.instances_, ((definition_) => {
 const typeName_ = (((_1) => {
 if(_1.TConstructor) {
 const name_ = _1.name_;
 return name_
 }
-if(_1.TVariable) {
+{
 const i_ = _1.index_;
 return ff_compiler_Unification.fail_(definition_.at_, ("Unexpected unification variable: $" + i_))
 }
@@ -149,14 +151,14 @@ throw Object.assign(new Error(), {ffException: ff_core_Any.toAny_(ff_compiler_Sy
 
 export async function new_$(modules_, attemptFixes_, $task) {
 return ff_compiler_Unification.Unification(ff_core_Map.new_(), ff_core_Map.new_(), 3, ff_core_List.List_toMap(ff_core_List.List_flatMap(modules_, ((module_) => {
-const moduleName_ = ff_core_String.String_dropLast(module_.file_, ff_core_String.String_size(".ff"));
+const moduleName_ = ff_core_String.String_dropLast(module_.file_, ".ff".length);
 return ff_core_List.List_map(module_.instances_, ((definition_) => {
 const typeName_ = (((_1) => {
 if(_1.TConstructor) {
 const name_ = _1.name_;
 return name_
 }
-if(_1.TVariable) {
+{
 const i_ = _1.index_;
 return ff_compiler_Unification.fail_(definition_.at_, ("Unexpected unification variable: $" + i_))
 }
@@ -195,7 +197,7 @@ if(_1.Some) {
 const t_ = _1.value_;
 return t_
 }
-if(_1.None) {
+{
 return type_
 }
 }
@@ -218,7 +220,7 @@ const t_ = _guard1.value_;
 return ff_compiler_Unification.Unification_instantiate(self_, instantiation_, t_)
 }
 }
-if(type_a.TVariable) {
+{
 const i_ = type_a.index_;
 return type_
 }
@@ -259,7 +261,7 @@ 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);
@@ -268,16 +270,13 @@ const newMap_ = ff_core_Map.Map_add(map_, constraintName_, ff_compiler_Unificati
 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) => {
 {
-const t1_ = _1.first_;
-const t2_ = _1.second_;
+const generics2_ = _1.value_.generics_;
+for(let for_a = generics_, for_i = 0, for_l = for_a.length, for_a2 = generics2_, for_i2 = 0, for_l2 = for_a2.length; for_i < for_l && for_i2 < for_l2; for_i++, for_i2++) {
+const t1_ = for_a[for_i];
+const t2_ = for_a2[for_i2];
 ff_compiler_Unification.Unification_unify(self_, at_, t1_, t2_)
-return
 }
-}))
 return
 }
 }
@@ -286,7 +285,7 @@ return
 }
 return
 }
-if(_1.TConstructor) {
+{
 const name_ = _1.name_;
 const generics2_ = _1.generics_;
 {
@@ -303,7 +302,7 @@ 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_, ((_) => {
 return ff_compiler_Unification.Unification_freshUnificationVariable(self_, at_)
@@ -312,7 +311,7 @@ const instantiation_ = ff_core_List.List_toMap(ff_core_List.List_zip(definition_
 const traitType1_ = ff_compiler_Unification.Unification_instantiate(self_, instantiation_, ff_compiler_Syntax.TConstructor(at_, definition_.traitName_, definition_.typeArguments_));
 const traitType2_ = ff_compiler_Syntax.TConstructor(at_, constraintName_, [type_, ...generics_]);
 ff_compiler_Unification.Unification_unify(self_, at_, traitType1_, traitType2_);
-for(let for_i = 0, for_a = definition_.constraints_, for_l = for_a.length; for_i < for_l; for_i++) {
+for(let for_a = definition_.constraints_, for_i = 0, for_l = for_a.length; for_i < for_l; for_i++) {
 const constraint_ = for_a[for_i];
 do {
 const _1 = ff_compiler_Unification.Unification_instantiateConstraint(self_, instantiation_, constraint_);
@@ -320,7 +319,6 @@ const _1 = ff_compiler_Unification.Unification_instantiateConstraint(self_, inst
 const constraintName_ = _1.name_;
 const newGenerics_ = _1.generics_;
 ff_compiler_Unification.Unification_constrain(self_, at_, ff_core_List.List_grabFirst(newGenerics_), constraintName_, ff_core_List.List_dropFirst(newGenerics_, 1))
-break
 }
 } while(false)
 }
@@ -364,7 +362,7 @@ return ff_compiler_Unification.Unification_substitute(self_, t_)
 if(type_a.TVariable) {
 return type_
 }
-if(type_a.TConstructor) {
+{
 const t_ = type_a;
 {
 const _1 = t_;
@@ -421,7 +419,7 @@ const i_ = t2_a.index_;
 ff_compiler_Unification.Unification_bind(self_, at_, i_, t1_)
 return
 }
-if(t1_a.TConstructor && t2_a.TConstructor) {
+{
 const name1_ = t1_a.name_;
 const generics1_ = t1_a.generics_;
 const name2_ = t2_a.name_;
@@ -432,32 +430,23 @@ const t3_ = ff_compiler_Unification.Unification_substitute(self_, t1_);
 const t4_ = ff_compiler_Unification.Unification_substitute(self_, t2_);
 throw Object.assign(new Error(), {ffException: ff_core_Any.toAny_(ff_compiler_Syntax.CompileError(at_, ((("Type mismatch: " + ff_compiler_Syntax.Type_show(t3_, [t3_, t4_])) + " vs. ") + ff_compiler_Syntax.Type_show(t4_, [t3_, t4_]))), ff_compiler_Syntax.ff_core_Any_HasAnyTag$ff_compiler_Syntax_CompileError)})
 } else if((ff_core_String.String_startsWith(name1_, "Function$", 0) && ff_core_String.String_startsWith(name2_, "Function$", 0))) {
-ff_core_List.List_each(ff_core_List.List_zip(ff_core_List.List_dropLast(generics1_, 1), ff_core_List.List_dropLast(generics2_, 1)), ((_1) => {
-{
-const t3_ = _1.first_;
-const t4_ = _1.second_;
+for(let for_a = generics1_, for_i = 0, for_l = for_a.length - 1, for_a2 = generics2_, for_i2 = 0, for_l2 = for_a2.length - 1; for_i < for_l && for_i2 < for_l2; for_i++, for_i2++) {
+const t3_ = for_a[for_i];
+const t4_ = for_a2[for_i2];
 ff_compiler_Unification.Unification_unify(self_, at_, t3_, t4_)
-return
-}
-}));
-ff_core_List.List_each(ff_core_List.List_zip(ff_core_List.List_takeLast(generics1_, 1), ff_core_List.List_takeLast(generics2_, 1)), ((_1) => {
-{
-const t3_ = _1.first_;
-const t4_ = _1.second_;
+};
+for(let for_a = generics1_, for_i = Math.max(for_a.length - 1, 0), for_l = for_a.length, for_a2 = generics2_, for_i2 = Math.max(for_a2.length - 1, 0), for_l2 = for_a2.length; for_i < for_l && for_i2 < for_l2; for_i++, for_i2++) {
+const t3_ = for_a[for_i];
+const t4_ = for_a2[for_i2];
 ff_compiler_Unification.Unification_unify(self_, at_, t3_, t4_)
-return
 }
-}))
 } else {}
 } else {
-ff_core_List.List_each(ff_core_List.List_zip(generics1_, generics2_), ((_1) => {
-{
-const t1_ = _1.first_;
-const t2_ = _1.second_;
+for(let for_a = generics1_, for_i = 0, for_l = for_a.length, for_a2 = generics2_, for_i2 = 0, for_l2 = for_a2.length; for_i < for_l && for_i2 < for_l2; for_i++, for_i2++) {
+const t1_ = for_a[for_i];
+const t2_ = for_a2[for_i2];
 ff_compiler_Unification.Unification_unify(self_, at_, t1_, t2_)
-return
 }
-}))
 }
 return
 }
@@ -469,8 +458,10 @@ const t_ = ff_compiler_Unification.Unification_substitute(self_, type_);
 throw Object.assign(new Error(), {ffException: ff_core_Any.toAny_(ff_compiler_Syntax.CompileError(at_, ((("Infinite type: " + ff_compiler_Syntax.Type_show(ff_compiler_Syntax.TVariable(at_, index_), [t_])) + " = ") + ff_compiler_Syntax.Type_show(t_, []))), ff_compiler_Syntax.ff_core_Any_HasAnyTag$ff_compiler_Syntax_CompileError)})
 };
 self_.substitution_ = ff_core_Map.Map_add(self_.substitution_, index_, type_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int);
-for(const for_o = ff_core_Map.Map_get(self_.constraints_, index_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int); for_o.Some;) {
-const map_ = for_o.value_;
+{
+const if_o = ff_core_Map.Map_get(self_.constraints_, index_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int)
+if(if_o.Some) {
+const map_ = if_o.value_;
 self_.constraints_ = ff_core_Map.Map_remove(self_.constraints_, index_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int);
 ff_core_List.List_each(ff_core_Map.Map_pairs(map_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String), ((_1) => {
 {
@@ -481,15 +472,17 @@ ff_compiler_Unification.Unification_constrain(self_, at2_, type_, name_, generic
 return
 }
 }))
-break
+}
 };
-for(const for_o = ff_core_Map.Map_get(self_.affects_, index_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int); for_o.Some;) {
-const affected_ = for_o.value_;
+{
+const if_o = ff_core_Map.Map_get(self_.affects_, index_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int)
+if(if_o.Some) {
+const affected_ = if_o.value_;
 ff_core_Map.Map_remove(self_.affects_, index_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int);
 ff_core_Set.Set_each(affected_, ((i_) => {
 ff_compiler_Unification.Unification_affect(self_, at_, type_, ff_compiler_Syntax.TVariable(at_, i_))
 }), ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int)
-break
+}
 }
 }
 
@@ -538,7 +531,7 @@ if(t_a.TVariable) {
 const i_ = t_a.index_;
 return (i_ === index_)
 }
-if(t_a.TConstructor) {
+{
 const generics_ = t_a.generics_;
 return ff_core_List.List_any(generics_, ((t_) => {
 return ff_compiler_Unification.Unification_occursIn(self_, index_, t_)
@@ -576,7 +569,7 @@ if(_1.Some) {
 const t_ = _1.value_;
 return t_
 }
-if(_1.None) {
+{
 return type_
 }
 }
@@ -599,7 +592,7 @@ const t_ = _guard1.value_;
 return ff_compiler_Unification.Unification_instantiate(self_, instantiation_, t_)
 }
 }
-if(type_a.TVariable) {
+{
 const i_ = type_a.index_;
 return type_
 }
@@ -640,7 +633,7 @@ 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);
@@ -649,16 +642,13 @@ const newMap_ = ff_core_Map.Map_add(map_, constraintName_, ff_compiler_Unificati
 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) => {
 {
-const t1_ = _1.first_;
-const t2_ = _1.second_;
+const generics2_ = _1.value_.generics_;
+for(let for_a = generics_, for_i = 0, for_l = for_a.length, for_a2 = generics2_, for_i2 = 0, for_l2 = for_a2.length; for_i < for_l && for_i2 < for_l2; for_i++, for_i2++) {
+const t1_ = for_a[for_i];
+const t2_ = for_a2[for_i2];
 ff_compiler_Unification.Unification_unify(self_, at_, t1_, t2_)
-return
 }
-}))
 return
 }
 }
@@ -667,7 +657,7 @@ return
 }
 return
 }
-if(_1.TConstructor) {
+{
 const name_ = _1.name_;
 const generics2_ = _1.generics_;
 {
@@ -684,7 +674,7 @@ 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_, ((_) => {
 return ff_compiler_Unification.Unification_freshUnificationVariable(self_, at_)
@@ -693,7 +683,7 @@ const instantiation_ = ff_core_List.List_toMap(ff_core_List.List_zip(definition_
 const traitType1_ = ff_compiler_Unification.Unification_instantiate(self_, instantiation_, ff_compiler_Syntax.TConstructor(at_, definition_.traitName_, definition_.typeArguments_));
 const traitType2_ = ff_compiler_Syntax.TConstructor(at_, constraintName_, [type_, ...generics_]);
 ff_compiler_Unification.Unification_unify(self_, at_, traitType1_, traitType2_);
-for(let for_i = 0, for_a = definition_.constraints_, for_l = for_a.length; for_i < for_l; for_i++) {
+for(let for_a = definition_.constraints_, for_i = 0, for_l = for_a.length; for_i < for_l; for_i++) {
 const constraint_ = for_a[for_i];
 do {
 const _1 = ff_compiler_Unification.Unification_instantiateConstraint(self_, instantiation_, constraint_);
@@ -701,7 +691,6 @@ const _1 = ff_compiler_Unification.Unification_instantiateConstraint(self_, inst
 const constraintName_ = _1.name_;
 const newGenerics_ = _1.generics_;
 ff_compiler_Unification.Unification_constrain(self_, at_, ff_core_List.List_grabFirst(newGenerics_), constraintName_, ff_core_List.List_dropFirst(newGenerics_, 1))
-break
 }
 } while(false)
 }
@@ -745,7 +734,7 @@ return ff_compiler_Unification.Unification_substitute(self_, t_)
 if(type_a.TVariable) {
 return type_
 }
-if(type_a.TConstructor) {
+{
 const t_ = type_a;
 {
 const _1 = t_;
@@ -802,7 +791,7 @@ const i_ = t2_a.index_;
 ff_compiler_Unification.Unification_bind(self_, at_, i_, t1_)
 return
 }
-if(t1_a.TConstructor && t2_a.TConstructor) {
+{
 const name1_ = t1_a.name_;
 const generics1_ = t1_a.generics_;
 const name2_ = t2_a.name_;
@@ -813,32 +802,23 @@ const t3_ = ff_compiler_Unification.Unification_substitute(self_, t1_);
 const t4_ = ff_compiler_Unification.Unification_substitute(self_, t2_);
 throw Object.assign(new Error(), {ffException: ff_core_Any.toAny_(ff_compiler_Syntax.CompileError(at_, ((("Type mismatch: " + ff_compiler_Syntax.Type_show(t3_, [t3_, t4_])) + " vs. ") + ff_compiler_Syntax.Type_show(t4_, [t3_, t4_]))), ff_compiler_Syntax.ff_core_Any_HasAnyTag$ff_compiler_Syntax_CompileError)})
 } else if((ff_core_String.String_startsWith(name1_, "Function$", 0) && ff_core_String.String_startsWith(name2_, "Function$", 0))) {
-ff_core_List.List_each(ff_core_List.List_zip(ff_core_List.List_dropLast(generics1_, 1), ff_core_List.List_dropLast(generics2_, 1)), ((_1) => {
-{
-const t3_ = _1.first_;
-const t4_ = _1.second_;
+for(let for_a = generics1_, for_i = 0, for_l = for_a.length - 1, for_a2 = generics2_, for_i2 = 0, for_l2 = for_a2.length - 1; for_i < for_l && for_i2 < for_l2; for_i++, for_i2++) {
+const t3_ = for_a[for_i];
+const t4_ = for_a2[for_i2];
 ff_compiler_Unification.Unification_unify(self_, at_, t3_, t4_)
-return
-}
-}));
-ff_core_List.List_each(ff_core_List.List_zip(ff_core_List.List_takeLast(generics1_, 1), ff_core_List.List_takeLast(generics2_, 1)), ((_1) => {
-{
-const t3_ = _1.first_;
-const t4_ = _1.second_;
+};
+for(let for_a = generics1_, for_i = Math.max(for_a.length - 1, 0), for_l = for_a.length, for_a2 = generics2_, for_i2 = Math.max(for_a2.length - 1, 0), for_l2 = for_a2.length; for_i < for_l && for_i2 < for_l2; for_i++, for_i2++) {
+const t3_ = for_a[for_i];
+const t4_ = for_a2[for_i2];
 ff_compiler_Unification.Unification_unify(self_, at_, t3_, t4_)
-return
 }
-}))
 } else {}
 } else {
-ff_core_List.List_each(ff_core_List.List_zip(generics1_, generics2_), ((_1) => {
-{
-const t1_ = _1.first_;
-const t2_ = _1.second_;
+for(let for_a = generics1_, for_i = 0, for_l = for_a.length, for_a2 = generics2_, for_i2 = 0, for_l2 = for_a2.length; for_i < for_l && for_i2 < for_l2; for_i++, for_i2++) {
+const t1_ = for_a[for_i];
+const t2_ = for_a2[for_i2];
 ff_compiler_Unification.Unification_unify(self_, at_, t1_, t2_)
-return
 }
-}))
 }
 return
 }
@@ -850,8 +830,10 @@ const t_ = ff_compiler_Unification.Unification_substitute(self_, type_);
 throw Object.assign(new Error(), {ffException: ff_core_Any.toAny_(ff_compiler_Syntax.CompileError(at_, ((("Infinite type: " + ff_compiler_Syntax.Type_show(ff_compiler_Syntax.TVariable(at_, index_), [t_])) + " = ") + ff_compiler_Syntax.Type_show(t_, []))), ff_compiler_Syntax.ff_core_Any_HasAnyTag$ff_compiler_Syntax_CompileError)})
 };
 self_.substitution_ = ff_core_Map.Map_add(self_.substitution_, index_, type_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int);
-for(const for_o = ff_core_Map.Map_get(self_.constraints_, index_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int); for_o.Some;) {
-const map_ = for_o.value_;
+{
+const if_o = ff_core_Map.Map_get(self_.constraints_, index_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int)
+if(if_o.Some) {
+const map_ = if_o.value_;
 self_.constraints_ = ff_core_Map.Map_remove(self_.constraints_, index_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int);
 ff_core_List.List_each(ff_core_Map.Map_pairs(map_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_String_String), ((_1) => {
 {
@@ -862,15 +844,17 @@ ff_compiler_Unification.Unification_constrain(self_, at2_, type_, name_, generic
 return
 }
 }))
-break
+}
 };
-for(const for_o = ff_core_Map.Map_get(self_.affects_, index_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int); for_o.Some;) {
-const affected_ = for_o.value_;
+{
+const if_o = ff_core_Map.Map_get(self_.affects_, index_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int)
+if(if_o.Some) {
+const affected_ = if_o.value_;
 ff_core_Map.Map_remove(self_.affects_, index_, ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int);
 ff_core_Set.Set_each(affected_, ((i_) => {
 ff_compiler_Unification.Unification_affect(self_, at_, type_, ff_compiler_Syntax.TVariable(at_, i_))
 }), ff_core_Ordering.ff_core_Ordering_Order$ff_core_Int_Int)
-break
+}
 }
 }
 
@@ -919,7 +903,7 @@ if(t_a.TVariable) {
 const i_ = t_a.index_;
 return (i_ === index_)
 }
-if(t_a.TConstructor) {
+{
 const generics_ = t_a.generics_;
 return ff_core_List.List_any(generics_, ((t_) => {
 return ff_compiler_Unification.Unification_occursIn(self_, index_, t_)

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

@@ -46,6 +46,8 @@ import * as ff_core_Int from "../../ff/core/Int.mjs"
 
 import * as ff_core_IntMap from "../../ff/core/IntMap.mjs"
 
+import * as ff_core_Js from "../../ff/core/Js.mjs"
+
 import * as ff_core_JsSystem from "../../ff/core/JsSystem.mjs"
 
 import * as ff_core_JsValue from "../../ff/core/JsValue.mjs"
@@ -72,6 +74,8 @@ import * as ff_core_Pair from "../../ff/core/Pair.mjs"
 
 import * as ff_core_Path from "../../ff/core/Path.mjs"
 
+import * as ff_core_Queue from "../../ff/core/Queue.mjs"
+
 import * as ff_core_Random from "../../ff/core/Random.mjs"
 
 import * as ff_core_Serializable from "../../ff/core/Serializable.mjs"
@@ -94,8 +98,6 @@ import * as ff_core_Try from "../../ff/core/Try.mjs"
 
 import * as ff_core_Unit from "../../ff/core/Unit.mjs"
 
-import * as ff_core_UnsafeJs from "../../ff/core/UnsafeJs.mjs"
-
 // type Wildcards
 export function Wildcards(seenWildcards_) {
 return {seenWildcards_};

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

@@ -46,6 +46,8 @@ import * as ff_core_Int from "../../ff/core/Int.mjs"
 
 import * as ff_core_IntMap from "../../ff/core/IntMap.mjs"
 
+import * as ff_core_Js from "../../ff/core/Js.mjs"
+
 import * as ff_core_JsSystem from "../../ff/core/JsSystem.mjs"
 
 import * as ff_core_JsValue from "../../ff/core/JsValue.mjs"
@@ -72,6 +74,8 @@ import * as ff_core_Pair from "../../ff/core/Pair.mjs"
 
 import * as ff_core_Path from "../../ff/core/Path.mjs"
 
+import * as ff_core_Queue from "../../ff/core/Queue.mjs"
+
 import * as ff_core_Random from "../../ff/core/Random.mjs"
 
 import * as ff_core_Serializable from "../../ff/core/Serializable.mjs"
@@ -94,8 +98,6 @@ import * as ff_core_Try from "../../ff/core/Try.mjs"
 
 import * as ff_core_Unit from "../../ff/core/Unit.mjs"
 
-import * as ff_core_UnsafeJs from "../../ff/core/UnsafeJs.mjs"
-
 // type Workspace
 export function Workspace(rules_, defaultLocation_, packageDirectory_) {
 return {rules_, defaultLocation_, packageDirectory_};
@@ -130,21 +132,23 @@ return ff_core_String.String_takeWhile(ff_core_String.String_replace(_w1, "\r",
 return (_w1 !== 35)
 }))
 })), ((_w1) => {
-return (ff_core_String.String_size(_w1) !== 0)
+return (_w1.length !== 0)
 }));
 const rules_ = ff_core_List.List_collect(lines_, ((line_) => {
 const columns_ = ff_core_List.List_filter(ff_core_String.String_split(ff_core_String.String_replace(line_, "\t", " "), 32), ((_w1) => {
-return (ff_core_String.String_size(_w1) !== 0)
+return (_w1.length !== 0)
 }));
-for(const for_o = defaultLocation_; for_o.Some;) {
+{
+const if_o = defaultLocation_
+if(if_o.Some) {
 ff_core_Core.panic_(("Unexpected rule after the * rule: " + line_))
-break
+}
 };
 if((columns_.length !== 2)) {
 ff_core_Core.panic_(("Could not parse workspace rule: " + line_))
 };
-const package_ = (columns_[0] ?? ff_core_List.internalGrab_(columns_, 0));
-const location_ = (columns_[1] ?? ff_core_List.internalGrab_(columns_, 1));
+const package_ = (columns_[0] ?? ff_core_List.List_grab(columns_, 0));
+const location_ = (columns_[1] ?? ff_core_List.List_grab(columns_, 1));
 const fixedLocation_ = (ff_core_String.String_endsWith(location_, "/")
 ? location_
 : (location_ + "/"));
@@ -156,11 +160,11 @@ const packageParts_ = ff_core_String.String_split(package_, 58);
 if((packageParts_.length !== 2)) {
 ff_core_Core.panic_(("Could not parse workspace package: " + package_))
 };
-if(((packageParts_[0] ?? ff_core_List.internalGrab_(packageParts_, 0)) === "*")) {
+if(((packageParts_[0] ?? ff_core_List.List_grab(packageParts_, 0)) === "*")) {
 ff_core_Core.panic_(("Unexpected wildcard: " + package_))
 };
-return ff_core_Option.Some(ff_compiler_Workspace.WorkspaceRule((packageParts_[0] ?? ff_core_List.internalGrab_(packageParts_, 0)), (((packageParts_[1] ?? ff_core_List.internalGrab_(packageParts_, 1)) !== "*")
-? ff_core_Option.Some((packageParts_[1] ?? ff_core_List.internalGrab_(packageParts_, 1)))
+return ff_core_Option.Some(ff_compiler_Workspace.WorkspaceRule((packageParts_[0] ?? ff_core_List.List_grab(packageParts_, 0)), (((packageParts_[1] ?? ff_core_List.List_grab(packageParts_, 1)) !== "*")
+? ff_core_Option.Some((packageParts_[1] ?? ff_core_List.List_grab(packageParts_, 1)))
 : ff_core_Option.None()), fixedLocation_))
 }
 }));
@@ -195,21 +199,23 @@ return ff_core_String.String_takeWhile(ff_core_String.String_replace(_w1, "\r",
 return (_w1 !== 35)
 }))
 })), ((_w1) => {
-return (ff_core_String.String_size(_w1) !== 0)
+return (_w1.length !== 0)
 }));
 const rules_ = ff_core_List.List_collect(lines_, ((line_) => {
 const columns_ = ff_core_List.List_filter(ff_core_String.String_split(ff_core_String.String_replace(line_, "\t", " "), 32), ((_w1) => {
-return (ff_core_String.String_size(_w1) !== 0)
+return (_w1.length !== 0)
 }));
-for(const for_o = defaultLocation_; for_o.Some;) {
+{
+const if_o = defaultLocation_
+if(if_o.Some) {
 ff_core_Core.panic_(("Unexpected rule after the * rule: " + line_))
-break
+}
 };
 if((columns_.length !== 2)) {
 ff_core_Core.panic_(("Could not parse workspace rule: " + line_))
 };
-const package_ = (columns_[0] ?? ff_core_List.internalGrab_(columns_, 0));
-const location_ = (columns_[1] ?? ff_core_List.internalGrab_(columns_, 1));
+const package_ = (columns_[0] ?? ff_core_List.List_grab(columns_, 0));
+const location_ = (columns_[1] ?? ff_core_List.List_grab(columns_, 1));
 const fixedLocation_ = (ff_core_String.String_endsWith(location_, "/")
 ? location_
 : (location_ + "/"));
@@ -221,11 +227,11 @@ const packageParts_ = ff_core_String.String_split(package_, 58);
 if((packageParts_.length !== 2)) {
 ff_core_Core.panic_(("Could not parse workspace package: " + package_))
 };
-if(((packageParts_[0] ?? ff_core_List.internalGrab_(packageParts_, 0)) === "*")) {
+if(((packageParts_[0] ?? ff_core_List.List_grab(packageParts_, 0)) === "*")) {
 ff_core_Core.panic_(("Unexpected wildcard: " + package_))
 };
-return ff_core_Option.Some(ff_compiler_Workspace.WorkspaceRule((packageParts_[0] ?? ff_core_List.internalGrab_(packageParts_, 0)), (((packageParts_[1] ?? ff_core_List.internalGrab_(packageParts_, 1)) !== "*")
-? ff_core_Option.Some((packageParts_[1] ?? ff_core_List.internalGrab_(packageParts_, 1)))
+return ff_core_Option.Some(ff_compiler_Workspace.WorkspaceRule((packageParts_[0] ?? ff_core_List.List_grab(packageParts_, 0)), (((packageParts_[1] ?? ff_core_List.List_grab(packageParts_, 1)) !== "*")
+? ff_core_Option.Some((packageParts_[1] ?? ff_core_List.List_grab(packageParts_, 1)))
 : ff_core_Option.None()), fixedLocation_))
 }
 }));

package/output/js/ff/core/Any.mjs

@@ -42,6 +42,8 @@ import * as ff_core_Int from "../../ff/core/Int.mjs"
 
 import * as ff_core_IntMap from "../../ff/core/IntMap.mjs"
 
+import * as ff_core_Js from "../../ff/core/Js.mjs"
+
 import * as ff_core_JsSystem from "../../ff/core/JsSystem.mjs"
 
 import * as ff_core_JsValue from "../../ff/core/JsValue.mjs"
@@ -68,6 +70,8 @@ import * as ff_core_Pair from "../../ff/core/Pair.mjs"
 
 import * as ff_core_Path from "../../ff/core/Path.mjs"
 
+import * as ff_core_Queue from "../../ff/core/Queue.mjs"
+
 import * as ff_core_Random from "../../ff/core/Random.mjs"
 
 import * as ff_core_Serializable from "../../ff/core/Serializable.mjs"
@@ -90,8 +94,6 @@ import * as ff_core_Try from "../../ff/core/Try.mjs"
 
 import * as ff_core_Unit from "../../ff/core/Unit.mjs"
 
-import * as ff_core_UnsafeJs from "../../ff/core/UnsafeJs.mjs"
-
 // type Any
 
 
@@ -101,45 +103,43 @@ import * as ff_core_UnsafeJs from "../../ff/core/UnsafeJs.mjs"
 
 
 export function toAny_(value_, ff_core_Any_HasAnyTag$T) {
-
-        const anyTag = ff_core_Any_HasAnyTag$T.anyTag_()
-        return {anyTag: anyTag, value: value_}
-    
+const anyTag_ = ff_core_Any_HasAnyTag$T.anyTag_();
+return {anyTag: anyTag_, value: value_}
 }
 
 export function fromAny_(any_, ff_core_Any_HasAnyTag$T) {
-
-        const anyTag = ff_core_Any_HasAnyTag$T.anyTag_()
-        return any_.anyTag === anyTag ? ff_core_Option.Some(any_.value) : ff_core_Option.None()
-    
+const anyTag_ = ff_core_Any_HasAnyTag$T.anyTag_();
+if((any_.anyTag === anyTag_)) {
+return ff_core_Option.Some(any_.value)
+} else return ff_core_Option.None()
 }
 
 export function internalAnyTag_(tag_) {
-
-        return tag_
-    
+return tag_
 }
 
 export async function toAny_$(value_, ff_core_Any_HasAnyTag$T, $task) {
-throw new Error('Function toAny is missing on this target in async context.');
+const anyTag_ = ff_core_Any_HasAnyTag$T.anyTag_();
+return {anyTag: anyTag_, value: value_}
 }
 
 export async function fromAny_$(any_, ff_core_Any_HasAnyTag$T, $task) {
-throw new Error('Function fromAny is missing on this target in async context.');
+const anyTag_ = ff_core_Any_HasAnyTag$T.anyTag_();
+if((any_.anyTag === anyTag_)) {
+return ff_core_Option.Some(any_.value)
+} else return ff_core_Option.None()
 }
 
 export async function internalAnyTag_$(tag_, $task) {
-throw new Error('Function internalAnyTag is missing on this target in async context.');
+return tag_
 }
 
 export function AnyTag_show(self_) {
-
-            return self_
-        
+return self_
 }
 
 export async function AnyTag_show$(self_, $task) {
-throw new Error('Function AnyTag_show is missing on this target in async context.');
+return self_
 }