firefly-compiler 0.4.15 → 0.4.17

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 
 
 

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // type Error
 
 

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // type FileHandle
 
 

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // type Float
 
 

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // type HttpClient
 
 

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // newtype Instant
 
 

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // type Int
 
 
@@ -127,11 +125,11 @@ export function Int_bitXor(self_, that_) {
 return self_ ^ that_;
 }
 
-export function Int_bitLeft(self_, bits_ = 1) {
+export function Int_bitLeft(self_, bits_) {
 return self_ << bits_;
 }
 
-export function Int_bitRight(self_, bits_ = 1, signed_ = true) {
+export function Int_bitRight(self_, bits_, signed_ = true) {
 return signed_ ? self_ >> bits_ : self_ >>> bits_;
 }
 
@@ -209,11 +207,11 @@ export async function Int_bitXor$(self_, that_, $task) {
 throw new Error('Function Int_bitXor is missing on this target in async context.');
 }
 
-export async function Int_bitLeft$(self_, bits_ = 1, $task) {
+export async function Int_bitLeft$(self_, bits_, $task) {
 throw new Error('Function Int_bitLeft is missing on this target in async context.');
 }
 
-export async function Int_bitRight$(self_, bits_ = 1, signed_ = true, $task) {
+export async function Int_bitRight$(self_, bits_, signed_ = true, $task) {
 throw new Error('Function Int_bitRight is missing on this target in async context.');
 }
 

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // type IntMap
 
 
@@ -287,6 +285,44 @@ ff_core_IntMap.IntMap_set(self_, key_, (await body_($task)))
 return ff_core_IntMap.IntMap_grab(self_, key_)
 }
 
+export function IntMap_push(self_, key_, value_) {
+{
+const _1 = ff_core_IntMap.IntMap_get(self_, key_);
+{
+if(_1.None) {
+ff_core_IntMap.IntMap_set(self_, key_, ff_core_List.List_toStack(ff_core_List.Link(value_, ff_core_List.Empty())))
+return
+}
+}
+{
+if(_1.Some) {
+const stack_ = _1.value_;
+ff_core_Stack.Stack_push(stack_, value_)
+return
+}
+}
+}
+}
+
+export async function IntMap_push$(self_, key_, value_, $task) {
+{
+const _1 = ff_core_IntMap.IntMap_get(self_, key_);
+{
+if(_1.None) {
+ff_core_IntMap.IntMap_set(self_, key_, ff_core_List.List_toStack(ff_core_List.Link(value_, ff_core_List.Empty())))
+return
+}
+}
+{
+if(_1.Some) {
+const stack_ = _1.value_;
+ff_core_Stack.Stack_push(stack_, value_)
+return
+}
+}
+}
+}
+
 
 
 

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // type JsSystem
 
 

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // type JsValue
 
 

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // type Json
 
 

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // type List
 const Empty$ = {Empty: true};
 export function Empty() {
@@ -800,7 +798,7 @@ return
 return go_(initial_, self_)
 }
 
-export function List_updated(self_, index_, value_) {
+export function List_update(self_, index_, value_) {
 function go_(list_, i_, result_) {
 _tailcall: for(;;) {
 {
@@ -1055,7 +1053,7 @@ remaining_ = ff_core_List.Empty()
 }))
 }
 
-export function List_insertBetween(self_, separator_) {
+export function List_separate(self_, separator_) {
 return ff_core_List.List_dropFirst(ff_core_List.List_flatMap(self_, ((e_) => {
 return ff_core_List.List_addAll(separator_, ff_core_List.Link(e_, ff_core_List.Empty()))
 })), ff_core_List.List_size(separator_))
@@ -1670,7 +1668,7 @@ return
 return (await go_$(initial_, self_, $task))
 }
 
-export async function List_updated$(self_, index_, value_, $task) {
+export async function List_update$(self_, index_, value_, $task) {
 function go_(list_, i_, result_) {
 _tailcall: for(;;) {
 {
@@ -1925,7 +1923,7 @@ remaining_ = ff_core_List.Empty()
 }))
 }
 
-export async function List_insertBetween$(self_, separator_, $task) {
+export async function List_separate$(self_, separator_, $task) {
 return ff_core_List.List_dropFirst(ff_core_List.List_flatMap(self_, ((e_) => {
 return ff_core_List.List_addAll(separator_, ff_core_List.Link(e_, ff_core_List.Empty()))
 })), ff_core_List.List_size(separator_))

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // type Lock
 
 

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 
 
 

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

@@ -94,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // newtype Map
 
 
@@ -338,6 +336,46 @@ return ff_core_List.Link(value_, ff_core_List.Empty())
 }), ff_core_Ordering_Order$K)
 }
 
+export function Map_push(self_, key_, value_, ff_core_Ordering_Order$K) {
+{
+const _1 = ff_core_Map.Map_get(self_, key_, ff_core_Ordering_Order$K);
+{
+if(_1.None) {
+return ff_core_Map.Map_add(self_, key_, ff_core_List.List_toStack(ff_core_List.Link(value_, ff_core_List.Empty())), ff_core_Ordering_Order$K)
+return
+}
+}
+{
+if(_1.Some) {
+const stack_ = _1.value_;
+ff_core_Stack.Stack_push(stack_, value_);
+return self_
+return
+}
+}
+}
+}
+
+export async function Map_push$(self_, key_, value_, ff_core_Ordering_Order$K, $task) {
+{
+const _1 = ff_core_Map.Map_get(self_, key_, ff_core_Ordering_Order$K);
+{
+if(_1.None) {
+return ff_core_Map.Map_add(self_, key_, ff_core_List.List_toStack(ff_core_List.Link(value_, ff_core_List.Empty())), ff_core_Ordering_Order$K)
+return
+}
+}
+{
+if(_1.Some) {
+const stack_ = _1.value_;
+ff_core_Stack.Stack_push(stack_, value_);
+return self_
+return
+}
+}
+}
+}
+
 export function ff_core_Equal_Equal$ff_core_Map_Map(ff_core_Equal_Equal$K, ff_core_Ordering_Order$K, ff_core_Equal_Equal$V) { return {
 equals_(x_, y_) {
 return ff_core_List.ff_core_Equal_Equal$ff_core_List_List(ff_core_Pair.ff_core_Equal_Equal$ff_core_Pair_Pair(ff_core_Equal_Equal$K, ff_core_Equal_Equal$V)).equals_(ff_core_Map.Map_pairs(x_, ff_core_Ordering_Order$K), ff_core_Map.Map_pairs(y_, ff_core_Ordering_Order$K))

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

@@ -96,8 +96,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // type NodeSystem
 
 

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // type Nothing
 
 

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // type Option
 const None$ = {None: true};
 export function None() {

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // type Ordering
 const OrderingBefore$ = {OrderingBefore: true};
 export function OrderingBefore() {

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // type Pair
 export function Pair(first_, second_) {
 return {first_, second_};

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

@@ -98,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // type Path
 
 

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // type Random
 
 

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

@@ -94,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // type Color
 const R$ = {R: true};
 export function R() {

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // type DeserializationChecksumException
 const DeserializationChecksumException$ = {DeserializationChecksumException: true};
 export function DeserializationChecksumException() {

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // newtype Set
 
 

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 
 
 

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // newtype SourceLocation
 
 

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // type Stack
 
 

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // type Stream
 export function Stream(next_, close_) {
 return {next_, close_};

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // type String
 
 

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // type StringMap
 
 
@@ -287,6 +285,44 @@ ff_core_StringMap.StringMap_set(self_, key_, (await body_($task)))
 return ff_core_StringMap.StringMap_grab(self_, key_)
 }
 
+export function StringMap_push(self_, key_, value_) {
+{
+const _1 = ff_core_StringMap.StringMap_get(self_, key_);
+{
+if(_1.None) {
+ff_core_StringMap.StringMap_set(self_, key_, ff_core_List.List_toStack(ff_core_List.Link(value_, ff_core_List.Empty())))
+return
+}
+}
+{
+if(_1.Some) {
+const stack_ = _1.value_;
+ff_core_Stack.Stack_push(stack_, value_)
+return
+}
+}
+}
+}
+
+export async function StringMap_push$(self_, key_, value_, $task) {
+{
+const _1 = ff_core_StringMap.StringMap_get(self_, key_);
+{
+if(_1.None) {
+ff_core_StringMap.StringMap_set(self_, key_, ff_core_List.List_toStack(ff_core_List.Link(value_, ff_core_List.Empty())))
+return
+}
+}
+{
+if(_1.Some) {
+const stack_ = _1.value_;
+ff_core_Stack.Stack_push(stack_, value_)
+return
+}
+}
+}
+}
+
 
 
 

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // type Task
 
 

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // type Try
 export function Success(value_) {
 return {Success: true, value_};

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

@@ -92,8 +92,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_WebSocket from "../../ff/core/WebSocket.mjs"
-
 // type Unit
 const Unit$ = {Unit: true};
 export function Unit() {

package/package.json

@@ -4,7 +4,7 @@
   "description": "Firefly compiler",
   "author": "Firefly team",
   "license": "MIT",
-  "version": "0.4.15",
+  "version": "0.4.17",
   "repository": {
       "type": "git",
       "url": "https://github.com/Ahnfelt/firefly-boot"

package/vscode/README.md

@@ -9,9 +9,6 @@ This extension adds support for the Firefly programming language (`.ff` files).
 - Symbol renaming
 - Document and workspace symbols
 - Show type on hover
-- Diagnostics`*`
-
-`*` Diagnostics don't currently update automatically when included files have been edited. It's disabled for performance reasons, and we're working on a solution.
+- Diagnostics
 
 You can run `.ff` main files via the usual *Run and Debug* side panel - just choose *create a launch.json file*. After that you can also press *F5* to run the currently open file.
-

package/vscode/client/src/extension.ts

@@ -26,7 +26,7 @@ export function activate(context: vscode.ExtensionContext) {
     context.subscriptions.push(vscode.commands.registerCommand('extension.firefly-lang.getFireflyCompiler', config => {
         return fireflyCompiler;
     }));
-
+    
     const runOrDebug = {
         module: fireflyCompiler,
         args: ['LanguageServer.ff'],
@@ -54,6 +54,17 @@ export function activate(context: vscode.ExtensionContext) {
     );
 
     client.start();
+    
+    vscode.window.onDidChangeActiveTextEditor(editor => {
+        if(editor && editor.document.languageId === 'firefly') {
+            client.sendNotification('custom/focusDocument', {
+                "textDocument": {
+                    uri: editor.document.uri.toString(),
+                    version: editor.document.version,
+                }
+            });
+        }
+    });
 }
 
 export function deactivate(): Thenable<void> | undefined {

package/vscode/package.json

@@ -4,7 +4,7 @@
     "description": "Firefly language support",
     "author": "Firefly team",
     "license": "MIT",
-    "version": "0.4.15",
+    "version": "0.4.17",
     "repository": {
         "type": "git",
         "url": "https://github.com/Ahnfelt/firefly-boot"

package/websocket/.firefly/package.ff

@@ -0,0 +1 @@
+package ff:websocket:0.0.0

package/{core → websocket}/WebSocket.ff

@@ -1,5 +1,9 @@
 capability WebSocket {}
 
+open(browserSystem: BrowserSystem, url: String): WebSocket {
+    internalOpenBrowserWebSocket(browserSystem, url)
+}
+
 extend self: WebSocket {
     
     readText(encoding: String = "utf8"): Option[String] {