npm - firefly-compiler - Versions diffs - 0.4.79 → 0.4.80 - Mend

firefly-compiler 0.4.79 → 0.4.80

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 (158) hide show

package/.hintrc +4 -4
package/.vscode/settings.json +4 -4
package/bin/Release.ff +153 -153
package/bin/firefly.mjs +1 -1
package/compiler/Builder.ff +257 -257
package/compiler/Compiler.ff +227 -227
package/compiler/Dependencies.ff +187 -187
package/compiler/DependencyLock.ff +17 -17
package/compiler/Inference.ff +2 -1
package/compiler/JsEmitter.ff +940 -946
package/compiler/LspHook.ff +202 -202
package/compiler/Main.ff +3 -3
package/compiler/ModuleCache.ff +178 -178
package/compiler/Tokenizer.ff +1 -1
package/compiler/Unification.ff +1 -1
package/compiler/Workspace.ff +88 -88
package/core/.firefly/include/package-lock.json +564 -564
package/core/.firefly/include/package.json +5 -5
package/core/.firefly/include/prepare.sh +1 -1
package/core/.firefly/package.ff +2 -2
package/core/Array.ff +265 -265
package/core/Atomic.ff +64 -64
package/core/Box.ff +7 -7
package/core/BrowserSystem.ff +40 -40
package/core/BuildSystem.ff +148 -148
package/core/Crypto.ff +96 -96
package/core/Equal.ff +36 -36
package/core/Float.ff +25 -0
package/core/HttpClient.ff +148 -148
package/core/JsSystem.ff +69 -69
package/core/Json.ff +434 -434
package/core/List.ff +486 -486
package/core/Lock.ff +144 -144
package/core/NodeSystem.ff +216 -216
package/core/Ordering.ff +161 -161
package/core/Path.ff +401 -401
package/core/Random.ff +134 -134
package/core/RbMap.ff +216 -216
package/core/Show.ff +43 -43
package/core/SourceLocation.ff +68 -68
package/core/Stream.ff +9 -9
package/core/Task.ff +141 -141
package/core/Try.ff +25 -4
package/experimental/benchmarks/ListGrab.ff +23 -23
package/experimental/benchmarks/ListGrab.java +55 -55
package/experimental/benchmarks/Pyrotek45.ff +30 -30
package/experimental/benchmarks/Pyrotek45.java +64 -64
package/experimental/bidirectional/Bidi.ff +88 -88
package/experimental/random/Index.ff +53 -53
package/experimental/random/Process.ff +120 -120
package/experimental/random/Scrape.ff +51 -51
package/experimental/random/Symbols.ff +73 -73
package/experimental/random/Tensor.ff +52 -52
package/experimental/random/Units.ff +36 -36
package/experimental/s3/S3TestAuthorizationHeader.ff +39 -39
package/experimental/s3/S3TestPut.ff +16 -16
package/experimental/tests/TestJson.ff +26 -26
package/firefly.sh +0 -0
package/fireflysite/.firefly/package.ff +4 -4
package/fireflysite/CommunityOverview.ff +20 -20
package/fireflysite/CountingButtonDemo.ff +58 -58
package/fireflysite/DocumentParser.ff +331 -217
package/fireflysite/ExamplesOverview.ff +40 -40
package/fireflysite/FrontPage.ff +344 -360
package/fireflysite/{GuideIntroduction.ff → GettingStarted.ff} +45 -52
package/fireflysite/Guide.ff +443 -411
package/fireflysite/Main.ff +141 -137
package/fireflysite/MatchingPasswordsDemo.ff +82 -82
package/fireflysite/PackagesOverview.ff +49 -49
package/fireflysite/PostgresqlDemo.ff +34 -34
package/fireflysite/ReferenceAll.ff +19 -0
package/fireflysite/ReferenceIntroduction.ff +11 -0
package/fireflysite/Styles.ff +567 -495
package/fireflysite/Test.ff +38 -0
package/fireflysite/assets/markdown/reference/BaseTypes.md +209 -0
package/fireflysite/assets/markdown/reference/FunctionsAndMethods.md +208 -0
package/fireflysite/assets/markdown/reference/ModulesAndPackages.md +168 -0
package/fireflysite/assets/markdown/reference/PatternMatching.md +224 -0
package/fireflysite/assets/markdown/reference/StatementsAndExpressions.md +86 -0
package/fireflysite/assets/markdown/reference/TraitsAndInstances.md +100 -0
package/fireflysite/assets/markdown/reference/UserDefinedTypes.md +184 -0
package/fireflysite/assets/markdown/{ControlFlow.md → scratch/ControlFlow.md} +136 -136
package/fireflysite/assets/markdown/scratch/Toc.md +41 -0
package/lsp/.firefly/package.ff +1 -1
package/lsp/CompletionHandler.ff +828 -828
package/lsp/Handler.ff +714 -714
package/lsp/HoverHandler.ff +79 -79
package/lsp/LanguageServer.ff +272 -272
package/lsp/SignatureHelpHandler.ff +55 -55
package/lsp/SymbolHandler.ff +181 -181
package/lsp/TestReferences.ff +17 -17
package/lsp/TestReferencesCase.ff +7 -7
package/lsp/stderr.txt +1 -1
package/lsp/stdout.txt +34 -34
package/lux/.firefly/package.ff +1 -1
package/lux/Css.ff +648 -648
package/lux/CssTest.ff +48 -48
package/lux/Lux.ff +487 -487
package/lux/LuxEvent.ff +116 -116
package/lux/Main.ff +123 -123
package/lux/Main2.ff +143 -143
package/output/js/ff/compiler/Builder.mjs +47 -47
package/output/js/ff/compiler/Dependencies.mjs +3 -3
package/output/js/ff/compiler/Inference.mjs +2 -2
package/output/js/ff/compiler/JsEmitter.mjs +18 -72
package/output/js/ff/compiler/Main.mjs +4 -4
package/output/js/ff/compiler/ModuleCache.mjs +4 -4
package/output/js/ff/core/Array.mjs +59 -59
package/output/js/ff/core/Atomic.mjs +36 -36
package/output/js/ff/core/BrowserSystem.mjs +11 -11
package/output/js/ff/core/BuildSystem.mjs +30 -30
package/output/js/ff/core/Crypto.mjs +40 -40
package/output/js/ff/core/Float.mjs +50 -0
package/output/js/ff/core/HttpClient.mjs +56 -56
package/output/js/ff/core/Json.mjs +147 -147
package/output/js/ff/core/List.mjs +50 -50
package/output/js/ff/core/Lock.mjs +97 -97
package/output/js/ff/core/NodeSystem.mjs +87 -87
package/output/js/ff/core/Ordering.mjs +8 -8
package/output/js/ff/core/Path.mjs +231 -231
package/output/js/ff/core/Random.mjs +56 -56
package/output/js/ff/core/Task.mjs +39 -39
package/output/js/ff/core/Try.mjs +98 -4
package/package.json +1 -1
package/postgresql/Pg.ff +1 -1
package/rpc/.firefly/package.ff +1 -1
package/rpc/Rpc.ff +70 -70
package/s3/.firefly/package.ff +1 -1
package/s3/S3.ff +94 -94
package/unsafejs/UnsafeJs.ff +19 -19
package/vscode/LICENSE.txt +21 -21
package/vscode/Prepublish.ff +15 -15
package/vscode/README.md +16 -16
package/vscode/client/package.json +22 -22
package/vscode/client/src/extension.ts +104 -104
package/vscode/icons/firefly-icon.svg +10 -10
package/vscode/language-configuration.json +61 -61
package/vscode/package-lock.json +3623 -3623
package/vscode/package.json +1 -1
package/vscode/snippets.json +241 -241
package/vscode/syntaxes/firefly-markdown-injection.json +45 -45
package/webserver/.firefly/include/package-lock.json +22 -22
package/webserver/.firefly/include/package.json +5 -5
package/webserver/.firefly/package.ff +2 -2
package/webserver/WebServer.ff +685 -685
package/websocket/.firefly/package.ff +1 -1
package/websocket/WebSocket.ff +131 -131
package/fireflysite/GuideAll.ff +0 -21
package/fireflysite/GuideBaseTypes.ff +0 -168
package/fireflysite/GuideControlFlow.ff +0 -212
package/fireflysite/assets/markdown/Example.md +0 -78
/package/fireflysite/assets/{NotoSansMono-Regular.ttf → font/NotoSansMono-Regular.ttf} +0 -0
/package/fireflysite/assets/{NunitoSans-VariableFont_YTLC,opsz,wdth,wght.ttf → font/NunitoSans-VariableFont_YTLC,opsz,wdth,wght.ttf} +0 -0
/package/fireflysite/assets/{autocomplete-small.png → image/autocomplete-small.png} +0 -0
/package/fireflysite/assets/{autocomplete.png → image/autocomplete.png} +0 -0
/package/fireflysite/assets/{edit-time-error.png → image/edit-time-error.png} +0 -0
/package/fireflysite/assets/{firefly-logo-notext.png → image/firefly-logo-notext.png} +0 -0
/package/fireflysite/assets/{firefly-logo-yellow.png → image/firefly-logo-yellow.png} +0 -0

