tova 0.4.5 → 0.4.7

package/bin/tova.js

@@ -1319,13 +1319,19 @@ async function generateDevHTML(clientCode, srcDir, reloadPort = 0) {
   const liveReloadScript = reloadPort ? `
   <script>
     (function() {
-      var es = new EventSource("http://localhost:${reloadPort}/__tova_reload");
+      var reloadUrl = "http://localhost:${reloadPort}/__tova_reload";
+      var es = new EventSource(reloadUrl);
+      var errorCount = 0;
+      es.onopen = function() { errorCount = 0; };
       es.onmessage = function(e) { if (e.data === "reload") window.location.reload(); };
       es.onerror = function() {
+        errorCount++;
+        // EventSource auto-reconnects — only intervene after repeated failures
+        if (errorCount < 3) return;
         es.close();
-        // Server is rebuilding — poll until it's back, then reload
+        // SSE server is likely gone (dev server restarting) — poll until back
         var check = setInterval(function() {
-          fetch(window.location.href, { mode: "no-cors" }).then(function() {
+          fetch(reloadUrl, { mode: "no-cors" }).then(function(r) {
             clearInterval(check);
             window.location.reload();
           }).catch(function() {});

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "tova",
-  "version": "0.4.5",
+  "version": "0.4.7",
   "description": "Tova — a modern programming language that transpiles to JavaScript, unifying frontend and backend",
   "type": "module",
   "main": "src/index.js",
@@ -37,5 +37,17 @@
   },
   "author": "Enoch Kujem Abassey",
   "keywords": ["language", "transpiler", "fullstack", "javascript"],
-  "license": "MIT"
+  "license": "MIT",
+  "devDependencies": {
+    "@codemirror/autocomplete": "^6.20.0",
+    "@codemirror/commands": "^6.10.2",
+    "@codemirror/language": "^6.12.1",
+    "@codemirror/lint": "^6.9.4",
+    "@codemirror/search": "^6.6.0",
+    "@codemirror/state": "^6.5.4",
+    "@codemirror/theme-one-dark": "^6.1.3",
+    "@codemirror/view": "^6.39.15",
+    "@lezer/highlight": "^1.2.3",
+    "codemirror": "^6.0.2"
+  }
 }

package/src/analyzer/analyzer.js

@@ -2547,11 +2547,13 @@ export class Analyzer {
     if (typeName) {
       const existingImpls = this.typeRegistry.impls.get(typeName) || [];
       for (const method of node.methods) {
+        const hasSelf = (method.params || []).some(p => p.name === 'self');
         existingImpls.push({
           name: method.name,
           params: (method.params || []).map(p => p.name),
           paramTypes: (method.params || []).map(p => typeAnnotationToType(p.typeAnnotation)),
           returnType: typeAnnotationToType(method.returnType),
+          isAssociated: !hasSelf,
         });
       }
       this.typeRegistry.impls.set(typeName, existingImpls);
@@ -2583,13 +2585,16 @@ export class Analyzer {
 
     // Validate that methods reference the type
     for (const method of node.methods) {
+      const hasSelf = (method.params || []).some(p => p.name === 'self');
       this.pushScope('function');
       try {
-        // self is implicitly available
-        try {
-          this.currentScope.define('self',
-            new Symbol('self', 'variable', null, true, method.loc));
-        } catch (e) { /* ignore */ }
+        // self is only available for instance methods (not associated functions)
+        if (hasSelf) {
+          try {
+            this.currentScope.define('self',
+              new Symbol('self', 'variable', null, true, method.loc));
+          } catch (e) { /* ignore */ }
+        }
         for (const p of method.params) {
           if (p.name && p.name !== 'self') {
             try {

package/src/analyzer/type-registry.js

@@ -25,7 +25,7 @@ export class TypeRegistry {
 
   /**
    * Get all members (fields + impl methods) for a type name.
-   * Used for dot-completion.
+   * Used for dot-completion on instances.
    */
   getMembers(typeName) {
     const fields = new Map();
@@ -48,17 +48,36 @@ export class TypeRegistry {
       }
     }
 
-    // Get impl methods
+    // Get instance methods (methods with self)
     const implMethods = this.impls.get(typeName);
     if (implMethods) {
       for (const method of implMethods) {
-        methods.push(method);
+        if (!method.isAssociated) {
+          methods.push(method);
+        }
       }
     }
 
     return { fields, methods };
   }
 
+  /**
+   * Get associated functions for a type name (functions without self).
+   * Used for dot-completion on the type itself (e.g., Point.origin()).
+   */
+  getAssociatedFunctions(typeName) {
+    const functions = [];
+    const implMethods = this.impls.get(typeName);
+    if (implMethods) {
+      for (const method of implMethods) {
+        if (method.isAssociated) {
+          functions.push(method);
+        }
+      }
+    }
+    return functions;
+  }
+
   /**
    * Get variant names for a type (for match completion).
    */

package/src/codegen/base-codegen.js

@@ -2898,11 +2898,22 @@ export class BaseCodegen {
       }
       const body = this.genBlockBody(method.body);
       this.popScope();
-      const selfBinding = hasSelf ? `\n${this.i()}  const self = this;` : '';
-      if (hasPropagate) {
-        lines.push(`${this.i()}${node.typeName}.prototype.${method.name} = ${asyncPrefix}function(${paramStr}) {${selfBinding}\n${this.i()}  try {\n${body}\n${this.i()}  } catch (__e) {\n${this.i()}    if (__e && __e.__tova_propagate) return __e.value;\n${this.i()}    throw __e;\n${this.i()}  }\n${this.i()}};`);
+
+      if (hasSelf) {
+        // Instance method → prototype
+        const selfBinding = `\n${this.i()}  const self = this;`;
+        if (hasPropagate) {
+          lines.push(`${this.i()}${node.typeName}.prototype.${method.name} = ${asyncPrefix}function(${paramStr}) {${selfBinding}\n${this.i()}  try {\n${body}\n${this.i()}  } catch (__e) {\n${this.i()}    if (__e && __e.__tova_propagate) return __e.value;\n${this.i()}    throw __e;\n${this.i()}  }\n${this.i()}};`);
+        } else {
+          lines.push(`${this.i()}${node.typeName}.prototype.${method.name} = ${asyncPrefix}function(${paramStr}) {${selfBinding}\n${body}\n${this.i()}};`);
+        }
       } else {
-        lines.push(`${this.i()}${node.typeName}.prototype.${method.name} = ${asyncPrefix}function(${paramStr}) {${selfBinding}\n${body}\n${this.i()}};`);
+        // Associated function → constructor namespace (callable as Type.method())
+        if (hasPropagate) {
+          lines.push(`${this.i()}${node.typeName}.${method.name} = ${asyncPrefix}function(${paramStr}) {\n${this.i()}  try {\n${body}\n${this.i()}  } catch (__e) {\n${this.i()}    if (__e && __e.__tova_propagate) return __e.value;\n${this.i()}    throw __e;\n${this.i()}  }\n${this.i()}};`);
+        } else {
+          lines.push(`${this.i()}${node.typeName}.${method.name} = ${asyncPrefix}function(${paramStr}) {\n${body}\n${this.i()}};`);
+        }
       }
     }
     return lines.join('\n');

package/src/codegen/client-codegen.js

@@ -189,8 +189,9 @@ export class ClientCodegen extends BaseCodegen {
     const lines = [];
 
     // Runtime imports
-    lines.push(`import { createSignal, createEffect, createComputed, mount, hydrate, tova_el, tova_fragment, tova_keyed, tova_transition, tova_inject_css, batch, onMount, onUnmount, onCleanup, onBeforeUpdate, createRef, createContext, provide, inject, createErrorBoundary, ErrorBoundary, ErrorInfo, createRoot, watch, untrack, Dynamic, Portal, lazy, Suspense, __tova_action } from './runtime/reactivity.js';`);
-    lines.push(`import { rpc } from './runtime/rpc.js';`);
+    lines.push(`import { createSignal, createEffect, createComputed, mount, hydrate, tova_el, tova_fragment, tova_keyed, tova_transition, tova_inject_css, batch, onMount, onUnmount, onCleanup, onBeforeUpdate, createRef, createContext, provide, inject, createErrorBoundary, ErrorBoundary, ErrorInfo, createRoot, watch, untrack, Dynamic, Portal, lazy, Suspense, Head, createResource, __tova_action, TransitionGroup, createForm, configureCSP } from './runtime/reactivity.js';`);
+    lines.push(`import { rpc, configureRPC, addRPCInterceptor, setCSRFToken } from './runtime/rpc.js';`);
+    lines.push(`import { navigate, getCurrentRoute, getParams, getPath, getQuery, defineRoutes, onRouteChange, beforeNavigate, afterNavigate, Router, Outlet, Link, Redirect } from './runtime/router.js';`);
 
     // Hoist import lines from shared code to the top of the module
     let sharedRest = sharedCode;
@@ -394,14 +395,16 @@ export class ClientCodegen extends BaseCodegen {
     return p.join('');
   }
 
-  // Generate a short hash from component name + CSS content (for CSS scoping)
+  // Generate a scope hash from component name + CSS content (for CSS scoping)
+  // Uses FNV-1a for better distribution and 8-char output to reduce collision risk.
   _genScopeId(name, css) {
     const str = name + ':' + (css || '');
-    let h = 0;
+    let h = 0x811c9dc5; // FNV offset basis
     for (let i = 0; i < str.length; i++) {
-      h = ((h << 5) - h + str.charCodeAt(i)) | 0;
+      h ^= str.charCodeAt(i);
+      h = Math.imul(h, 0x01000193); // FNV prime
     }
-    return Math.abs(h).toString(36).slice(0, 6);
+    return (h >>> 0).toString(36).padStart(8, '0').slice(0, 8);
   }
 
   // Scope CSS selectors by appending [data-tova-HASH] to each selector

package/src/codegen/codegen.js

@@ -279,12 +279,13 @@ export class CodeGenerator {
           break;
         }
         case 'ValidateBlock': {
-          // Validate: validator function
+          // Validate: validator function — include rule expression in error for debuggability
           const rules = stmt.rules.map(r => gen.genExpression(r));
           lines.push(`function __validate_${stmt.typeName}(it) {`);
           lines.push(`  const errors = [];`);
           for (let i = 0; i < rules.length; i++) {
-            lines.push(`  if (!(${rules[i]})) errors.push("Validation rule ${i + 1} failed for ${stmt.typeName}");`);
+            const escapedRule = rules[i].replace(/\\/g, '\\\\').replace(/"/g, '\\"');
+            lines.push(`  if (!(${rules[i]})) errors.push("Validation failed for ${stmt.typeName}: expected \`${escapedRule}\`");`);
           }
           lines.push(`  return errors.length === 0 ? { valid: true, errors: [] } : { valid: false, errors };`);
           lines.push(`}`);