npm - firefly-compiler - Versions diffs - 0.4.5 → 0.4.6 - Mend

firefly-compiler 0.4.5 → 0.4.6

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (78) hide show

package/.hintrc +4 -4
package/README.md +1 -1
package/core/HttpClient.ff +1 -1
package/lsp/LanguageServer.ff +32 -7
package/lsp/stderr.txt +1 -0
package/lsp/stdin.txt +11 -0
package/lsp/stdout.txt +41 -0
package/lux/Main.ff +56 -2
package/meetup/AutoCompletion.ff +6 -0
package/output/js/ff/compiler/Builder.mjs +444 -444
package/output/js/ff/compiler/Compiler.mjs +416 -416
package/output/js/ff/compiler/Dependencies.mjs +389 -389
package/output/js/ff/compiler/Deriver.mjs +1170 -1170
package/output/js/ff/compiler/Dictionaries.mjs +1309 -1309
package/output/js/ff/compiler/Environment.mjs +1015 -1015
package/output/js/ff/compiler/Inference.mjs +4268 -4268
package/output/js/ff/compiler/JsEmitter.mjs +5391 -5391
package/output/js/ff/compiler/JsImporter.mjs +266 -266
package/output/js/ff/compiler/LspHook.mjs +793 -793
package/output/js/ff/compiler/Main.mjs +1675 -1675
package/output/js/ff/compiler/Parser.mjs +4008 -4008
package/output/js/ff/compiler/Patterns.mjs +927 -927
package/output/js/ff/compiler/Resolver.mjs +2307 -2307
package/output/js/ff/compiler/Substitution.mjs +1150 -1150
package/output/js/ff/compiler/Syntax.mjs +12434 -12434
package/output/js/ff/compiler/Token.mjs +3096 -3096
package/output/js/ff/compiler/Tokenizer.mjs +593 -593
package/output/js/ff/compiler/Unification.mjs +1752 -1752
package/output/js/ff/compiler/Wildcards.mjs +608 -608
package/output/js/ff/compiler/Workspace.mjs +687 -687
package/output/js/ff/core/Any.mjs +143 -143
package/output/js/ff/core/Array.mjs +547 -547
package/output/js/ff/core/AssetSystem.mjs +274 -274
package/output/js/ff/core/Atomic.mjs +154 -154
package/output/js/ff/core/Bool.mjs +152 -152
package/output/js/ff/core/Box.mjs +112 -112
package/output/js/ff/core/BrowserSystem.mjs +126 -126
package/output/js/ff/core/Buffer.mjs +395 -395
package/output/js/ff/core/BuildSystem.mjs +296 -296
package/output/js/ff/core/Channel.mjs +189 -189
package/output/js/ff/core/Char.mjs +149 -149
package/output/js/ff/core/Core.mjs +300 -300
package/output/js/ff/core/Duration.mjs +116 -116
package/output/js/ff/core/Equal.mjs +179 -179
package/output/js/ff/core/Error.mjs +142 -142
package/output/js/ff/core/FileHandle.mjs +150 -150
package/output/js/ff/core/Float.mjs +225 -225
package/output/js/ff/core/HttpClient.mjs +190 -190
package/output/js/ff/core/Instant.mjs +109 -109
package/output/js/ff/core/Int.mjs +265 -265
package/output/js/ff/core/IntMap.mjs +280 -280
package/output/js/ff/core/JsSystem.mjs +238 -238
package/output/js/ff/core/JsValue.mjs +708 -708
package/output/js/ff/core/List.mjs +2334 -2334
package/output/js/ff/core/Lock.mjs +229 -229
package/output/js/ff/core/Log.mjs +163 -163
package/output/js/ff/core/Map.mjs +362 -362
package/output/js/ff/core/NodeSystem.mjs +294 -294
package/output/js/ff/core/Nothing.mjs +104 -104
package/output/js/ff/core/Option.mjs +1015 -1015
package/output/js/ff/core/Ordering.mjs +730 -730
package/output/js/ff/core/Pair.mjs +331 -331
package/output/js/ff/core/Path.mjs +545 -545
package/output/js/ff/core/RbMap.mjs +1940 -1940
package/output/js/ff/core/Serializable.mjs +428 -428
package/output/js/ff/core/Set.mjs +254 -254
package/output/js/ff/core/Show.mjs +205 -205
package/output/js/ff/core/SourceLocation.mjs +229 -229
package/output/js/ff/core/Stack.mjs +529 -529
package/output/js/ff/core/Stream.mjs +1304 -1304
package/output/js/ff/core/String.mjs +365 -365
package/output/js/ff/core/StringMap.mjs +280 -280
package/output/js/ff/core/Task.mjs +320 -320
package/output/js/ff/core/Try.mjs +507 -507
package/output/js/ff/core/Unit.mjs +151 -151
package/package.json +29 -29
package/vscode/package-lock.json +5 -5
package/vscode/package.json +1 -1

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

