tova 0.3.9 → 0.4.0

package/bin/tova.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" }
   }
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "tova",
-  "version": "0.3.9",
+  "version": "0.4.0",
   "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.0";