package/fireflysite/assets/markdown/{ControlFlow.md → scratch/ControlFlow.md} RENAMED Viewed

@@ -1,136 +1,136 @@
-# Control flow
-Firefly provides several ways to implement branching. Pattern matching is the most powerful, built directly into the language. `if`, `elseIf` and `else` do what you expect and are functions and methods in the standard library, implemented using the `Option` type. An then finally, there are exceptions.
-# Pattern matching
-Pattern matching allows you to check a given data structure against a pattern. For example, if we want to parse the command line arguments provided by the user, we could do it like this:
-```firefly
-let pair = system.arguments().{
-    | [host] => Pair(host, 80)
-    | ["localhost", port] => Pair("localhost", port.grabInt())
-    | _ =>
-        system.writeErrorLine("Usage: 'localhost' | (host port)")
-        system.exit(0)
-}
-```
-In Firefly you construct a list of strings (`List[String]`) like this `["example.com", "80"]`, and using pattern matching you can de-construct in the same way.
-```firefly
-data.{
-    | pattern1 => // case 1
-    | pattern2 => // case N
-    ...
-}
-```
-The patterns must be exhaustive, that is, for any possible value of the given type, there must be a matching pattern. In the example above, there are no value for the empty list `[]` , list with two values, where the first is not `"localhost"` or lists with more than 2 arguments. That's why we need the wildcard case at the end. Without this last case, the compiler would produce a compile-time error, stating that the patterns must be exhaustive.
-Here are more examples — all exhaustive. Let's start with records:
-```firefly
-pair.{
-    | Pair(first, second) =>
-}
-```
-Numbers
-```firefly
-n.{
-    | 1 =>
-    | 2 =>
-    | n =>
-}
-```
-Booleans
-```firefly
-n.{
-    | True =>
-    | False =>
-}
-```
-And you can combine pattern as needed. Imagine you have a pair of type `Pair[List[Bool], Pair(Int, String)]`
-```firefly
-pair.{
-    | Pair([True, False], Pair(42, "foo")) =>
-    | other =>
-}
-```
-# Option
-Sometimes you don't have a value. Other languages uses null for this purpose, but Firefly does not have null. Instead, we have `Option` from the core package.
-```firefly
-data Option[T] {
-    None
-    Some(value: T)
-}
-```
-For some type `T`, say `String`, `Option[String]` is either some string or no value `None`. This way, the type system guides you to check for no-value.
-Many functions and methods returns an `Option` in Firefly. For instance the `getInt` method on `String`. This method returns `Some[Int]` when the string consists only of digits and `None` otherwise. We can perform pattern matching on Option like this:
-```firefly
-port.getInt().{
-    | None => 80
-    | Some(p) => p
-}
-```
-Many methods like `getInt` have a non-total counterpart `grabInt`, which returns an `Int`. But it will throw an exception when the input cannot be parsed. Options let's you code in an exception-safe manner.
-# if - elseIf - else
-You write if-statements in Firefly like this:
-```firefly
-if(path == "/") {
-    response.writeText("<!doctype html>")
-} elseIf {path.startsWith("/js/")} {
-    response.writeText("<script>")
-} else {
-    response.writeStatus("404 Not found")
-}
-```
-You can also use it as an expression like this
-```firefly
-let contentType = if(path == "/") {
-    "text/html; charset=UTF-8"
-} elseIf(directory2.exists) {
-    "text/javascript; charset=UTF-8"
-} else {
-    "text/plain; charset=UTF-8"
-}
-```
-`if`, `elseIf` and `else` are not keywords or construct build into Firefly. `if` is just a function defined like this:
-```firefly
-if[T](condition: Bool, body: () => T): Option[T] {
-    condition.{
-        | False => None
-        | True => Some(body())
-    }
-}
-```
-# Exceptions
-...
+# Control flow
+Firefly provides several ways to implement branching. Pattern matching is the most powerful, built directly into the language. `if`, `elseIf` and `else` do what you expect and are functions and methods in the standard library, implemented using the `Option` type. An then finally, there are [exceptions](#Exceptions).
+# Pattern matching
+Pattern matching allows you to check a given data structure against a pattern. For example, if we want to parse the command line arguments provided by the user, we could do it like this:
+```firefly
+let pair = system.arguments().{
+    | [host] => Pair(host, 80)
+    | ["localhost", port] => Pair("localhost", port.grabInt())
+    | _ =>
+        system.writeErrorLine("Usage: 'localhost' | (host port)")
+        system.exit(0)
+}
+```
+In Firefly you construct a list of strings (`List[String]`) like this `["example.com", "80"]`, and using pattern matching you can de-construct in the same way.
+```firefly
+data.{
+    | pattern1 => // case 1
+    | pattern2 => // case N
+    ...
+}
+```
+The patterns must be exhaustive, that is, for any possible value of the given type, there must be a matching pattern. In the example above, there are no value for the empty list `[]` , list with two values, where the first is not `"localhost"` or lists with more than 2 arguments. That's why we need the wildcard case at the end. Without this last case, the compiler would produce a compile-time error, stating that the patterns must be exhaustive.
+Here are more examples — all exhaustive. Let's start with records:
+```firefly
+pair.{
+    | Pair(first, second) =>
+}
+```
+Numbers
+```firefly
+n.{
+    | 1 =>
+    | 2 =>
+    | n =>
+}
+```
+Booleans
+```firefly
+n.{
+    | True =>
+    | False =>
+}
+```
+And you can combine pattern as needed. Imagine you have a pair of type `Pair[List[Bool], Pair(Int, String)]`
+```firefly
+pair.{
+    | Pair([True, False], Pair(42, "foo")) =>
+    | other =>
+}
+```
+# Option
+Sometimes you don't have a value. Other languages uses null for this purpose, but Firefly does not have null. Instead, we have `Option` from the core package.
+```firefly
+data Option[T] {
+    None
+    Some(value: T)
+}
+```
+For some type `T`, say `String`, `Option[String]` is either some string or no value `None`. This way, the type system guides you to check for no-value.
+Many functions and methods returns an `Option` in Firefly. For instance the `getInt` method on `String`. This method returns `Some[Int]` when the string consists only of digits and `None` otherwise. We can perform pattern matching on Option like this:
+```firefly
+port.getInt().{
+    | None => 80
+    | Some(p) => p
+}
+```
+Many methods like `getInt` have a non-total counterpart `grabInt`, which returns an `Int`. But it will throw an exception when the input cannot be parsed. Options let's you code in an exception-safe manner.
+# if - elseIf - else
+You write if-statements in Firefly like this:
+```firefly
+if(path == "/") {
+    response.writeText("<!doctype html>")
+} elseIf {path.startsWith("/js/")} {
+    response.writeText("<script>")
+} else {
+    response.writeStatus("404 Not found")
+}
+```
+You can also use it as an expression like this
+```firefly
+let contentType = if(path == "/") {
+    "text/html; charset=UTF-8"
+} elseIf(directory2.exists) {
+    "text/javascript; charset=UTF-8"
+} else {
+    "text/plain; charset=UTF-8"
+}
+```
+`if`, `elseIf` and `else` are not keywords or construct build into Firefly. `if` is just a function defined like this:
+```firefly
+if[T](condition: Bool, body: () => T): Option[T] {
+    condition.{
+        | False => None
+        | True => Some(body())
+    }
+}
+```
+# Exceptions
+...

package/fireflysite/assets/markdown/scratch/Toc.md ADDED Viewed

@@ -0,0 +1,41 @@
+# A Firefly file
+# Base types
+Bool, Int, Float, Char, String
+# User defined types
+data, class, capability, newtype
+variant
+(EVariantIs)
+mutable fields, assign field
+copy
+Anonomous records
+# Statements
+let, mutable, assign
++=
+; (sequence)
+# Functions and methods
+signatures, type parameters
+{...}
+call, pipe
+Eta expansion
+extend
+Unit
+# Pattern matching
+# Traits and instances
+type parameters contraints (T: Ordered)
+# Exceptions
+# Packages and modules
+package
+.firefly/package.ff
+include
+dependency
+import
+# JavaScript interop
+target
+# Async I/O
+# Structured concurrency
+Shadowing
+Type inference
+Operator precedence

package/lsp/.firefly/package.ff CHANGED Viewed

	@@ -1 +1 @@
1	- dependency ff:compiler:0.0.0
1	+ dependency ff:compiler:0.0.0