@@ -1,608 +1,608 @@
-import * as ff_compiler_Wildcards from "../../ff/compiler/Wildcards.mjs"
-import * as ff_compiler_Syntax from "../../ff/compiler/Syntax.mjs"
-import * as ff_core_Any from "../../ff/core/Any.mjs"
-import * as ff_core_Array from "../../ff/core/Array.mjs"
-import * as ff_core_AssetSystem from "../../ff/core/AssetSystem.mjs"
-import * as ff_core_Atomic from "../../ff/core/Atomic.mjs"
-import * as ff_core_Bool from "../../ff/core/Bool.mjs"
-import * as ff_core_Box from "../../ff/core/Box.mjs"
-import * as ff_core_BrowserSystem from "../../ff/core/BrowserSystem.mjs"
-import * as ff_core_Buffer from "../../ff/core/Buffer.mjs"
-import * as ff_core_BuildSystem from "../../ff/core/BuildSystem.mjs"
-import * as ff_core_Channel from "../../ff/core/Channel.mjs"
-import * as ff_core_Char from "../../ff/core/Char.mjs"
-import * as ff_core_Core from "../../ff/core/Core.mjs"
-import * as ff_core_Duration from "../../ff/core/Duration.mjs"
-import * as ff_core_Equal from "../../ff/core/Equal.mjs"
-import * as ff_core_Error from "../../ff/core/Error.mjs"
-import * as ff_core_FileHandle from "../../ff/core/FileHandle.mjs"
-import * as ff_core_Float from "../../ff/core/Float.mjs"
-import * as ff_core_HttpClient from "../../ff/core/HttpClient.mjs"
-import * as ff_core_Instant from "../../ff/core/Instant.mjs"
-import * as ff_core_Int from "../../ff/core/Int.mjs"
-import * as ff_core_IntMap from "../../ff/core/IntMap.mjs"
-import * as ff_core_JsSystem from "../../ff/core/JsSystem.mjs"
-import * as ff_core_JsValue from "../../ff/core/JsValue.mjs"
-import * as ff_core_List from "../../ff/core/List.mjs"
-import * as ff_core_Lock from "../../ff/core/Lock.mjs"
-import * as ff_core_Log from "../../ff/core/Log.mjs"
-import * as ff_core_Map from "../../ff/core/Map.mjs"
-import * as ff_core_NodeSystem from "../../ff/core/NodeSystem.mjs"
-import * as ff_core_Nothing from "../../ff/core/Nothing.mjs"
-import * as ff_core_Option from "../../ff/core/Option.mjs"
-import * as ff_core_Ordering from "../../ff/core/Ordering.mjs"
-import * as ff_core_Pair from "../../ff/core/Pair.mjs"
-import * as ff_core_Path from "../../ff/core/Path.mjs"
-import * as ff_core_Serializable from "../../ff/core/Serializable.mjs"
-import * as ff_core_Set from "../../ff/core/Set.mjs"
-import * as ff_core_Show from "../../ff/core/Show.mjs"
-import * as ff_core_SourceLocation from "../../ff/core/SourceLocation.mjs"
-import * as ff_core_Stack from "../../ff/core/Stack.mjs"
-import * as ff_core_Stream from "../../ff/core/Stream.mjs"
-import * as ff_core_String from "../../ff/core/String.mjs"
-import * as ff_core_StringMap from "../../ff/core/StringMap.mjs"
-import * as ff_core_Task from "../../ff/core/Task.mjs"
-import * as ff_core_Try from "../../ff/core/Try.mjs"
-import * as ff_core_Unit from "../../ff/core/Unit.mjs"
-// type Wildcards
-export function Wildcards(seenWildcards_) {
-return {seenWildcards_};
-}
-export function make_() {
-return ff_compiler_Wildcards.Wildcards(0)
-}
-export function fail_(at_, message_) {
-return ff_core_Core.panic_(((message_ + " ") + ff_compiler_Syntax.Location_show(at_)))
-}
-export async function make_$($task) {
-return ff_compiler_Wildcards.Wildcards(0)
-}
-export async function fail_$(at_, message_, $task) {
-return ff_core_Core.panic_(((message_ + " ") + ff_compiler_Syntax.Location_show(at_)))
-}
-export function Wildcards_fixWildcards(self_, term_) {
-{
-const self_a = self_;
-const term_a = term_;
-{
-if(term_a.ELet) {
-const e_ = term_a;
-{
-const _1 = e_;
-{
-const _c = _1;
-return ff_compiler_Syntax.ELet(_c.at_, _c.mutable_, _c.name_, _c.valueType_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_), ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.body_))
-return
-}
-}
-return
-}
-}
-{
-if(term_a.ESequential) {
-const e_ = term_a;
-{
-const _1 = e_;
-{
-const _c = _1;
-return ff_compiler_Syntax.ESequential(_c.at_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.before_), ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.after_))
-return
-}
-}
-return
-}
-}
-{
-if(term_a.EAssign) {
-const e_ = term_a;
-{
-const _1 = e_;
-{
-const _c = _1;
-return ff_compiler_Syntax.EAssign(_c.at_, _c.operator_, _c.variable_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_))
-return
-}
-}
-return
-}
-}
-{
-if(term_a.EAssignField) {
-const e_ = term_a;
-{
-const _1 = e_;
-{
-const _c = _1;
-return ff_compiler_Syntax.EAssignField(_c.at_, _c.operator_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.record_), _c.field_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_))
-return
-}
-}
-return
-}
-}
-{
-if(term_a.EPipe) {
-const e_ = term_a;
-{
-const _1 = e_;
-{
-const _c = _1;
-return ff_compiler_Syntax.EPipe(_c.at_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_), _c.effect_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.function_))
-return
-}
-}
-return
-}
-}
-{
-if(term_a.ECall) {
-const e_ = term_a;
-{
-const _1 = e_;
-{
-const _c = _1;
-return ff_compiler_Syntax.ECall(_c.at_, (((_1) => {
-{
-if(_1.DynamicCall) {
-const call_ = _1;
-{
-const _1 = call_;
-{
-const _c = _1;
-return ff_compiler_Syntax.DynamicCall(ff_compiler_Wildcards.Wildcards_fixWildcards(self_, call_.function_), _c.tailCall_)
-return
-}
-}
-return
-}
-}
-{
-return ff_compiler_Wildcards.fail_(e_.at_, "Internal error: Static calls not expected in the Wildcards phase")
-return
-}
-}))(e_.target_), _c.effect_, _c.typeArguments_, ff_core_List.List_map(e_.arguments_, ((a_) => {
-{
-const _1 = a_;
-{
-const _c = _1;
-return ff_compiler_Syntax.Argument(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
-return
-}
-}
-})), _c.dictionaries_)
-return
-}
-}
-return
-}
-}
-{
-if(term_a.EList) {
-const e_ = term_a;
-{
-const _1 = e_;
-{
-const _c = _1;
-return ff_compiler_Syntax.EList(_c.at_, _c.elementType_, ff_core_List.List_map(e_.items_, ((_1) => {
-{
-const item_ = _1.first_;
-const spread_ = _1.second_;
-return ff_core_Pair.Pair(ff_compiler_Wildcards.Wildcards_fixWildcards(self_, item_), spread_)
-return
-}
-})))
-return
-}
-}
-return
-}
-}
-{
-if(term_a.ECopy) {
-const e_ = term_a;
-{
-const _1 = e_;
-{
-const _c = _1;
-return ff_compiler_Syntax.ECopy(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.record_), ff_core_List.List_map(e_.arguments_, ((a_) => {
-{
-const _1 = a_;
-{
-const _c = _1;
-return ff_compiler_Syntax.Field(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
-return
-}
-}
-})))
-return
-}
-}
-return
-}
-}
-{
-if(term_a.EVariant) {
-const e_ = term_a;
-{
-const _1 = e_;
-{
-const _c = _1;
-return ff_compiler_Syntax.EVariant(_c.at_, _c.name_, _c.typeArguments_, ff_core_Option.Option_map(e_.arguments_, ((_w1) => {
-return ff_core_List.List_map(_w1, ((a_) => {
-{
-const _1 = a_;
-{
-const _c = _1;
-return ff_compiler_Syntax.Argument(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
-return
-}
-}
-}))
-})))
-return
-}
-}
-return
-}
-}
-{
-if(term_a.ERecord) {
-const e_ = term_a;
-{
-const _1 = e_;
-{
-const _c = _1;
-return ff_compiler_Syntax.ERecord(_c.at_, ff_core_List.List_map(e_.fields_, ((a_) => {
-{
-const _1 = a_;
-{
-const _c = _1;
-return ff_compiler_Syntax.Field(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
-return
-}
-}
-})))
-return
-}
-}
-return
-}
-}
-{
-if(term_a.EField) {
-const e_ = term_a;
-{
-const _1 = e_;
-{
-const _c = _1;
-return ff_compiler_Syntax.EField(_c.at_, _c.newtype_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.record_), _c.field_)
-return
-}
-}
-return
-}
-}
-{
-if(term_a.EWildcard) {
-const e_ = term_a;
-self_.seenWildcards_ += 1;
-{
-const _1 = e_;
-{
-const _c = _1;
-return ff_compiler_Syntax.EWildcard(_c.at_, self_.seenWildcards_)
-return
-}
-}
-return
-}
-}
-{
-return term_
-return
-}
-}
-}
-export async function Wildcards_fixWildcards$(self_, term_, $task) {
-{
-const self_a = self_;
-const term_a = term_;
-{
-if(term_a.ELet) {
-const e_ = term_a;
-{
-const _1 = e_;
-{
-const _c = _1;
-return ff_compiler_Syntax.ELet(_c.at_, _c.mutable_, _c.name_, _c.valueType_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_), ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.body_))
-return
-}
-}
-return
-}
-}
-{
-if(term_a.ESequential) {
-const e_ = term_a;
-{
-const _1 = e_;
-{
-const _c = _1;
-return ff_compiler_Syntax.ESequential(_c.at_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.before_), ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.after_))
-return
-}
-}
-return
-}
-}
-{
-if(term_a.EAssign) {
-const e_ = term_a;
-{
-const _1 = e_;
-{
-const _c = _1;
-return ff_compiler_Syntax.EAssign(_c.at_, _c.operator_, _c.variable_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_))
-return
-}
-}
-return
-}
-}
-{
-if(term_a.EAssignField) {
-const e_ = term_a;
-{
-const _1 = e_;
-{
-const _c = _1;
-return ff_compiler_Syntax.EAssignField(_c.at_, _c.operator_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.record_), _c.field_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_))
-return
-}
-}
-return
-}
-}
-{
-if(term_a.EPipe) {
-const e_ = term_a;
-{
-const _1 = e_;
-{
-const _c = _1;
-return ff_compiler_Syntax.EPipe(_c.at_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_), _c.effect_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.function_))
-return
-}
-}
-return
-}
-}
-{
-if(term_a.ECall) {
-const e_ = term_a;
-{
-const _1 = e_;
-{
-const _c = _1;
-return ff_compiler_Syntax.ECall(_c.at_, (((_1) => {
-{
-if(_1.DynamicCall) {
-const call_ = _1;
-{
-const _1 = call_;
-{
-const _c = _1;
-return ff_compiler_Syntax.DynamicCall(ff_compiler_Wildcards.Wildcards_fixWildcards(self_, call_.function_), _c.tailCall_)
-return
-}
-}
-return
-}
-}
-{
-return ff_compiler_Wildcards.fail_(e_.at_, "Internal error: Static calls not expected in the Wildcards phase")
-return
-}
-}))(e_.target_), _c.effect_, _c.typeArguments_, ff_core_List.List_map(e_.arguments_, ((a_) => {
-{
-const _1 = a_;
-{
-const _c = _1;
-return ff_compiler_Syntax.Argument(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
-return
-}
-}
-})), _c.dictionaries_)
-return
-}
-}
-return
-}
-}
-{
-if(term_a.EList) {
-const e_ = term_a;
-{
-const _1 = e_;
-{
-const _c = _1;
-return ff_compiler_Syntax.EList(_c.at_, _c.elementType_, ff_core_List.List_map(e_.items_, ((_1) => {
-{
-const item_ = _1.first_;
-const spread_ = _1.second_;
-return ff_core_Pair.Pair(ff_compiler_Wildcards.Wildcards_fixWildcards(self_, item_), spread_)
-return
-}
-})))
-return
-}
-}
-return
-}
-}
-{
-if(term_a.ECopy) {
-const e_ = term_a;
-{
-const _1 = e_;
-{
-const _c = _1;
-return ff_compiler_Syntax.ECopy(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.record_), ff_core_List.List_map(e_.arguments_, ((a_) => {
-{
-const _1 = a_;
-{
-const _c = _1;
-return ff_compiler_Syntax.Field(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
-return
-}
-}
-})))
-return
-}
-}
-return
-}
-}
-{
-if(term_a.EVariant) {
-const e_ = term_a;
-{
-const _1 = e_;
-{
-const _c = _1;
-return ff_compiler_Syntax.EVariant(_c.at_, _c.name_, _c.typeArguments_, ff_core_Option.Option_map(e_.arguments_, ((_w1) => {
-return ff_core_List.List_map(_w1, ((a_) => {
-{
-const _1 = a_;
-{
-const _c = _1;
-return ff_compiler_Syntax.Argument(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
-return
-}
-}
-}))
-})))
-return
-}
-}
-return
-}
-}
-{
-if(term_a.ERecord) {
-const e_ = term_a;
-{
-const _1 = e_;
-{
-const _c = _1;
-return ff_compiler_Syntax.ERecord(_c.at_, ff_core_List.List_map(e_.fields_, ((a_) => {
-{
-const _1 = a_;
-{
-const _c = _1;
-return ff_compiler_Syntax.Field(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
-return
-}
-}
-})))
-return
-}
-}
-return
-}
-}
-{
-if(term_a.EField) {
-const e_ = term_a;
-{
-const _1 = e_;
-{
-const _c = _1;
-return ff_compiler_Syntax.EField(_c.at_, _c.newtype_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.record_), _c.field_)
-return
-}
-}
-return
-}
-}
-{
-if(term_a.EWildcard) {
-const e_ = term_a;
-self_.seenWildcards_ += 1;
-{
-const _1 = e_;
-{
-const _c = _1;
-return ff_compiler_Syntax.EWildcard(_c.at_, self_.seenWildcards_)
-return
-}
-}
-return
-}
-}
-{
-return term_
-return
-}
-}
-}
+import * as ff_compiler_Wildcards from "../../ff/compiler/Wildcards.mjs"
+import * as ff_compiler_Syntax from "../../ff/compiler/Syntax.mjs"
+import * as ff_core_Any from "../../ff/core/Any.mjs"
+import * as ff_core_Array from "../../ff/core/Array.mjs"
+import * as ff_core_AssetSystem from "../../ff/core/AssetSystem.mjs"
+import * as ff_core_Atomic from "../../ff/core/Atomic.mjs"
+import * as ff_core_Bool from "../../ff/core/Bool.mjs"
+import * as ff_core_Box from "../../ff/core/Box.mjs"
+import * as ff_core_BrowserSystem from "../../ff/core/BrowserSystem.mjs"
+import * as ff_core_Buffer from "../../ff/core/Buffer.mjs"
+import * as ff_core_BuildSystem from "../../ff/core/BuildSystem.mjs"
+import * as ff_core_Channel from "../../ff/core/Channel.mjs"
+import * as ff_core_Char from "../../ff/core/Char.mjs"
+import * as ff_core_Core from "../../ff/core/Core.mjs"
+import * as ff_core_Duration from "../../ff/core/Duration.mjs"
+import * as ff_core_Equal from "../../ff/core/Equal.mjs"
+import * as ff_core_Error from "../../ff/core/Error.mjs"
+import * as ff_core_FileHandle from "../../ff/core/FileHandle.mjs"
+import * as ff_core_Float from "../../ff/core/Float.mjs"
+import * as ff_core_HttpClient from "../../ff/core/HttpClient.mjs"
+import * as ff_core_Instant from "../../ff/core/Instant.mjs"
+import * as ff_core_Int from "../../ff/core/Int.mjs"
+import * as ff_core_IntMap from "../../ff/core/IntMap.mjs"
+import * as ff_core_JsSystem from "../../ff/core/JsSystem.mjs"
+import * as ff_core_JsValue from "../../ff/core/JsValue.mjs"
+import * as ff_core_List from "../../ff/core/List.mjs"
+import * as ff_core_Lock from "../../ff/core/Lock.mjs"
+import * as ff_core_Log from "../../ff/core/Log.mjs"
+import * as ff_core_Map from "../../ff/core/Map.mjs"
+import * as ff_core_NodeSystem from "../../ff/core/NodeSystem.mjs"
+import * as ff_core_Nothing from "../../ff/core/Nothing.mjs"
+import * as ff_core_Option from "../../ff/core/Option.mjs"
+import * as ff_core_Ordering from "../../ff/core/Ordering.mjs"
+import * as ff_core_Pair from "../../ff/core/Pair.mjs"
+import * as ff_core_Path from "../../ff/core/Path.mjs"
+import * as ff_core_Serializable from "../../ff/core/Serializable.mjs"
+import * as ff_core_Set from "../../ff/core/Set.mjs"
+import * as ff_core_Show from "../../ff/core/Show.mjs"
+import * as ff_core_SourceLocation from "../../ff/core/SourceLocation.mjs"
+import * as ff_core_Stack from "../../ff/core/Stack.mjs"
+import * as ff_core_Stream from "../../ff/core/Stream.mjs"
+import * as ff_core_String from "../../ff/core/String.mjs"
+import * as ff_core_StringMap from "../../ff/core/StringMap.mjs"
+import * as ff_core_Task from "../../ff/core/Task.mjs"
+import * as ff_core_Try from "../../ff/core/Try.mjs"
+import * as ff_core_Unit from "../../ff/core/Unit.mjs"
+// type Wildcards
+export function Wildcards(seenWildcards_) {
+return {seenWildcards_};
+}
+export function make_() {
+return ff_compiler_Wildcards.Wildcards(0)
+}
+export function fail_(at_, message_) {
+return ff_core_Core.panic_(((message_ + " ") + ff_compiler_Syntax.Location_show(at_)))
+}
+export async function make_$($task) {
+return ff_compiler_Wildcards.Wildcards(0)
+}
+export async function fail_$(at_, message_, $task) {
+return ff_core_Core.panic_(((message_ + " ") + ff_compiler_Syntax.Location_show(at_)))
+}
+export function Wildcards_fixWildcards(self_, term_) {
+{
+const self_a = self_;
+const term_a = term_;
+{
+if(term_a.ELet) {
+const e_ = term_a;
+{
+const _1 = e_;
+{
+const _c = _1;
+return ff_compiler_Syntax.ELet(_c.at_, _c.mutable_, _c.name_, _c.valueType_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_), ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.body_))
+return
+}
+}
+return
+}
+}
+{
+if(term_a.ESequential) {
+const e_ = term_a;
+{
+const _1 = e_;
+{
+const _c = _1;
+return ff_compiler_Syntax.ESequential(_c.at_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.before_), ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.after_))
+return
+}
+}
+return
+}
+}
+{
+if(term_a.EAssign) {
+const e_ = term_a;
+{
+const _1 = e_;
+{
+const _c = _1;
+return ff_compiler_Syntax.EAssign(_c.at_, _c.operator_, _c.variable_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_))
+return
+}
+}
+return
+}
+}
+{
+if(term_a.EAssignField) {
+const e_ = term_a;
+{
+const _1 = e_;
+{
+const _c = _1;
+return ff_compiler_Syntax.EAssignField(_c.at_, _c.operator_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.record_), _c.field_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_))
+return
+}
+}
+return
+}
+}
+{
+if(term_a.EPipe) {
+const e_ = term_a;
+{
+const _1 = e_;
+{
+const _c = _1;
+return ff_compiler_Syntax.EPipe(_c.at_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_), _c.effect_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.function_))
+return
+}
+}
+return
+}
+}
+{
+if(term_a.ECall) {
+const e_ = term_a;
+{
+const _1 = e_;
+{
+const _c = _1;
+return ff_compiler_Syntax.ECall(_c.at_, (((_1) => {
+{
+if(_1.DynamicCall) {
+const call_ = _1;
+{
+const _1 = call_;
+{
+const _c = _1;
+return ff_compiler_Syntax.DynamicCall(ff_compiler_Wildcards.Wildcards_fixWildcards(self_, call_.function_), _c.tailCall_)
+return
+}
+}
+return
+}
+}
+{
+return ff_compiler_Wildcards.fail_(e_.at_, "Internal error: Static calls not expected in the Wildcards phase")
+return
+}
+}))(e_.target_), _c.effect_, _c.typeArguments_, ff_core_List.List_map(e_.arguments_, ((a_) => {
+{
+const _1 = a_;
+{
+const _c = _1;
+return ff_compiler_Syntax.Argument(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
+return
+}
+}
+})), _c.dictionaries_)
+return
+}
+}
+return
+}
+}
+{
+if(term_a.EList) {
+const e_ = term_a;
+{
+const _1 = e_;
+{
+const _c = _1;
+return ff_compiler_Syntax.EList(_c.at_, _c.elementType_, ff_core_List.List_map(e_.items_, ((_1) => {
+{
+const item_ = _1.first_;
+const spread_ = _1.second_;
+return ff_core_Pair.Pair(ff_compiler_Wildcards.Wildcards_fixWildcards(self_, item_), spread_)
+return
+}
+})))
+return
+}
+}
+return
+}
+}
+{
+if(term_a.ECopy) {
+const e_ = term_a;
+{
+const _1 = e_;
+{
+const _c = _1;
+return ff_compiler_Syntax.ECopy(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.record_), ff_core_List.List_map(e_.arguments_, ((a_) => {
+{
+const _1 = a_;
+{
+const _c = _1;
+return ff_compiler_Syntax.Field(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
+return
+}
+}
+})))
+return
+}
+}
+return
+}
+}
+{
+if(term_a.EVariant) {
+const e_ = term_a;
+{
+const _1 = e_;
+{
+const _c = _1;
+return ff_compiler_Syntax.EVariant(_c.at_, _c.name_, _c.typeArguments_, ff_core_Option.Option_map(e_.arguments_, ((_w1) => {
+return ff_core_List.List_map(_w1, ((a_) => {
+{
+const _1 = a_;
+{
+const _c = _1;
+return ff_compiler_Syntax.Argument(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
+return
+}
+}
+}))
+})))
+return
+}
+}
+return
+}
+}
+{
+if(term_a.ERecord) {
+const e_ = term_a;
+{
+const _1 = e_;
+{
+const _c = _1;
+return ff_compiler_Syntax.ERecord(_c.at_, ff_core_List.List_map(e_.fields_, ((a_) => {
+{
+const _1 = a_;
+{
+const _c = _1;
+return ff_compiler_Syntax.Field(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
+return
+}
+}
+})))
+return
+}
+}
+return
+}
+}
+{
+if(term_a.EField) {
+const e_ = term_a;
+{
+const _1 = e_;
+{
+const _c = _1;
+return ff_compiler_Syntax.EField(_c.at_, _c.newtype_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.record_), _c.field_)
+return
+}
+}
+return
+}
+}
+{
+if(term_a.EWildcard) {
+const e_ = term_a;
+self_.seenWildcards_ += 1;
+{
+const _1 = e_;
+{
+const _c = _1;
+return ff_compiler_Syntax.EWildcard(_c.at_, self_.seenWildcards_)
+return
+}
+}
+return
+}
+}
+{
+return term_
+return
+}
+}
+}
+export async function Wildcards_fixWildcards$(self_, term_, $task) {
+{
+const self_a = self_;
+const term_a = term_;
+{
+if(term_a.ELet) {
+const e_ = term_a;
+{
+const _1 = e_;
+{
+const _c = _1;
+return ff_compiler_Syntax.ELet(_c.at_, _c.mutable_, _c.name_, _c.valueType_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_), ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.body_))
+return
+}
+}
+return
+}
+}
+{
+if(term_a.ESequential) {
+const e_ = term_a;
+{
+const _1 = e_;
+{
+const _c = _1;
+return ff_compiler_Syntax.ESequential(_c.at_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.before_), ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.after_))
+return
+}
+}
+return
+}
+}
+{
+if(term_a.EAssign) {
+const e_ = term_a;
+{
+const _1 = e_;
+{
+const _c = _1;
+return ff_compiler_Syntax.EAssign(_c.at_, _c.operator_, _c.variable_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_))
+return
+}
+}
+return
+}
+}
+{
+if(term_a.EAssignField) {
+const e_ = term_a;
+{
+const _1 = e_;
+{
+const _c = _1;
+return ff_compiler_Syntax.EAssignField(_c.at_, _c.operator_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.record_), _c.field_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_))
+return
+}
+}
+return
+}
+}
+{
+if(term_a.EPipe) {
+const e_ = term_a;
+{
+const _1 = e_;
+{
+const _c = _1;
+return ff_compiler_Syntax.EPipe(_c.at_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.value_), _c.effect_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.function_))
+return
+}
+}
+return
+}
+}
+{
+if(term_a.ECall) {
+const e_ = term_a;
+{
+const _1 = e_;
+{
+const _c = _1;
+return ff_compiler_Syntax.ECall(_c.at_, (((_1) => {
+{
+if(_1.DynamicCall) {
+const call_ = _1;
+{
+const _1 = call_;
+{
+const _c = _1;
+return ff_compiler_Syntax.DynamicCall(ff_compiler_Wildcards.Wildcards_fixWildcards(self_, call_.function_), _c.tailCall_)
+return
+}
+}
+return
+}
+}
+{
+return ff_compiler_Wildcards.fail_(e_.at_, "Internal error: Static calls not expected in the Wildcards phase")
+return
+}
+}))(e_.target_), _c.effect_, _c.typeArguments_, ff_core_List.List_map(e_.arguments_, ((a_) => {
+{
+const _1 = a_;
+{
+const _c = _1;
+return ff_compiler_Syntax.Argument(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
+return
+}
+}
+})), _c.dictionaries_)
+return
+}
+}
+return
+}
+}
+{
+if(term_a.EList) {
+const e_ = term_a;
+{
+const _1 = e_;
+{
+const _c = _1;
+return ff_compiler_Syntax.EList(_c.at_, _c.elementType_, ff_core_List.List_map(e_.items_, ((_1) => {
+{
+const item_ = _1.first_;
+const spread_ = _1.second_;
+return ff_core_Pair.Pair(ff_compiler_Wildcards.Wildcards_fixWildcards(self_, item_), spread_)
+return
+}
+})))
+return
+}
+}
+return
+}
+}
+{
+if(term_a.ECopy) {
+const e_ = term_a;
+{
+const _1 = e_;
+{
+const _c = _1;
+return ff_compiler_Syntax.ECopy(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.record_), ff_core_List.List_map(e_.arguments_, ((a_) => {
+{
+const _1 = a_;
+{
+const _c = _1;
+return ff_compiler_Syntax.Field(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
+return
+}
+}
+})))
+return
+}
+}
+return
+}
+}
+{
+if(term_a.EVariant) {
+const e_ = term_a;
+{
+const _1 = e_;
+{
+const _c = _1;
+return ff_compiler_Syntax.EVariant(_c.at_, _c.name_, _c.typeArguments_, ff_core_Option.Option_map(e_.arguments_, ((_w1) => {
+return ff_core_List.List_map(_w1, ((a_) => {
+{
+const _1 = a_;
+{
+const _c = _1;
+return ff_compiler_Syntax.Argument(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
+return
+}
+}
+}))
+})))
+return
+}
+}
+return
+}
+}
+{
+if(term_a.ERecord) {
+const e_ = term_a;
+{
+const _1 = e_;
+{
+const _c = _1;
+return ff_compiler_Syntax.ERecord(_c.at_, ff_core_List.List_map(e_.fields_, ((a_) => {
+{
+const _1 = a_;
+{
+const _c = _1;
+return ff_compiler_Syntax.Field(_c.at_, _c.name_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, a_.value_))
+return
+}
+}
+})))
+return
+}
+}
+return
+}
+}
+{
+if(term_a.EField) {
+const e_ = term_a;
+{
+const _1 = e_;
+{
+const _c = _1;
+return ff_compiler_Syntax.EField(_c.at_, _c.newtype_, ff_compiler_Wildcards.Wildcards_fixWildcards(self_, e_.record_), _c.field_)
+return
+}
+}
+return
+}
+}
+{
+if(term_a.EWildcard) {
+const e_ = term_a;
+self_.seenWildcards_ += 1;
+{
+const _1 = e_;
+{
+const _c = _1;
+return ff_compiler_Syntax.EWildcard(_c.at_, self_.seenWildcards_)
+return
+}
+}
+return
+}
+}
+{
+return term_
+return
+}
+}
+}