firefly-compiler 0.4.34 → 0.4.36

package/bin/Release.ff

@@ -1,6 +1,49 @@
 nodeMain(system: NodeSystem) {
-    let result = system.execute("npm", ["-v"])
-    Log.trace("exitCode: " + result.exitCode)
-    Log.trace("out: " + result.standardOut.toString())
-    Log.trace("err: " + result.standardError.toString())
+    run(system, "node", ["output/js/ff/compiler/Main.mjs", "bootstrap"], system.path(".."))
+    run(system, "node", ["output/js/ff/compiler/Main.mjs", "bootstrap"], system.path(".."))
+    run(system, "node", ["output/js/ff/compiler/Main.mjs", "bootstrap"], system.path(".."))
+    bumpMinorVersion(system, system.path("../package.json"))
+    bumpMinorVersion(system, system.path("../vscode/package.json"))
+    run(system, "npm", ["publish"], system.path(".."))
+    run(system, "vsce", ["publish"], system.path("../vscode"))
+    // tar gz core etc. and upload to s3
+}
+
+run(system: NodeSystem, command: String, arguments: List[String], workingDirectory: Path) {
+    system.writeLine("")
+    system.writeLine(command + " " + arguments.join(" "))
+    let out = system.execute(command, arguments, workingDirectory = Some(workingDirectory))
+    system.writeBuffer(out.standardOut)
+    system.writeErrorBuffer(out.standardError)
+    if(out.exitCode != 0) {
+        system.writeErrorLine("Exit code: " + out.exitCode)
+        system.exit(1)
+    }
+}
+
+bumpMinorVersion(system: NodeSystem, packageJsonPath: Path) {
+    let prefix = "    \"version\": \""
+    mutable bumps = 0
+    system.writeLine("")
+    system.writeLine("Bumping version in " + packageJsonPath.absolute())
+    let newContent = packageJsonPath.readText().lines().map {
+        | line {
+            line.removeFirst(prefix).flatMap {_.removeLast("\",")} | Some(v)
+        } {
+            v.split('.') | [major, minor, patch]
+        } {
+            patch.getInt() | Some(p)
+        } => 
+            bumps += 1
+            let newVersion = major + "." + minor + "." + (p + 1)
+            system.writeLine("Will bump version: " + v + " to " + newVersion)
+            prefix + newVersion + "\","
+        | line => 
+            line
+    }.join("\n")
+    if(bumps != 1) {
+        system.writeErrorLine("Failed to bump version.")
+        system.exit(1)
+    }
+    packageJsonPath.writeText(newContent)
 }

package/compiler/Compiler.ff

@@ -66,6 +66,7 @@ coreImports: List[DImport] =
         "Channel"
         "Char"
         "Core"
+        "Crypto"
         "Duration"
         "Equal"
         "Error"

package/core/Crypto.ff

