functionalscript 0.41.0 → 0.43.0

package/nanvm-lib/tests/proof.f.d.ts

@@ -88,6 +88,15 @@ export declare const proof: {
         };
         function: () => void;
     };
+    mul: () => {
+        nullish: () => void;
+        boolean: () => void;
+        number: () => void;
+        bigint: () => void;
+        string: () => void;
+        array: () => void;
+        object: () => void;
+    };
     stringCoercion: {
         number: () => void;
         bool: () => void;

package/nanvm-lib/tests/proof.f.js

@@ -1,18 +1,19 @@
+import { assert } from '../../fjs/asserts/module.f.js';
 const { is } = Object;
 const ois = (a) => (b) => {
-    if (is(a, b)) { }
-    else {
-        throw [a, 'is', b];
-    }
+    assert(is(a, b), [a, 'is', b]);
 };
 const { isNaN } = Number;
 const nanRes = (op) => (n) => {
     const result = op(n);
-    if (!isNaN(result)) {
-        throw result;
-    }
+    assert(isNaN(result), result);
 };
 const stringCoercion = String;
+const multiply = (a) => (b) => a * b;
+const multiplyEq = (a) => (b) => (expected) => {
+    ois(multiply(a)(b))(expected);
+    ois(multiply(b)(a))(expected);
+};
 export const proof = {
     eq: () => {
         const e = (a) => (b) => {
@@ -174,6 +175,56 @@ export const proof = {
             function: () => nan(op(() => { }))
         };
     },
+    mul: () => {
+        return {
+            nullish: () => {
+                multiplyEq(null)(null)(0);
+                multiplyEq(null)(0)(0);
+                multiplyEq(undefined)(0)(NaN);
+            },
+            boolean: () => {
+                multiplyEq(true)(0)(0);
+                multiplyEq(true)(1)(1);
+                multiplyEq(true)(10)(10);
+                multiplyEq(false)(0)(0);
+                multiplyEq(false)(1)(0);
+                multiplyEq(false)(10)(0);
+            },
+            number: () => {
+                multiplyEq(0)(0)(0);
+                multiplyEq(0)(1)(0);
+                multiplyEq(1)(1)(1);
+                multiplyEq(1)(-1)(-1);
+                multiplyEq(1)(10)(10);
+                multiplyEq(-1)(10)(-10);
+                multiplyEq(10)(10)(100);
+                multiplyEq(-10)(10)(-100);
+            },
+            bigint: () => {
+                multiplyEq(0n)(0n)(0n);
+                multiplyEq(0n)(1n)(0n);
+                multiplyEq(1n)(1n)(1n);
+                multiplyEq(1n)(-1n)(-1n);
+                multiplyEq(1n)(10n)(10n);
+                multiplyEq(-1n)(10n)(-10n);
+                multiplyEq(10n)(10n)(100n);
+                multiplyEq(-10n)(10n)(-100n);
+            },
+            string: () => {
+                multiplyEq('')(1)(0);
+                multiplyEq('10')(1)(10);
+                multiplyEq('a')(1)(NaN);
+                multiplyEq('1n')(1)(NaN);
+            },
+            array: () => {
+                multiplyEq([])(1)(0);
+                multiplyEq([10])(1)(10);
+                multiplyEq(['10'])(1)(10);
+                multiplyEq([0, 0])(1)(NaN);
+            },
+            object: () => multiplyEq({})(1)(NaN)
+        };
+    },
     stringCoercion: {
         number: () => {
             if (stringCoercion(123) !== '123') {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "functionalscript",
-  "version": "0.41.0",
+  "version": "0.43.0",
   "type": "module",
   "files": [
     "**/*.js",
@@ -10,7 +10,7 @@
   "scripts": {
     "prepack": "tsc --NoEmit false",
     "test": "tsc && node ./fjs/module.ts t",
-    "cov": "node --test --experimental-test-coverage --test-coverage-include=**/module.f.ts",
+    "cov": "node --test --experimental-test-coverage --test-coverage-include=**/module.f.ts --test-coverage-include=**/module.f.mjs",
     "start": "node ./fjs/module.ts",
     "ci-update": "node ./fjs/module.ts ci",
     "dev-update": "node ./fjs/module.ts r ./fjs/dev/update/module.f.ts",