functionalscript 0.37.0 → 0.38.0

package/{fs → fjs}/djs/parser/proof.f.js

@@ -5,6 +5,7 @@ import { sort } from '../../types/object/module.f.js';
 import { stringToList } from '../../text/utf16/module.f.js';
 import { stringifyAsTree } from '../serializer/module.f.js';
 import { stringify } from '../../media/json/module.f.js';
+import { assert, assertEq } from '../../asserts/module.f.js';
 const tokenizeString = s => toArray(tokenize(stringToList(s))(''));
 const stringifyDjsModule = stringifyAsTree(sort);
 export const proof = {
@@ -12,130 +13,84 @@ export const proof = {
         () => {
             const tokenList = tokenizeString('export default null');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
-            if (result !== '[[],[null]]') {
-                throw result;
-            }
+            assertEq(result, '[[],[null]]');
         },
         () => {
             const tokenList = tokenizeString('export default true');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
-            if (result !== '[[],[true]]') {
-                throw result;
-            }
+            assertEq(result, '[[],[true]]');
         },
         () => {
             const tokenList = tokenizeString('export default false');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
-            if (result !== '[[],[false]]') {
-                throw result;
-            }
+            assertEq(result, '[[],[false]]');
         },
         () => {
             const tokenList = tokenizeString('export default undefined');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
-            if (result !== '[[],[undefined]]') {
-                throw result;
-            }
+            assertEq(result, '[[],[undefined]]');
         },
         () => {
             const tokenList = tokenizeString('export default 0.1');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
-            if (result !== '[[],[0.1]]') {
-                throw result;
-            }
+            assertEq(result, '[[],[0.1]]');
         },
         () => {
             const tokenList = tokenizeString('export default 1.1e+2');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
-            if (result !== '[[],[110]]') {
-                throw result;
-            }
+            assertEq(result, '[[],[110]]');
         },
         () => {
             const tokenList = tokenizeString('export default "abc"');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
-            if (result !== '[[],["abc"]]') {
-                throw result;
-            }
+            assertEq(result, '[[],["abc"]]');
         },
         () => {
             const tokenList = tokenizeString('export default []');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
-            if (result !== '[[],[["array",[]]]]') {
-                throw result;
-            }
+            assertEq(result, '[[],[["array",[]]]]');
         },
         () => {
             const tokenList = tokenizeString('export default [1]');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
-            if (result !== '[[],[["array",[1]]]]') {
-                throw result;
-            }
+            assertEq(result, '[[],[["array",[1]]]]');
         },
         () => {
             const tokenList = tokenizeString('export default [[]]');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
-            if (result !== '[[],[["array",[["array",[]]]]]]') {
-                throw result;
-            }
+            assertEq(result, '[[],[["array",[["array",[]]]]]]');
         },
         () => {
             const tokenList = tokenizeString('export default [0,[1,[2,[]]],3]');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
-            if (result !== '[[],[["array",[0,["array",[1,["array",[2,["array",[]]]]]],3]]]]') {
-                throw result;
-            }
+            assertEq(result, '[[],[["array",[0,["array",[1,["array",[2,["array",[]]]]]],3]]]]');
         },
         () => {
             const tokenList = tokenizeString('export default {}');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
             if (result !== '[[],[{}]]') {
                 throw result;
@@ -144,9 +99,7 @@ export const proof = {
         () => {
             const tokenList = tokenizeString('export default [{}]');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
             if (result !== '[[],[["array",[{}]]]]') {
                 throw result;
@@ -155,9 +108,7 @@ export const proof = {
         () => {
             const tokenList = tokenizeString('export default {"a":true,"b":false,"c":null,"d":undefined}');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
             if (result !== '[[],[{"a":true,"b":false,"c":null,"d":undefined}]]') {
                 throw result;
@@ -166,9 +117,7 @@ export const proof = {
         () => {
             const tokenList = tokenizeString('export default {"a":{"b":{"c":["d"]}}}');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
             if (result !== '[[],[{"a":{"b":{"c":["array",["d"]]}}}]]') {
                 throw result;
@@ -177,9 +126,7 @@ export const proof = {
         () => {
             const tokenList = tokenizeString('export default {a: 1}');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
             if (result !== '[[],[{"a":1}]]') {
                 throw result;
@@ -188,42 +135,28 @@ export const proof = {
         () => {
             const tokenList = tokenizeString('export default 1234567890n');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
-            if (result !== '[[],[1234567890n]]') {
-                throw result;
-            }
+            assertEq(result, '[[],[1234567890n]]');
         },
         () => {
             const tokenList = tokenizeString('export default [1234567890n]');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
-            if (result !== '[[],[["array",[1234567890n]]]]') {
-                throw result;
-            }
+            assertEq(result, '[[],[["array",[1234567890n]]]]');
         },
         () => {
             const tokenList = tokenizeString('export default [1,]');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
-            if (result !== '[[],[["array",[1]]]]') {
-                throw result;
-            }
+            assertEq(result, '[[],[["array",[1]]]]');
         },
         () => {
             const tokenList = tokenizeString('export default {"a":1,}');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
             if (result !== '[[],[{"a":1}]]') {
                 throw result;
@@ -234,245 +167,154 @@ export const proof = {
         () => {
             const tokenList = tokenizeString('export default');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected end') {
-                throw obj[1].message;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected end');
         },
         () => {
             const tokenList = tokenizeString('export default "123');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj[1].message;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token');
         },
         // A literal control character inside a string is not valid JSON
         // syntax (RFC 8259 §7), and DJS string literals are JSON strings.
         () => {
             const tokenList = tokenizeString('export default "\t"');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj[1].message;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token');
         },
         () => {
             const tokenList = tokenizeString('export default [,]');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj[1].message;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token');
         },
         () => {
             const tokenList = tokenizeString('export default [1 2]');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj[1].message;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token');
         },
         () => {
             const tokenList = tokenizeString('export default [1,,2]');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj[1].message;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token');
         },
         () => {
             const tokenList = tokenizeString('export default []]');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj[1].message;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token');
         },
         () => {
             const tokenList = tokenizeString('export default ["a"');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected end') {
-                throw obj[1].message;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected end');
         },
         () => {
             const tokenList = tokenizeString('export default [,1]');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj[1].message;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token');
         },
         () => {
             const tokenList = tokenizeString('export default [:]');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj[1].message;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token');
         },
         () => {
             const tokenList = tokenizeString('export default ]');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj[1].message;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token');
         },
         () => {
             const tokenList = tokenizeString('export default {,}');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj[1].message;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token');
         },
         () => {
             const tokenList = tokenizeString('export default {1:2}');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj[1].message;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token');
         },
         () => {
             const tokenList = tokenizeString('export default {"1"2}');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj[1].message;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token');
         },
         () => {
             const tokenList = tokenizeString('export default {"1"::2}');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj[1].message;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token');
         },
         () => {
             const tokenList = tokenizeString('export default {"1":2,,"3":4');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj[1].message;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token');
         },
         () => {
             const tokenList = tokenizeString('export default {}}');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj[1].message;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token');
         },
         () => {
             const tokenList = tokenizeString('export default {"1":2');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected end') {
-                throw obj[1].message;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected end');
         },
         () => {
             const tokenList = tokenizeString('export default {,"1":2}');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj[1].message;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token');
         },
         () => {
             const tokenList = tokenizeString('export default }');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj[1].message;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token');
         },
         () => {
             const tokenList = tokenizeString('export default [{]}');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj[1].message;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token');
         },
         () => {
             const tokenList = tokenizeString('export default {[}]');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj[1].message;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token');
         },
         () => {
             const tokenList = tokenizeString('export default 10-5');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj[1].message;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token');
         },
     ],
     errorMetadata: [
         () => {
+            // column 17 is the ',' itself — the tokenizer's metadata is start-anchored
+            // (each token's own position), unlike the previous tokenizer's metadata, which
+            // lagged by one token (an artifact of when its state machine flushed a token).
             const tokenList = tokenizeString('export default [,]');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
+            assert(obj[0] === 'error', obj);
             const errorString = stringify(sort)(obj[1]);
-            if (errorString !== '{"message":"unexpected token","metadata":{"column":18,"line":1,"path":""}}') {
+            if (errorString !== '{"message":"unexpected token","metadata":{"column":17,"line":1,"path":""}}') {
                 throw errorString;
             }
         },
@@ -481,20 +323,14 @@ export const proof = {
         () => {
             const tokenList = tokenizeString(' export default [ 0 , 1 , 2 ] ');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
-            if (result !== '[[],[["array",[0,1,2]]]]') {
-                throw result;
-            }
+            assertEq(result, '[[],[["array",[0,1,2]]]]');
         },
         () => {
             const tokenList = tokenizeString(' export default { "a" : 0 , "b" : 1 } ');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
             if (result !== '[[],[{"a":0,"b":1}]]') {
                 throw result;
@@ -503,20 +339,14 @@ export const proof = {
         () => {
             const tokenList = tokenizeString('\nexport\ndefault\n[\n0\n,\n1\n,\n2\n]\n');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
-            if (result !== '[[],[["array",[0,1,2]]]]') {
-                throw result;
-            }
+            assertEq(result, '[[],[["array",[0,1,2]]]]');
         },
         () => {
             const tokenList = tokenizeString('\rexport\rdefault\r{\r"a"\r:\r0\r,\r"b"\r:\r1\r}\r');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
             if (result !== '[[],[{"a":0,"b":1}]]') {
                 throw result;
@@ -527,42 +357,28 @@ export const proof = {
         () => {
             const tokenList = tokenizeString('null');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
-            if (result !== '[[],[null]]') {
-                throw result;
-            }
+            assertEq(result, '[[],[null]]');
         },
         () => {
             const tokenList = tokenizeString('1');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
-            if (result !== '[[],[1]]') {
-                throw result;
-            }
+            assertEq(result, '[[],[1]]');
         },
         () => {
             const tokenList = tokenizeString('[]');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
-            if (result !== '[[],[["array",[]]]]') {
-                throw result;
-            }
+            assertEq(result, '[[],[["array",[]]]]');
         },
         () => {
             const tokenList = tokenizeString('{"valid":"json"}');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
             if (result !== '[[],[{"valid":"json"}]]') {
                 throw result;
@@ -573,74 +389,48 @@ export const proof = {
         () => {
             const tokenList = tokenizeString('module=null');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'const not found') {
-                throw obj;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'const not found', obj);
         },
         () => {
             const tokenList = tokenizeString('export null');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token', obj);
         },
         () => {
             const tokenList = tokenizeString('export default = null');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token', obj);
         },
     ],
     validWithConst: [
         () => {
             const tokenList = tokenizeString('const a = 1 \n const b = 2 \n export default 3');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
-            if (result !== '[[],[1,2,3]]') {
-                throw result;
-            }
+            assertEq(result, '[[],[1,2,3]]');
         },
         () => {
             const tokenList = tokenizeString('const a = 1 \n const b = 2 \n export default b');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
-            if (result !== '[[],[1,2,["cref",1]]]') {
-                throw result;
-            }
+            assertEq(result, '[[],[1,2,["cref",1]]]');
         },
         () => {
             const tokenList = tokenizeString('const a = 1 \n const b = 2 \n export default [b,a,b]');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
-            if (result !== '[[],[1,2,["array",[["cref",1],["cref",0],["cref",1]]]]]') {
-                throw result;
-            }
+            assertEq(result, '[[],[1,2,["array",[["cref",1],["cref",0],["cref",1]]]]]');
         },
         () => {
             const tokenList = tokenizeString('const a = 1 \n const b = 2 \n export default {"1st":b,"2nd":a,"3rd":b}');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
             if (result !== '[[],[1,2,{"1st":["cref",1],"2nd":["cref",0],"3rd":["cref",1]}]]') {
                 throw result;
@@ -651,142 +441,90 @@ export const proof = {
         () => {
             const tokenList = tokenizeString('const a = 1 const b = 2 export default 3');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token', obj);
         },
         () => {
             const tokenList = tokenizeString('const = 1 \n const b = 2 \n export default 3');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token', obj);
         },
         () => {
             const tokenList = tokenizeString('const a = 1 \n const a = 2 \n export default 3');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'duplicate id') {
-                throw obj;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'duplicate id', obj);
         },
     ],
     validWithArgs: [
         () => {
             const tokenList = tokenizeString('import a from "test/test.f.mjs" \n export default a');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
-            if (result !== '[["test/test.f.mjs"],[["aref",0]]]') {
-                throw result;
-            }
+            assertEq(result, '[["test/test.f.mjs"],[["aref",0]]]');
         },
         () => {
             const tokenList = tokenizeString('import a from "first/test.f.mjs" \n import b from "second/test.f.mjs" \n export default [b, a, b]');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
-            if (result !== '[["first/test.f.mjs","second/test.f.mjs"],[["array",[["aref",1],["aref",0],["aref",1]]]]]') {
-                throw result;
-            }
+            assertEq(result, '[["first/test.f.mjs","second/test.f.mjs"],[["array",[["aref",1],["aref",0],["aref",1]]]]]');
         },
         () => {
             const tokenList = tokenizeString('import a from "test/test.f.mjs" \n const b = null \n export default [b, a, b]');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
-            if (result !== '[["test/test.f.mjs"],[null,["array",[["cref",0],["aref",0],["cref",0]]]]]') {
-                throw result;
-            }
+            assertEq(result, '[["test/test.f.mjs"],[null,["array",[["cref",0],["aref",0],["cref",0]]]]]');
         },
     ],
     invalidWithArgs: [
         () => {
             const tokenList = tokenizeString('import a from "test/test.f.mjs" export default a');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token', obj);
         },
         () => {
             const tokenList = tokenizeString('import a from \n export default a');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token', obj);
         },
         () => {
             const tokenList = tokenizeString('import a "test/test.f.mjs" \n export default a');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token', obj);
         },
         () => {
             const tokenList = tokenizeString('import from "test/test.f.mjs" \n export default a');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'unexpected token') {
-                throw obj;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'unexpected token', obj);
         },
         () => {
             const tokenList = tokenizeString('import a from "first/test.f.mjs" \n import a from "second/test.f.mjs" \n export default [b, a, b]');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'duplicate id') {
-                throw obj;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'duplicate id', obj);
         },
         () => {
             const tokenList = tokenizeString('import a from "test/test.f.mjs" \n const a = null \n export default null');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'error') {
-                throw obj;
-            }
-            if (obj[1].message !== 'duplicate id') {
-                throw obj;
-            }
+            assert(obj[0] === 'error', obj);
+            assertEq(obj[1].message, 'duplicate id', obj);
         },
     ],
     comments: [
         () => {
             const tokenList = tokenizeString('export //comment \n default /* comment */ null //comment');
             const obj = parseFromTokens(tokenList);
-            if (obj[0] !== 'ok') {
-                throw obj;
-            }
+            assert(obj[0] === 'ok', obj);
             const result = stringifyDjsModule(obj[1]);
-            if (result !== '[[],[null]]') {
-                throw result;
-            }
+            assertEq(result, '[[],[null]]');
         },
     ]
 };