@@ -0,0 +1,95 @@
+capability Crypto {}
+
+extend self: Crypto {
+    
+    randomUuid(): String
+        target js async """
+            return self_.randomUUID();
+        """
+    
+    randomBuffer(size: Int): Buffer {
+        let buffer = Buffer.new(size)
+        self.randomizeBuffer(buffer)
+        buffer
+    }
+
+    randomizeBuffer(buffer: Buffer): Unit
+        target js async """
+            self_.getRandomValues(new Uint8Array(buffer_.buffer, buffer_.byteOffset, buffer_.byteLength));
+        """
+
+    hmacSha256(key: Buffer, buffer: Buffer): Buffer
+        target js async """
+            const cryptoKey = await self_.subtle.importKey(
+                'raw',
+                key_,
+                {name: 'HMAC', hash: {name: 'SHA-256'}},
+                false, 
+                ['sign']
+            );
+            const signature = await self_.subtle.sign(
+                'HMAC', 
+                cryptoKey, 
+                buffer_
+            );
+            return new DataView(signature);
+        """
+        
+    sha256(buffer: Buffer): Buffer 
+        target js async """
+            let hash = await self_.subtle.digest('SHA-256', buffer_);
+            return new DataView(hash);
+        """
+
+    makePasswordHash(password: String, iterations: Int = 100000): String {
+        let salt = self.randomBuffer(16)
+        let hash = internalMakePasswordHash(salt, password.toBuffer(), iterations)
+        "PSG_" + iterations + "_" + salt.toHex() + "_" + hash.toHex()
+    }
+    
+    checkPasswordHash(password: String, passwordHash: String): Bool {
+        passwordHash.split('_').{
+            | ["PSG", iterationsText, saltText, hashText] {iterationsText.getInt() | Some(iterations)} =>
+                let computedHash = internalMakePasswordHash(Buffer.fromHex(saltText), password.toBuffer(), iterations)
+                let hash = Buffer.fromHex(hashText)
+                self.constantTimeEquals(computedHash, hash)
+            | _ => False
+        }
+    }
+    
+    constantTimeEquals(buffer1: Buffer, buffer2: Buffer): Bool {
+        if(buffer1.size() != buffer2.size()) {False} else: 
+        mutable v = 0
+        mutable i = 0
+        while {i < buffer1.size()} {
+            v = v.bitOr(buffer1.grabUint8(i).bitXor(buffer2.grabUint8(i))) 
+        }
+        v == 0
+    }
+
+}
+
+internalMakePasswordHash(salt: Buffer, password: Buffer, iterations: Int): Buffer
+    target js async """
+        const keyMaterial = await crypto.subtle.importKey(
+            'raw',
+            password_,
+            {name: 'PBKDF2'},
+            false,
+            ['deriveKey']
+        );
+        const derivedKey = await crypto.subtle.deriveKey(
+            {
+                name: 'PBKDF2',
+                salt: salt_,
+                iterations: iterations_,
+                hash: 'SHA-256'
+            },
+            keyMaterial,
+            {name: 'AES-GCM', length: 256},
+            true,
+            ['encrypt', 'decrypt']
+        );
+        const hashBuffer = await crypto.subtle.exportKey('raw', derivedKey);
+        return new DataView(hashBuffer);
+    """

package/core/NodeSystem.ff

