zuzu-js 0.1.2 → 0.3.0

package/lib/cli.js

@@ -254,7 +254,7 @@ function stripShebang( source ) {
 }
 
 function printVersion( runtime, verbose ) {
-	process.stdout.write( 'zuzu-js version 0.1.2\n' );
+	process.stdout.write( 'zuzu-js version 0.3.0\n' );
 	if ( verbose ) {
 		process.stdout.write( '\nlib search paths:\n' );
 		for ( const p of runtime.getModuleSearchRoots() ) {

package/lib/runtime-helpers.js

@@ -251,6 +251,8 @@ function collectTopLevelDeclarations( source, stripPod ) {
 	let inSingle = false;
 	let inDouble = false;
 	let inBacktick = false;
+	let inRegex = false;
+	let inRegexClass = false;
 	let inLineComment = false;
 	let inBlockComment = false;
 	let escape = false;
@@ -280,6 +282,35 @@ function collectTopLevelDeclarations( source, stripPod ) {
 			masked.push( ch === '\n' ? '\n' : ' ' );
 			continue;
 		}
+		if ( inRegex ) {
+			if ( escape ) {
+				escape = false;
+				masked.push( ' ' );
+				continue;
+			}
+			if ( ch === '\\' ) {
+				escape = true;
+				masked.push( ' ' );
+				continue;
+			}
+			if ( ch === '[' ) {
+				inRegexClass = true;
+				masked.push( ' ' );
+				continue;
+			}
+			if ( ch === ']' ) {
+				inRegexClass = false;
+				masked.push( ' ' );
+				continue;
+			}
+			if ( ch === '/' && !inRegexClass ) {
+				inRegex = false;
+				masked.push( ' ' );
+				continue;
+			}
+			masked.push( ch === '\n' ? '\n' : ' ' );
+			continue;
+		}
 		if ( inSingle || inDouble || inBacktick ) {
 			if ( escape ) {
 				escape = false;
@@ -318,6 +349,12 @@ function collectTopLevelDeclarations( source, stripPod ) {
 			masked.push( ' ' );
 			continue;
 		}
+		if ( ch === '/' && looksLikeRegexLiteralStart( stripped, i ) ) {
+			inRegex = true;
+			inRegexClass = false;
+			masked.push( ' ' );
+			continue;
+		}
 		if ( ch === '\'' ) {
 			inSingle = true;
 			masked.push( ' ' );
@@ -391,6 +428,18 @@ function collectTopLevelDeclarations( source, stripPod ) {
 	return [ ...names ];
 }
 
+function looksLikeRegexLiteralStart( source, index ) {
+	let pos = index - 1;
+	while ( pos >= 0 && /\s/u.test( source[pos] ) ) {
+		pos--;
+	}
+	if ( pos < 0 ) {
+		return true;
+	}
+	const previous = source[pos];
+	return /[({[=,:;!~?&|+\-*%^<>]/u.test( previous );
+}
+
 function collectTopLevelUnpackDeclarationNames( source, topLevelMask ) {
 	const names = [];
 	const rx = /(?:^|[;\n])\s*(?:export\s+)?(?:let|const)\b/gm;

package/lib/runtime.js

@@ -53,6 +53,28 @@ const textEncoder = new TextEncoder();
 const utf8Decoder = new TextDecoder( 'utf-8', { fatal: true } );
 const ZUZU_SKIP_BUILD = Symbol.for( 'zuzu.skip_build' );
 
+const runtimeVersion = (() => {
+	if ( typeof globalThis === 'object' && globalThis !== null ) {
+		const globalVersion = globalThis.__ZUZU_RUNTIME_VERSION;
+		if ( typeof globalVersion === 'string' && globalVersion.trim() ) {
+			return String( globalVersion );
+		}
+	}
+	if ( typeof process === 'object' && process && process.versions ) {
+		try {
+			const packageMetadata = require( '../package.json' );
+			const packageVersion = packageMetadata && packageMetadata.version;
+			if ( packageVersion ) {
+				return String( packageVersion );
+			}
+		}
+		catch ( err ) {
+			return 'dev';
+		}
+	}
+	return 'dev';
+})();
+
 function defaultModuleSearchRoots( host, repoRoot, includePaths ) {
 	if ( host.name === 'browser' ) {
 		return [
@@ -1283,7 +1305,11 @@ function defineZuzuClass( name, base, spec = {} ) {
 					zuzuStoreField( this, field, value );
 				}
 				let named = null;
-				if ( ctorArgs.length === 1 && isPairListLike( ctorArgs[0] ) ) {
+				const lastArg = ctorArgs[ctorArgs.length - 1];
+				if (
+					ctorArgs.length === 1
+					&& isPairListLike( ctorArgs[0] )
+				) {
 					named = ctorArgs[0];
 				}
 				else if (
@@ -1294,6 +1320,20 @@ function defineZuzuClass( name, base, spec = {} ) {
 				) {
 					named = ctorArgs[0];
 				}
+				else if (
+					ctorArgs.length > 1
+					&& isPairListLike( lastArg )
+				) {
+					named = lastArg;
+				}
+				else if (
+					ctorArgs.length > 1
+					&& lastArg
+					&& typeof lastArg === 'object'
+					&& !Array.isArray( lastArg )
+				) {
+					named = lastArg;
+				}
 				const releaseTemporaryNamed = !skipBuild
 					&& isPairListLike( named )
 					&& named.__zuzu_temporary_call_args === true;
@@ -1459,9 +1499,6 @@ function zuzuCallMember( object, property, ...args ) {
 	if ( dictMethod ) {
 		return dictMethod( ...args );
 	}
-	if ( args.length === 0 ) {
-		return value;
-	}
 	throw new TypeError( `${String( property )} is not a function` );
 }
 
@@ -2421,7 +2458,7 @@ class ZuzuScript {
 		const systemGlobalSeed = {
 			language_version: 0,
 			runtime: 'zuzu-js',
-			runtime_version: 'dev',
+			runtime_version: runtimeVersion,
 			platform: this.host.name,
 			inc: Object.freeze( moduleSearchRoots.slice() ),
 			deny_fs: capabilityFlags.fs ? false : true,

package/lib/transpiler-new/codegen.js

@@ -609,6 +609,8 @@ function extractSpecialPreludeNames( signature ) {
 			return [ '__zuzu_call_args', signature.headName, signature.restName, signature.namedName, '__i', '__a' ];
 		case 'scalar_pairlist':
 			return [ '__zuzu_call_args', signature.headName, signature.namedName, '__i', '__a' ];
+		case 'scalar_pairlist_array':
+			return [ '__zuzu_call_args', signature.headName, signature.namedName, signature.restName, '__i', '__a' ];
 		case 'variadic':
 			return [ '__zuzu_call_args', signature.headName, signature.restName, '__i', '__a' ];
 		default:
@@ -694,6 +696,22 @@ function analyzeSpecialSignature( params ) {
 			namedName: params[1].name,
 		};
 	}
+	if (
+		params.length === 3
+		&& params[0].type === 'Parameter'
+		&& params[1].type === 'SpecialParameter'
+		&& params[1].special === 'rest_only'
+		&& params[1].containerType === 'PairList'
+		&& params[2].type === 'Parameter'
+		&& ( params[2].typeName === 'Array' || params[2].typeName == null )
+	) {
+		return {
+			kind: 'scalar_pairlist_array',
+			headName: params[0].name,
+			namedName: params[1].name,
+			restName: params[2].name,
+		};
+	}
 	if (
 		params.length === 1
 		&& params[0].type === 'SpecialParameter'
@@ -729,7 +747,7 @@ function emitFunctionPreamble( params, signature = null ) {
 	for ( const param of params ) {
 		if ( param.type === 'SpecialParameter' ) {
 			if ( param.special === 'lead_rest' ) {
-				lines.push( `let ${param.leadName} = arguments[${argIndex}];` );
+				lines.push( `const ${param.leadName} = arguments[${argIndex}];` );
 				argIndex++;
 				lines.push( `const ${param.name} = Array.prototype.slice.call( arguments, ${argIndex} );` );
 				continue;
@@ -757,13 +775,13 @@ function emitFunctionPreamble( params, signature = null ) {
 			continue;
 		}
 		if ( param.defaultValue ) {
-			lines.push( `let ${paramName} = __argc__ > ${argIndex} ? arguments[${argIndex}] : ${emitExpression( param.defaultValue )};` );
+			lines.push( `const ${paramName} = __argc__ > ${argIndex} ? arguments[${argIndex}] : ${emitExpression( param.defaultValue )};` );
 		}
 		else if ( param.optional ) {
-			lines.push( `let ${paramName} = __argc__ > ${argIndex} ? arguments[${argIndex}] : null;` );
+			lines.push( `const ${paramName} = __argc__ > ${argIndex} ? arguments[${argIndex}] : null;` );
 		}
 		else {
-			lines.push( `let ${paramName} = arguments[${argIndex}];` );
+			lines.push( `const ${paramName} = arguments[${argIndex}];` );
 		}
 		if ( param.typeName ) {
 			lines.push(
@@ -780,62 +798,84 @@ function emitSpecialFunctionPreamble( signature ) {
 		case 'pairlist_only':
 			return [
 				`const __zuzu_call_args = Array.prototype.slice.call( arguments );`,
-				`let ${signature.namedName} = __zuzu_pairlist_literal( [] );`,
+				'let __zuzu_named_args = __zuzu_pairlist_literal( [] );',
 				'for ( const __a of __zuzu_call_args ) {',
-				`if ( __zuzu_is_pairlist( __a ) ) { ${signature.namedName} = __a; } else { throw new Exception( "named PairList parameter only accepts named arguments" ); }`,
+				'if ( __zuzu_is_pairlist( __a ) ) { __zuzu_named_args = __a; } else { throw new Exception( "named PairList parameter only accepts named arguments" ); }',
 				'}',
+				`const ${signature.namedName} = __zuzu_named_args;`,
 			].join( '\n' );
 		case 'pairlist_rest_array':
 		case 'rest_array_pairlist':
 			return [
 				`const __zuzu_call_args = Array.prototype.slice.call( arguments );`,
-				`let ${signature.namedName} = __zuzu_pairlist_literal( [] );`,
-				`let ${signature.restName} = [];`,
+				'let __zuzu_named_args = __zuzu_pairlist_literal( [] );',
+				'const __zuzu_rest_args = [];',
 				'for ( const __a of __zuzu_call_args ) {',
-				`if ( __zuzu_is_pairlist( __a ) ) { ${signature.namedName} = __a; } else { ${signature.restName}.push( __a ); }`,
+				'if ( __zuzu_is_pairlist( __a ) ) { __zuzu_named_args = __a; } else { __zuzu_rest_args.push( __a ); }',
 				'}',
+				`const ${signature.namedName} = __zuzu_named_args;`,
+				`const ${signature.restName} = __zuzu_rest_args;`,
 			].join( '\n' );
 		case 'lead_pairlist':
 			return [
 				'const __zuzu_call_args = Array.prototype.slice.call( arguments );',
-				`let ${signature.headName} = __zuzu_call_args[0];`,
-				`let ${signature.namedName} = __zuzu_pairlist_literal( [] );`,
-				`let ${signature.restName} = [];`,
+				`const ${signature.headName} = __zuzu_call_args[0];`,
+				'let __zuzu_named_args = __zuzu_pairlist_literal( [] );',
+				'const __zuzu_rest_args = [];',
 				'for ( let __i = 1; __i < __zuzu_call_args.length; __i++ ) {',
 				'const __a = __zuzu_call_args[__i];',
-				`if ( __zuzu_is_pairlist( __a ) ) { ${signature.namedName} = __a; } else { ${signature.restName}.push( __a ); }`,
+				'if ( __zuzu_is_pairlist( __a ) ) { __zuzu_named_args = __a; } else { __zuzu_rest_args.push( __a ); }',
 				'}',
+				`const ${signature.namedName} = __zuzu_named_args;`,
+				`const ${signature.restName} = __zuzu_rest_args;`,
 			].join( '\n' );
 		case 'trail_pairlist':
 			return [
 				'const __zuzu_call_args = Array.prototype.slice.call( arguments );',
-				`let ${signature.headName} = __zuzu_call_args[0];`,
-				`let ${signature.restName} = [];`,
-				`let ${signature.namedName} = __zuzu_pairlist_literal( [] );`,
+				`const ${signature.headName} = __zuzu_call_args[0];`,
+				'const __zuzu_rest_args = [];',
+				'let __zuzu_named_args = __zuzu_pairlist_literal( [] );',
 				'for ( let __i = 1; __i < __zuzu_call_args.length; __i++ ) {',
 				'const __a = __zuzu_call_args[__i];',
-				`if ( __zuzu_is_pairlist( __a ) ) { ${signature.namedName} = __a; } else { ${signature.restName}.push( __a ); }`,
+				'if ( __zuzu_is_pairlist( __a ) ) { __zuzu_named_args = __a; } else { __zuzu_rest_args.push( __a ); }',
 				'}',
+				`const ${signature.restName} = __zuzu_rest_args;`,
+				`const ${signature.namedName} = __zuzu_named_args;`,
 			].join( '\n' );
 		case 'scalar_pairlist':
 			return [
 				'const __zuzu_call_args = Array.prototype.slice.call( arguments );',
-				`let ${signature.headName} = __zuzu_call_args[0];`,
-				`let ${signature.namedName} = __zuzu_pairlist_literal( [] );`,
+				`const ${signature.headName} = __zuzu_call_args[0];`,
+				'let __zuzu_named_args = __zuzu_pairlist_literal( [] );',
 				'for ( let __i = 1; __i < __zuzu_call_args.length; __i++ ) {',
 				'const __a = __zuzu_call_args[__i];',
-				`if ( __zuzu_is_pairlist( __a ) ) { ${signature.namedName} = __a; } else { throw new Exception( "named arguments not allowed for this function" ); }`,
+				'if ( __zuzu_is_pairlist( __a ) ) { __zuzu_named_args = __a; } else { throw new Exception( "named arguments not allowed for this function" ); }',
 				'}',
+				`const ${signature.namedName} = __zuzu_named_args;`,
+			].join( '\n' );
+		case 'scalar_pairlist_array':
+			return [
+				'const __zuzu_call_args = Array.prototype.slice.call( arguments );',
+				`const ${signature.headName} = __zuzu_call_args[0];`,
+				'let __zuzu_named_args = __zuzu_pairlist_literal( [] );',
+				'const __zuzu_rest_args = [];',
+				'for ( let __i = 1; __i < __zuzu_call_args.length; __i++ ) {',
+				'const __a = __zuzu_call_args[__i];',
+				'if ( __zuzu_is_pairlist( __a ) ) { __zuzu_named_args = __a; } else { __zuzu_rest_args.push( __a ); }',
+				'}',
+				`const ${signature.restName} = __zuzu_rest_args;`,
+				`const ${signature.namedName} = __zuzu_named_args;`,
 			].join( '\n' );
 		case 'variadic':
 			return [
 				'const __zuzu_call_args = Array.prototype.slice.call( arguments );',
-				`let ${signature.headName} = __zuzu_call_args[0];`,
-				`let ${signature.restName} = [];`,
+				`const ${signature.headName} = __zuzu_call_args[0];`,
+				'const __zuzu_rest_args = [];',
 				'for ( let __i = 1; __i < __zuzu_call_args.length; __i++ ) {',
 				'const __a = __zuzu_call_args[__i];',
-				`if ( __zuzu_is_pairlist( __a ) ) { throw new Exception( "named arguments not allowed for this function" ); } ${signature.restName}.push( __a );`,
+				'if ( __zuzu_is_pairlist( __a ) ) { throw new Exception( "named arguments not allowed for this function" ); } __zuzu_rest_args.push( __a );',
 				'}',
+				`const ${signature.restName} = __zuzu_rest_args;`,
 			].join( '\n' );
 		default:
 			return '';
@@ -2154,6 +2194,9 @@ function emitAssignmentExpression( node ) {
 					: `${left} = __zuzu_assign_strong( ${left}, ${right} )`;
 			}
 			if ( node.left && node.left.type === 'MemberExpression' ) {
+				if ( !node.left.computed ) {
+					throw new UnsupportedSyntaxError( 'Invalid assignment target' );
+				}
 				const object = emitExpression( node.left.object );
 				const objectTarget = emitAssignmentTarget( node.left.object );
 				const key = node.left.computed

package/lib/transpiler-new/parser.js

@@ -55,26 +55,22 @@ function parse( tokens, options = {} ) {
 		return tokens[index - 1];
 	}
 
-	function canTerminateStatement() {
+	function canTerminateSimpleStatement() {
 		const token = current();
-		const prev = previous();
-		if ( !prev ) {
-			return false;
-		}
 		if ( token.type === 'punctuation' && token.value === '}' ) {
 			return true;
 		}
 		if ( token.type === 'eof' ) {
 			return true;
 		}
-		return token.line > prev.endLine;
+		return false;
 	}
 
 	function consumeStatementTerminator(message) {
 		if ( match( 'punctuation', ';' ) ) {
 			return;
 		}
-		if ( canTerminateStatement() ) {
+		if ( canTerminateSimpleStatement() ) {
 			return;
 		}
 		throw new TranspilerSyntaxError( message || 'Expected statement terminator', current() );
@@ -1313,7 +1309,7 @@ function parse( tokens, options = {} ) {
 					prefix: true,
 				}, keyword, endLocFromNode( test ) );
 			}
-			expect( 'punctuation', ';', semicolonMessage );
+			consumeStatementTerminator( semicolonMessage );
 			const consequent = withLoc( {
 				type: 'BlockStatement',
 				body: [ stmt ],
@@ -1330,7 +1326,7 @@ function parse( tokens, options = {} ) {
 			const keyword = current();
 			index++;
 			const iterable = parseExpression();
-			expect( 'punctuation', ';', semicolonMessage );
+			consumeStatementTerminator( semicolonMessage );
 			const body = withLoc( {
 				type: 'BlockStatement',
 				body: [ stmt ],

package/lib/transpiler-new/validate-bindings.js

@@ -235,6 +235,7 @@ function validateExpression( node, scope ) {
 			}
 			return;
 		case 'UpdateExpression':
+			requireValidAssignmentTarget( node.argument );
 			if ( node.argument && node.argument.type === 'Identifier' ) {
 				requireMutable( node.argument, scope );
 			}
@@ -242,6 +243,23 @@ function validateExpression( node, scope ) {
 				validateExpression( node.argument, scope );
 			}
 			return;
+		case 'UnaryExpression':
+			if ( node.operator === '++' || node.operator === '--' ) {
+				requireValidAssignmentTarget( node.argument );
+				if ( node.argument && node.argument.type === 'Identifier' ) {
+					requireMutable( node.argument, scope );
+				}
+				else {
+					validateExpression( node.argument, scope );
+				}
+				return;
+			}
+			validateChildNodes( node, scope );
+			return;
+		case 'RefExpression':
+			requireValidAssignmentTarget( node.argument );
+			validateExpression( node.argument, scope );
+			return;
 		case 'FunctionExpression':
 			validateFunctionBody( node, scope );
 			return;
@@ -261,11 +279,13 @@ function requireValidAssignmentTarget( node ) {
 	}
 	if (
 		target.type === 'Identifier'
-		|| target.type === 'MemberExpression'
 		|| target.type === 'SliceExpression'
 	) {
 		return;
 	}
+	if ( target.type === 'MemberExpression' && target.computed ) {
+		return;
+	}
 	if (
 		target.type === 'BinaryExpression'
 		&& [ '@', '@@', '@?' ].includes( target.operator )

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "zuzu-js",
-  "version": "0.1.2",
+  "version": "0.3.0",
   "description": "JavaScript runtime, compiler, and browser bundle for ZuzuScript.",
   "main": "lib/zuzu.js",
   "bin": {

package/stdlib/modules/test/parser.zzm

@@ -158,6 +158,7 @@ function parse_lines ( Array lines ) {
 	let top_level := _new_counts();
 	let assertions := _new_counts();
 	let planned := null;
+	let plan_directive := "";
 	let tests := [];
 
 	for ( let line in lines ) {
@@ -170,8 +171,11 @@ function parse_lines ( Array lines ) {
 
 		if ( body ~ /^\d+\.\.\d+\b/ ) {
 			if ( is_top_level ) {
-				let parts := split( body, "..", 2 );
-				planned := parts.get( 1, "" ) + 0;
+				let plan_parts := split( body, "#", 2 );
+				let range_parts := split( trim( plan_parts[0] ), "..", 2 );
+				planned := trim( range_parts.get( 1, "" ) ) + 0;
+				plan_directive := trim( plan_parts.get( 1, "" ) )
+					if plan_parts.length() > 1;
 			}
 			next;
 		}
@@ -186,10 +190,17 @@ function parse_lines ( Array lines ) {
 		}
 	}
 
+	let skip_all_plan := false;
+	if ( planned ≡ 0 and plan_directive ~ /^skip\b/i ) {
+		skip_all_plan := true;
+	}
+
 	return {
 		top_level: top_level,
 		assertions: assertions,
 		planned: planned,
+		plan_directive: plan_directive,
+		skip_all: skip_all_plan,
 		tests: tests,
 	};
 }