tjs-lang 0.6.34 → 0.6.35

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "tjs-lang",
-  "version": "0.6.34",
+  "version": "0.6.35",
   "description": "Type-safe JavaScript dialect with runtime validation, sandboxed VM execution, and AI agent orchestration. Transpiles TypeScript to validated JS with fuel-metered execution for untrusted code.",
   "keywords": [
     "typescript",

package/src/cli/tjs.ts

@@ -20,7 +20,7 @@ import { emit } from './commands/emit'
 import { convert } from './commands/convert'
 import { test } from './commands/test'
 
-const VERSION = '0.6.34'
+const VERSION = '0.6.35'
 
 const HELP = `
 tjs - Typed JavaScript CLI

package/src/lang/emitters/from-ts.ts

@@ -1811,10 +1811,19 @@ function transformParams(
     const name = param.name.getText(sourceFile)
     // Skip TypeScript's `this` pseudo-parameter (declares `this` context type)
     if (name === 'this') continue
+    const isRest = !!param.dotDotDotToken
     const isOptional = !!param.questionToken || !!param.initializer
     const typeExample = typeToExample(param.type, undefined, warnings, ctx)
 
-    if (param.initializer) {
+    if (isRest) {
+      // Rest parameter: ...args: T[] → ...args: [example]
+      // typeToExample already converts T[] to [example], so use directly
+      if (typeExample === 'any' || typeExample === 'undefined') {
+        params.push(`...${name}: [null]`)
+      } else {
+        params.push(`...${name}: ${typeExample}`)
+      }
+    } else if (param.initializer) {
       // Has default value - use it directly
       const defaultText = param.initializer.getText(sourceFile)
       params.push(`${name} = ${defaultText}`)

package/src/use-cases/tosijs-convert-issues.test.ts

@@ -54,6 +54,44 @@ export type ObserverCallbackFunction = _PathCallbackFunction | _CallbackFunction
     }).not.toThrow()
   })
 
+  test('rest parameter called with no args rejected as non-array', () => {
+    // In tosijs elements.ts, element creators use rest params:
+    //   function create(...contents: ElementPart[]) { ... }
+    //
+    // Calling create() with no args is valid TS — contents becomes [].
+    // But tjs convert emits a type check that rejects undefined:
+    //   if (!Array.isArray(contents)) return typeError(...)
+    //
+    // This causes elements.input(), elements.div(), etc. to silently
+    // return a MonadicError instead of an HTMLElement, breaking all
+    // DOM-related tests.
+
+    const source = `
+function create(...contents: string[]): string {
+  return contents.join(', ')
+}
+
+const result = create()
+console.log(result)
+`
+    // Step 1: TS → TJS
+    const tjsResult = fromTS(source, {
+      emitTJS: true,
+      filename: 'rest-param.ts',
+    })
+
+    // Step 2: TJS → JS
+    const jsResult = tjs(tjsResult.code, {
+      filename: 'rest-param.ts',
+      runTests: false,
+    })
+
+    // Calling with no args should work — rest params default to []
+    const fn = new Function(jsResult.code + '\n return result;')
+    const result = fn()
+    expect(result).toBe('') // [].join(', ') === ''
+  })
+
   test('shorthand property assignment in destructuring converts', () => {
     // component.test.ts fails to convert with:
     //   "Shorthand property assignments are valid only in destructuring patterns"