@@ -45,6 +45,9 @@ extend self: NodeSystem {
     mainTask(): Task
         target js async "return self_.task_"
 
+    crypto()
+        target js async "return (typeof globalThis !== 'undefined' ? globalThis : window).crypto"
+
     js(): JsSystem
         target js async "return typeof globalThis !== 'undefined' ? globalThis : window"
 
@@ -156,7 +159,7 @@ extend self: NodeSystem {
                     const o = Buffer.concat(out);
                     const e = Buffer.concat(err);
                     resolve(ProcessResult(
-                        size > maxBuffer_ ? -1 : code,
+                        code,
                         new DataView(o.buffer, o.byteOffset, o.byteLength),
                         new DataView(e.buffer, e.byteOffset, e.byteLength),
                     ));

package/core/Pair.ff

@@ -49,3 +49,12 @@ extend self[A: Order, B]: Pair[A, B] {
     }
 
 }
+
+
+extend self: Pair[String, String] {
+
+    join(separator: String = ""): String {
+        self.first + separator + self.second
+    }
+
+}

package/crypto/SubtleCrypto.ff

@@ -0,0 +1,149 @@
+import Crypto from ff:core
+
+capability SubtleCrypto(crypto: Crypto)
+
+data CryptoKey {}
+
+data CryptoKeyUsages(
+    encrypt: Bool = False
+    decrypt: Bool = False
+    sign: Bool = False
+    verify: Bool = False
+    deriveKey: Bool = False
+    deriveBits: Bool = False
+    wrapKey: Bool = False
+    unwrapKey: Bool = False
+)
+
+class CryptoCipher {
+    RsaOaep(label: Option[String] = None)
+    AesCtr(counter: Buffer, length: Int)
+    AesCbc(initializationVector: Buffer)
+    AesGcm(initializationVector: Buffer, additionalData: Option[Buffer] = None, tagLength: Int = 128)
+}
+
+class CryptoDeriver {
+    Ecdh(public: CryptoKey)
+    Hkdf(hash: CryptoDigest, salt: Buffer, info: Buffer)
+    Pbkdf2(hash: CryptoDigest, salt: Buffer, iterations: Int)
+}
+
+class CryptoGenerator {
+    HmacGenerator(hash: CryptoDigest, length: Option[Int])
+    AesCtrGenerator(length: Int)
+    AesCbcGenerator(length: Int)
+    AesGcmGenerator(length: Int)
+    AesKwGenerator(length: Int)
+    HkdfGenerator(hash: CryptoDigest, salt: Buffer, info: Buffer)
+    Pbkdf2Generator(hash: CryptoDigest, salt: Buffer, iterations: Int)
+}
+
+class CryptoSigner {
+    RsassaPkcs1V15
+    RsaPss(saltLength: Int)
+    Ecdsa(hash: CryptoDigest)
+    Hmac
+}
+
+data CryptoDigest {
+    Sha512
+    Sha384
+    Sha256
+    Sha1
+}
+
+extend self: SubtleCrypto {
+
+    encrypt(algorithm: CryptoCipher, key: CryptoKey, data: Buffer): Buffer
+        target js async """
+            const a = internalAlgorithm_(algorithm_);
+            return new DataView(await self_.encrypt(a, key_, data_));
+        """
+
+    decrypt(algorithm: CryptoCipher, key: CryptoKey, data: Buffer): Buffer
+        target js async """
+            const a = internalAlgorithm_(algorithm_);
+            return new DataView(await self_.decrypt(a, key_, data_));
+        """
+
+    sign(algorithm: CryptoSigner, key: CryptoKey, data: Buffer): Buffer
+        target js async """
+            const a = internalAlgorithm_(algorithm_);
+            return new DataView(await self_.sign(a, key_, data_));
+        """
+
+    verify(algorithm: CryptoSigner, key: CryptoKey, data: Buffer): Bool
+        target js async """
+            const a = internalAlgorithm_(algorithm_);
+            return await self_.verify(a, key_, data_);
+        """
+
+    digest(algorithm: CryptoDigest, data: Buffer): Buffer
+        target js async """
+            const a = internalAlgorithm_(algorithm_);
+            return new DataView(await self_.digest(a, data_));
+        """
+        
+    deriveBits(algorithm: CryptoDeriver, key: CryptoKey, bits: Int): Buffer
+        target js async """
+            const a = internalAlgorithm_(algorithm_);
+            return new DataView(await self_.deriveBits(a, key_, bits_));
+        """
+        
+    deriveKey(
+        algorithm: CryptoDeriver
+        baseKey: CryptoKey
+        derivedKeyAlgorithm: CryptoGenerator
+        extractable: Bool
+        keyUsages: CryptoKeyUsages
+    ): CryptoKey
+        target js async """
+            const a = internalAlgorithm_(algorithm_);
+            const d = internalAlgorithm_(derivedKeyAlgorithm_);
+            const u = internalKeyUsages_(keyUsages_);
+            return await self_.deriveKey(a, baseKey_, d, extractable_, u);
+        """    
+
+}
+
+internalAlgorithm(algorithm: JsValue): JsValue
+    target js sync """
+        if(algorithm_.Sha512) return 'SHA-512';
+        if(algorithm_.Sha384) return 'SHA-384';
+        if(algorithm_.Sha256) return 'SHA-256';
+        if(algorithm_.Sha1) return 'SHA-1';
+        if(algorithm_.RsassaPkcs1V15) return 'RSASSA-PKCS1-v1_5';
+        if(algorithm_.RsaPss) return {name: 'RSA-PSS', saltLength: algorithm_.saltLength_};
+        if(algorithm_.Ecdsa) return {name: 'ECDSA', hash: internalAlgorithm_(algorithm_.hash_)};
+        if(algorithm_.Hmac) return 'HMAC';
+        if(algorithm_.Ecdh) return {name: 'ECDH', public: algorithm_.public_};
+        if(algorithm_.Hkdf) return {name: 'HKDF', hash: internalAlgorithm_(algorithm_.hash_), salt: algorithm_.salt_, info: algorithm_.info_};
+        if(algorithm_.Pbkdf2) return {name: 'PBKDF2', hash: internalAlgorithm_(algorithm_.hash_), salt: algorithm_.salt_, iterations: algorithm_.iterations_};
+        if(algorithm_.RsaOaep) return {name: "RSA-OAEP", label: algorithm_.label_.value_};
+        if(algorithm_.AesCtr) return {name: "AES-CTR", counter: algorithm_.counter_, length: algorithm_.length_};
+        if(algorithm_.AesCbc) return {name: "AES-CBC", iv: algorithm_.initializationVector_};
+        if(algorithm_.AesGcm) return {name: "AES-GCM", iv: algorithm_.initializationVector_, additionalData: algorithm_.value_, tagLength: algorithm_.tagLength_};
+        // Turns out, generateKey has different parameters - think about naming
+        if(algorithm_.HmacGenerator) return {name: 'HMAC', hash: internalAlgorithm_(algorithm_.hash_), length: algorithm_.length_.value_};
+        if(algorithm_.AesCtrGenerator) return {name: 'AES-CTR', length: algorithm_.length_};
+        if(algorithm_.AesCbcGenerator) return {name: 'AES-CBC', length: algorithm_.length_};
+        if(algorithm_.AesGcmGenerator) return {name: 'AES-GCM', length: algorithm_.length_};
+        if(algorithm_.AesKwGenerator) return {name: 'AES-KW', length: algorithm_.length_};
+        if(algorithm_.HkdfGenerator) return {name: 'HKDF', hash: internalAlgorithm_(algorithm_.hash_), salt: algorithm_.salt_, info: algorithm_.info_};
+        if(algorithm_.Pbkdf2Generator) return {name: 'PBKDF2', hash: internalAlgorithm_(algorithm_.hash_), salt: algorithm_.salt_, iterations: algorithm_.iterations_};
+        throw new Error('No such algorithm');
+    """
+
+internalKeyUsages(keyUsages: JsValue): JsValue
+    target js sync """
+        const u = [];
+        if(keyUsages_.encrypt_) u.push('encrypt');
+        if(keyUsages_.decrypt_) u.push('decrypt');
+        if(keyUsages_.sign_) u.push('sign');
+        if(keyUsages_.verify_) u.push('verify');
+        if(keyUsages_.deriveKey_) u.push('deriveKey');
+        if(keyUsages_.deriveBits_) u.push('deriveBits');
+        if(keyUsages_.wrapKey_) u.push('wrapKey');
+        if(keyUsages_.unwrapKey_) u.push('unwrapKey');
+        return u;
+    """

package/experimental/s3/S3.ff

@@ -0,0 +1,93 @@
+put(
+    system: NodeSystem
+    accessKeyId: String
+    secretAccessKey: String
+    region: String
+    bucket: String
+    objectKey: String
+    body: Buffer
+    headers: List[Pair[String, String]]
+): Unit {
+    let now = system.mainTask().now()
+    let amzDate = toIsoString(now)
+    let contentHash = Digest.sha256(body).toHex()
+    let host = bucket + ".s3.amazonaws.com"
+    let encodedKey = encode(objectKey)
+    let canonicalHeaders = [
+        Pair("host", host)
+        Pair("x-amz-date", amzDate)
+        Pair("x-amz-content-sha256", contentHash)
+        ...headers
+    ]
+    let authenticationHeader = makeS3AuthorizationHeader(system, accessKeyId, secretAccessKey, region, bucket, encodedKey, body, canonicalHeaders, amzDate)
+    let allHeaders = [...canonicalHeaders, Pair("Authorization", authenticationHeader)]
+    
+    let url = "https://" + host + "/" + encodedKey
+    let response = system.httpClient().fetch(url, method = "PUT", headers = allHeaders, body = Some(HttpClient.bodyBuffer(body)), throw = False)
+    system.writeLine("" + response.status())
+    system.writeLine(response.statusText())
+    system.writeLine(response.readText())
+}
+
+makeS3AuthorizationHeader(
+    system: NodeSystem
+    accessKeyId: String
+    secretAccessKey: String
+    region: String
+    bucket: String
+    encodedKey: String
+    body: Buffer
+    canonicalHeaders: List[Pair[String, String]]
+    amzDate: String
+): String {
+    // CanonicalRequest
+    let canonicalQuerystring = "";
+    let contentHash = system.crypto().sha256(body).toHex()
+    let headers = canonicalHeaders.map {_.mapFirst {_.lower()}.mapSecond {_.trim()}}.sort()
+    let signedHeaders = headers.map {_.first}.join(";")
+    let canonicalRequest = [
+        "PUT"
+        "/" + encodedKey
+        canonicalQuerystring
+        ...headers.map {p => p.first + ":" + p.second}
+        ""
+        signedHeaders
+        contentHash
+    ].join("\n")
+    
+    // StringToSign
+    let scopeDate = amzDate.slice(0, 8) // YYYYMMDD
+    let credentialScope = [scopeDate, region, "s3", "aws4_request"].join("/")
+    let algorithm = "AWS4-HMAC-SHA256"
+    let stringToSign = [
+        algorithm
+        amzDate
+        credentialScope
+        system.crypto().sha256(canonicalRequest.toBuffer()).toHex()
+    ].join("\n")
+
+    function hmacSha256(key: Buffer, message: String): Buffer {
+        system.crypto().hmacSha256(key, message.toBuffer())
+    }
+    
+    // Signature
+    let signingKey = hmacSha256(hmacSha256(hmacSha256(hmacSha256(("AWS4" + secretAccessKey).toBuffer(), scopeDate), region), "s3"), "aws4_request")
+    let signature = hmacSha256(signingKey, stringToSign).toHex()
+
+    algorithm + " Credential=" + accessKeyId + "/" + credentialScope + ",SignedHeaders=" + signedHeaders + ",Signature=" + signature
+}
+
+toIsoString(instant: Instant): String
+    target js sync """
+        const d = new Date(instant_ * 1000);
+        return d.toISOString().replaceAll(/[-:]|[.].../g, "");
+    """
+
+encodeURIComponent(text: String): String 
+    target js sync """
+        return encodeURIComponent(text_);
+    """
+    
+encode(text: String): String {
+    text.split('/').map {encodeURIComponent(_)}.join("/")
+}

package/experimental/s3/S3TestAuthorizationHeader.ff

@@ -0,0 +1,39 @@
+import S3
+
+nodeMain(system: NodeSystem) {
+    // Trying to reproduce the result from an example here 
+    // https://docs.aws.amazon.com/AmazonS3/latest/API/sig-v4-header-based-auth.html
+    let expectedHeader = "AWS4-HMAC-SHA256 Credential=AKIAIOSFODNN7EXAMPLE/20130524/us-east-1/s3/aws4_request,SignedHeaders=date;host;x-amz-content-sha256;x-amz-date;x-amz-storage-class,Signature=98ad721746da40c64f1a55b78f14c238d841ea1380cd77a1b5971af0ece108bd"
+    let amzDate = "20130524T000000Z" // TODO
+    let headerDate = "Fri, 24 May 2013 00:00:00 GMT" // TODO
+    let bucket = "examplebucket"
+    let body = "Welcome to Amazon S3.".toBuffer()
+    let actualHeader = S3.makeS3AuthorizationHeader(
+        system = system
+        accessKeyId = "AKIAIOSFODNN7EXAMPLE"
+        secretAccessKey = "wJalrXUtnFEMI/K7MDENG/bPxRfiCYEXAMPLEKEY"
+        region = "us-east-1"
+        bucket = bucket
+        encodedKey = S3.encode("test$file.text")
+        body = body
+        canonicalHeaders = [
+            Pair("date", headerDate) 
+            Pair("host", bucket + ".s3.amazonaws.com")
+            Pair("x-amz-date", amzDate)
+            Pair("x-amz-content-sha256", system.crypto().sha256(body).toHex())
+            Pair("x-amz-storage-class", "REDUCED_REDUNDANCY")
+        ]        
+        amzDate = amzDate
+    )
+    system.writeLine("")
+    system.writeLine("actual  : " + actualHeader)
+    system.writeLine("")
+    system.writeLine("expected: " + expectedHeader)
+    
+    system.writeLine("")
+    if(actualHeader == expectedHeader) {
+        system.writeLine("Test passed")
+    } else {
+        system.writeLine("Test failed")
+    }
+}

package/experimental/s3/S3TestPut.ff

@@ -0,0 +1,16 @@
+import S3
+
+nodeMain(system: NodeSystem) {
+    S3.put(system, 
+        accessKeyId = ""
+        secretAccessKey = ""
+        region = "eu-central-1"
+        bucket = "firefly-site"
+        objectKey = "tmp/test4"
+        "Hello S3 3".toBuffer()
+        headers = [
+            //Pair("x-amz-storage-class", "REDUCED_REDUNDANCY")
+            Pair("Content-Type", "text/plain")            
+        ]
+    )
+}

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

@@ -46,6 +46,8 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
+
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 
 import * as ff_core_Equal from "../../ff/core/Equal.mjs"

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

@@ -46,6 +46,8 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
+
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 
 import * as ff_core_Equal from "../../ff/core/Equal.mjs"
@@ -117,7 +119,7 @@ export function Compiler(emitTarget_, task_, compilerModulePath_, jsOutputPath_,
 return {emitTarget_, task_, compilerModulePath_, jsOutputPath_, packagePaths_, singleFilePackages_, virtualFiles_, cache_, lspHook_, phaseDurationDelta_, phaseDurations_};
 }
 
-export const coreImports_ = ff_core_List.List_map(["Any", "Array", "AssetSystem", "Atomic", "Bool", "BrowserSystem", "Buffer", "BuildSystem", "Channel", "Char", "Core", "Duration", "Equal", "Error", "FileHandle", "Float", "HttpClient", "Instant", "Int", "IntMap", "Json", "JsValue", "JsSystem", "List", "Lock", "Log", "Map", "NodeSystem", "Nothing", "Option", "Ordering", "Pair", "Path", "Random", "Serializable", "Set", "Show", "SourceLocation", "Stream", "String", "StringMap", "Task", "Try", "Unit"], ((moduleName_) => {
+export const coreImports_ = ff_core_List.List_map(["Any", "Array", "AssetSystem", "Atomic", "Bool", "BrowserSystem", "Buffer", "BuildSystem", "Channel", "Char", "Core", "Crypto", "Duration", "Equal", "Error", "FileHandle", "Float", "HttpClient", "Instant", "Int", "IntMap", "Json", "JsValue", "JsSystem", "List", "Lock", "Log", "Map", "NodeSystem", "Nothing", "Option", "Ordering", "Pair", "Path", "Random", "Serializable", "Set", "Show", "SourceLocation", "Stream", "String", "StringMap", "Task", "Try", "Unit"], ((moduleName_) => {
 return ff_compiler_Syntax.DImport(ff_compiler_Syntax.Location("<prelude>", 1, 1), moduleName_, ff_compiler_Syntax.PackagePair("ff", "core"), [], moduleName_)
 }));
 

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

@@ -36,6 +36,8 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
+
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 
 import * as ff_core_Equal from "../../ff/core/Equal.mjs"

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

@@ -24,6 +24,8 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
+
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 
 import * as ff_core_Equal from "../../ff/core/Equal.mjs"

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

@@ -26,6 +26,8 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
+
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 
 import * as ff_core_Equal from "../../ff/core/Equal.mjs"

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

@@ -30,6 +30,8 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
+
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 
 import * as ff_core_Equal from "../../ff/core/Equal.mjs"

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

@@ -26,6 +26,8 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
+
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 
 import * as ff_core_Equal from "../../ff/core/Equal.mjs"

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

@@ -34,6 +34,8 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
+
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 
 import * as ff_core_Equal from "../../ff/core/Equal.mjs"

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

@@ -30,6 +30,8 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
+
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 
 import * as ff_core_Equal from "../../ff/core/Equal.mjs"

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

@@ -26,6 +26,8 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
+
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 
 import * as ff_core_Equal from "../../ff/core/Equal.mjs"

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

@@ -30,6 +30,8 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
+
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 
 import * as ff_core_Equal from "../../ff/core/Equal.mjs"

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

@@ -50,6 +50,8 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
+
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 
 import * as ff_core_Equal from "../../ff/core/Equal.mjs"

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

@@ -26,6 +26,8 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
+
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 
 import * as ff_core_Equal from "../../ff/core/Equal.mjs"

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

@@ -32,6 +32,8 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
+
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 
 import * as ff_core_Equal from "../../ff/core/Equal.mjs"

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

@@ -26,6 +26,8 @@ import * as ff_core_Char from "../../ff/core/Char.mjs"
 
 import * as ff_core_Core from "../../ff/core/Core.mjs"
 
+import * as ff_core_Crypto from "../../ff/core/Crypto.mjs"
+
 import * as ff_core_Duration from "../../ff/core/Duration.mjs"
 
 import * as ff_core_Equal from "../../ff/core/Equal.mjs"