tova 0.3.9 → 0.4.1

package/bin/tova.js

@@ -1,7 +1,7 @@
 #!/usr/bin/env bun
 
 import { resolve, basename, dirname, join, relative } from 'path';
-import { readFileSync, writeFileSync, existsSync, mkdirSync, readdirSync, statSync, copyFileSync, rmSync, watch as fsWatch } from 'fs';
+import { readFileSync, writeFileSync, existsSync, mkdirSync, readdirSync, statSync, copyFileSync, rmSync, chmodSync, renameSync, watch as fsWatch } from 'fs';
 import { spawn } from 'child_process';
 // Bun.hash used instead of crypto.createHash for faster hashing
 import { Lexer } from '../src/lexer/lexer.js';
@@ -1443,7 +1443,7 @@ shared {
 }
 
 server {
-  fn get_message() -> Message {
+  fn get_message() {
     Message("Hello from Tova!", Date.new().toLocaleTimeString())
   }
 
@@ -1560,7 +1560,7 @@ client {
     content: name => `// ${name} — Built with Tova
 
 server {
-  fn health() -> { status: String } {
+  fn health() {
     { status: "ok" }
   }
 
@@ -4397,6 +4397,17 @@ function detectInstallMethod() {
   return 'npm';
 }
 
+function compareSemver(a, b) {
+  // Returns: -1 if a < b, 0 if a === b, 1 if a > b
+  const pa = a.split('.').map(Number);
+  const pb = b.split('.').map(Number);
+  for (let i = 0; i < 3; i++) {
+    if ((pa[i] || 0) < (pb[i] || 0)) return -1;
+    if ((pa[i] || 0) > (pb[i] || 0)) return 1;
+  }
+  return 0;
+}
+
 async function upgradeCommand() {
   console.log(`\n  Current version: ${color.bold('Tova v' + VERSION)}\n`);
   console.log('  Checking for updates...');
@@ -4404,102 +4415,95 @@ async function upgradeCommand() {
   const installMethod = detectInstallMethod();
 
   try {
+    // Always check npm registry as the source of truth for latest version
+    const res = await fetch('https://registry.npmjs.org/tova/latest');
+    if (!res.ok) {
+      console.error(color.red('  Could not reach the npm registry. Check your network connection.'));
+      process.exit(1);
+    }
+    const data = await res.json();
+    const latestVersion = data.version;
+
+    if (compareSemver(VERSION, latestVersion) >= 0) {
+      console.log(`  ${color.green('Already on the latest version')} (v${VERSION}).\n`);
+      return;
+    }
+
+    console.log(`  New version available: ${color.green('v' + latestVersion)}\n`);
+
     if (installMethod === 'binary') {
-      // Binary install: check GitHub releases
-      const res = await fetch('https://api.github.com/repos/tova-lang/tova-lang/releases/latest');
-      if (!res.ok) {
-        console.error(color.red('  Could not reach GitHub. Check your network connection.'));
-        process.exit(1);
+      console.log('  Upgrading via binary...');
+
+      // Check GitHub releases for the matching binary
+      const ghRes = await fetch('https://api.github.com/repos/tova-lang/tova-lang/releases/latest');
+      let ghTag = null;
+      if (ghRes.ok) {
+        const ghData = await ghRes.json();
+        const ghVersion = (ghData.tag_name || '').replace(/^v/, '');
+        if (compareSemver(ghVersion, VERSION) > 0) {
+          ghTag = ghData.tag_name;
+        }
       }
-      const data = await res.json();
-      const latestVersion = (data.tag_name || '').replace(/^v/, '');
 
-      if (latestVersion === VERSION) {
-        console.log(`  ${color.green('Already on the latest version')} (v${VERSION}).\n`);
+      if (!ghTag) {
+        // No newer binary release available — fall back to npm install
+        console.log(`  ${color.dim('No binary release for v' + latestVersion + ' yet. Falling back to npm...')}\n`);
+        await npmUpgrade(latestVersion);
         return;
       }
 
-      console.log(`  New version available: ${color.green('v' + latestVersion)}\n`);
-      console.log('  Upgrading via binary...');
-
       // Detect platform
       const platform = process.platform === 'darwin' ? 'darwin' : process.platform === 'linux' ? 'linux' : 'windows';
       const arch = process.arch === 'arm64' ? 'arm64' : 'x64';
       const assetName = `tova-${platform}-${arch}`;
-      const downloadUrl = `https://github.com/tova-lang/tova-lang/releases/download/${data.tag_name}/${assetName}.gz`;
+      const downloadUrl = `https://github.com/tova-lang/tova-lang/releases/download/${ghTag}/${assetName}.gz`;
 
       const installDir = join(process.env.HOME || '', '.tova', 'bin');
       const tmpPath = join(installDir, 'tova.download');
       const binPath = join(installDir, 'tova');
 
+      // Ensure install directory exists
+      mkdirSync(installDir, { recursive: true });
+
       // Download compressed binary
       const dlRes = await fetch(downloadUrl);
       if (!dlRes.ok) {
         // Fall back to uncompressed
         const dlRes2 = await fetch(downloadUrl.replace('.gz', ''));
         if (!dlRes2.ok) {
-          console.error(color.red(`  Download failed. URL: ${downloadUrl.replace('.gz', '')}`));
-          process.exit(1);
+          console.log(`  ${color.dim('Binary download failed. Falling back to npm...')}\n`);
+          await npmUpgrade(latestVersion);
+          return;
         }
         writeFileSync(tmpPath, new Uint8Array(await dlRes2.arrayBuffer()));
       } else {
         // Decompress gzip
         const compressed = new Uint8Array(await dlRes.arrayBuffer());
-        const decompressed = Bun.gunzipSync(compressed);
+        const { gunzipSync } = await import('zlib');
+        const decompressed = gunzipSync(compressed);
         writeFileSync(tmpPath, decompressed);
       }
 
       // Make executable
-      const { chmodSync } = await import('fs');
       chmodSync(tmpPath, 0o755);
 
       // Verify the new binary works
-      const verifyProc = Bun.spawnSync([tmpPath, '--version'], { stdout: 'pipe', stderr: 'pipe' });
-      if (verifyProc.exitCode !== 0) {
+      const { spawnSync } = await import('child_process');
+      const verifyProc = spawnSync(tmpPath, ['--version'], { timeout: 10000 });
+      if (verifyProc.status !== 0) {
         rmSync(tmpPath, { force: true });
-        console.error(color.red('  Downloaded binary verification failed.'));
-        process.exit(1);
+        console.error(color.red('  Downloaded binary verification failed. Falling back to npm...'));
+        await npmUpgrade(latestVersion);
+        return;
       }
 
       // Atomic rename
-      const { renameSync } = await import('fs');
       renameSync(tmpPath, binPath);
 
       console.log(`\n  ${color.green('✓')} Upgraded: v${VERSION} -> ${color.bold('v' + latestVersion)}\n`);
     } else {
-      // npm/bun install: check npm registry
-      const res = await fetch('https://registry.npmjs.org/tova/latest');
-      if (!res.ok) {
-        console.error(color.red('  Could not reach the npm registry. Check your network connection.'));
-        process.exit(1);
-      }
-      const data = await res.json();
-      const latestVersion = data.version;
-
-      if (latestVersion === VERSION) {
-        console.log(`  ${color.green('Already on the latest version')} (v${VERSION}).\n`);
-        return;
-      }
-
-      console.log(`  New version available: ${color.green('v' + latestVersion)}\n`);
       console.log('  Upgrading...');
-
-      const pm = detectPackageManager();
-      const installCmd = pm === 'bun' ? ['bun', ['add', '-g', 'tova@latest']]
-                       : pm === 'pnpm' ? ['pnpm', ['add', '-g', 'tova@latest']]
-                       : pm === 'yarn' ? ['yarn', ['global', 'add', 'tova@latest']]
-                       : ['npm', ['install', '-g', 'tova@latest']];
-
-      const proc = spawn(installCmd[0], installCmd[1], { stdio: 'inherit' });
-      const exitCode = await new Promise(res => proc.on('close', res));
-
-      if (exitCode === 0) {
-        console.log(`\n  ${color.green('✓')} Upgraded to Tova v${latestVersion}.\n`);
-      } else {
-        console.error(color.red(`\n  Upgrade failed (exit code ${exitCode}).`));
-        console.error(`  Try manually: ${installCmd[0]} ${installCmd[1].join(' ')}\n`);
-        process.exit(1);
-      }
+      await npmUpgrade(latestVersion);
     }
   } catch (err) {
     console.error(color.red(`  Upgrade failed: ${err.message}`));
@@ -4512,6 +4516,25 @@ async function upgradeCommand() {
   }
 }
 
+async function npmUpgrade(latestVersion) {
+  const pm = detectPackageManager();
+  const installCmd = pm === 'bun' ? ['bun', ['add', '-g', 'tova@latest']]
+                   : pm === 'pnpm' ? ['pnpm', ['add', '-g', 'tova@latest']]
+                   : pm === 'yarn' ? ['yarn', ['global', 'add', 'tova@latest']]
+                   : ['npm', ['install', '-g', 'tova@latest']];
+
+  const proc = spawn(installCmd[0], installCmd[1], { stdio: 'inherit' });
+  const exitCode = await new Promise(res => proc.on('close', res));
+
+  if (exitCode === 0) {
+    console.log(`\n  ${color.green('✓')} Upgraded to Tova v${latestVersion}.\n`);
+  } else {
+    console.error(color.red(`\n  Upgrade failed (exit code ${exitCode}).`));
+    console.error(`  Try manually: ${installCmd[0]} ${installCmd[1].join(' ')}\n`);
+    process.exit(1);
+  }
+}
+
 function detectPackageManager() {
   if (typeof Bun !== 'undefined') return 'bun';
   const ua = process.env.npm_config_user_agent || '';

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "tova",
-  "version": "0.3.9",
+  "version": "0.4.1",
   "description": "Tova — a modern programming language that transpiles to JavaScript, unifying frontend and backend",
   "type": "module",
   "main": "src/index.js",

package/src/analyzer/analyzer.js

@@ -389,6 +389,8 @@ export class Analyzer {
         if (sym.extern) continue;
         if (sym._variantOf) continue; // ADT variant constructors
         if (name === 'main') continue;
+        // Server functions are exposed as RPC endpoints callable from client blocks
+        if (scope.context === 'server') continue;
 
         if (!sym.used && sym.loc && sym.loc.line > 0) {
           this.warn(`Function '${name}' is declared but never used`, sym.loc, "prefix with _ to suppress", {
@@ -2418,14 +2420,21 @@ export class Analyzer {
   // preventing silent shadowing of immutable bindings within the same function.
   _lookupAssignTarget(name) {
     let scope = this.currentScope;
+    let crossedFunction = false;
     while (scope) {
       const sym = scope.symbols.get(name);
-      if (sym) return sym;
-      // Stop after checking a function or top-level scope (don't cross function boundaries)
-      if (scope.context === 'function' || scope.context === 'module' ||
-          scope.context === 'server' || scope.context === 'client' || scope.context === 'shared') {
-        break;
+      if (sym) {
+        // After crossing a function boundary, only resolve to mutable symbols (var/state)
+        // so that inner functions can reassign outer var/state but not shadow immutables
+        if (crossedFunction && !sym.mutable) return null;
+        return sym;
+      }
+      // Track when we cross a function boundary
+      if (scope.context === 'function') {
+        crossedFunction = true;
       }
+      // Stop at module level
+      if (scope.context === 'module') break;
       scope = scope.parent;
     }
     return null;

package/src/analyzer/client-analyzer.js

@@ -111,15 +111,8 @@ export function installClientAnalyzer(AnalyzerClass) {
     }
   };
 
-  AnalyzerClass.prototype.visitJSXElement = function(node) {
-    for (const attr of node.attributes) {
-      if (attr.type === 'JSXSpreadAttribute') {
-        this.visitExpression(attr.expression);
-      } else {
-        this.visitExpression(attr.value);
-      }
-    }
-    for (const child of node.children) {
+  AnalyzerClass.prototype._visitJSXChildren = function(children) {
+    for (const child of children) {
       if (child.type === 'JSXElement') {
         this.visitJSXElement(child);
       } else if (child.type === 'JSXFragment') {
@@ -132,26 +125,30 @@ export function installClientAnalyzer(AnalyzerClass) {
         this.visitJSXIf(child);
       } else if (child.type === 'JSXMatch') {
         this.visitJSXMatch(child);
+      } else if (child.type === 'JSXText') {
+        // JSXText wraps a TemplateLiteral/StringLiteral in its .value
+        // Visit it so identifiers in interpolated strings are marked as used
+        if (child.value) this.visitExpression(child.value);
+      } else if (child.type) {
+        // Other expression-type children
+        this.visitExpression(child);
       }
     }
   };
 
-  AnalyzerClass.prototype.visitJSXFragment = function(node) {
-    for (const child of node.children) {
-      if (child.type === 'JSXElement') {
-        this.visitJSXElement(child);
-      } else if (child.type === 'JSXFragment') {
-        this.visitJSXFragment(child);
-      } else if (child.type === 'JSXExpression') {
-        this.visitExpression(child.expression);
-      } else if (child.type === 'JSXFor') {
-        this.visitJSXFor(child);
-      } else if (child.type === 'JSXIf') {
-        this.visitJSXIf(child);
-      } else if (child.type === 'JSXMatch') {
-        this.visitJSXMatch(child);
+  AnalyzerClass.prototype.visitJSXElement = function(node) {
+    for (const attr of node.attributes) {
+      if (attr.type === 'JSXSpreadAttribute') {
+        this.visitExpression(attr.expression);
+      } else {
+        this.visitExpression(attr.value);
       }
     }
+    this._visitJSXChildren(node.children);
+  };
+
+  AnalyzerClass.prototype.visitJSXFragment = function(node) {
+    this._visitJSXChildren(node.children);
   };
 
   AnalyzerClass.prototype.visitJSXFor = function(node) {

package/src/version.js

@@ -1,2 +1,2 @@
 // Auto-generated by scripts/embed-runtime.js — do not edit
-export const VERSION = "0.3.9";
+export const VERSION = "0.4.1";