tova 0.2.9 → 0.3.1

package/src/parser/ast.js

@@ -77,9 +77,10 @@ export class LetDestructure {
 }
 
 export class FunctionDeclaration {
-  constructor(name, params, body, returnType, loc, isAsync = false) {
+  constructor(name, params, body, returnType, loc, isAsync = false, typeParams = []) {
     this.type = 'FunctionDeclaration';
     this.name = name;
+    this.typeParams = typeParams; // Array of type parameter names (generics)
     this.params = params;     // Array of Parameter nodes
     this.body = body;         // BlockStatement or Expression (implicit return)
     this.returnType = returnType; // optional type annotation
@@ -198,21 +199,34 @@ export class IfStatement {
 }
 
 export class ForStatement {
-  constructor(variable, iterable, body, elseBody, loc) {
+  constructor(variable, iterable, body, elseBody, loc, guard = null, label = null, isAsync = false) {
     this.type = 'ForStatement';
     this.variable = variable;   // Identifier or destructure pattern
     this.iterable = iterable;   // Expression
     this.body = body;           // BlockStatement
     this.elseBody = elseBody;   // BlockStatement or null (for-else)
+    this.guard = guard;         // Expression or null (when guard)
+    this.label = label;         // string or null (for named loops)
+    this.isAsync = isAsync;     // true for `async for x in stream`
     this.loc = loc;
   }
 }
 
 export class WhileStatement {
-  constructor(condition, body, loc) {
+  constructor(condition, body, loc, label = null) {
     this.type = 'WhileStatement';
     this.condition = condition;
     this.body = body;
+    this.label = label;         // string or null (for named loops)
+    this.loc = loc;
+  }
+}
+
+export class LoopStatement {
+  constructor(body, label, loc) {
+    this.type = 'LoopStatement';
+    this.body = body;           // BlockStatement
+    this.label = label;         // string or null (for named loops)
     this.loc = loc;
   }
 }
@@ -240,15 +254,17 @@ export class TryCatchStatement {
 }
 
 export class BreakStatement {
-  constructor(loc) {
+  constructor(loc, label = null) {
     this.type = 'BreakStatement';
+    this.label = label;         // string or null (for named break)
     this.loc = loc;
   }
 }
 
 export class ContinueStatement {
-  constructor(loc) {
+  constructor(loc, label = null) {
     this.type = 'ContinueStatement';
+    this.label = label;         // string or null (for named continue)
     this.loc = loc;
   }
 }
@@ -521,6 +537,16 @@ export class DictComprehension {
   }
 }
 
+export class IsExpression {
+  constructor(value, typeName, negated, loc) {
+    this.type = 'IsExpression';
+    this.value = value;
+    this.typeName = typeName;     // string: "String", "Int", "Nil", etc.
+    this.negated = negated;       // true for "is not"
+    this.loc = loc;
+  }
+}
+
 export class MembershipExpression {
   constructor(value, collection, negated, loc) {
     this.type = 'MembershipExpression';
@@ -630,368 +656,49 @@ export class RangePattern {
 }
 
 // ============================================================
-// Client-specific nodes
+// Client-specific nodes (lazy-loaded from client-ast.js, re-exported for backward compat)
 // ============================================================
 
-export class StateDeclaration {
-  constructor(name, typeAnnotation, initialValue, loc) {
-    this.type = 'StateDeclaration';
-    this.name = name;
-    this.typeAnnotation = typeAnnotation;
-    this.initialValue = initialValue;
-    this.loc = loc;
-  }
-}
-
-export class ComputedDeclaration {
-  constructor(name, expression, loc) {
-    this.type = 'ComputedDeclaration';
-    this.name = name;
-    this.expression = expression;
-    this.loc = loc;
-  }
-}
-
-export class EffectDeclaration {
-  constructor(body, loc) {
-    this.type = 'EffectDeclaration';
-    this.body = body;
-    this.loc = loc;
-  }
-}
-
-export class ComponentDeclaration {
-  constructor(name, params, body, loc) {
-    this.type = 'ComponentDeclaration';
-    this.name = name;
-    this.params = params;
-    this.body = body; // Array of JSX elements and statements
-    this.loc = loc;
-  }
-}
-
-export class ComponentStyleBlock {
-  constructor(css, loc) {
-    this.type = 'ComponentStyleBlock';
-    this.css = css; // raw CSS string
-    this.loc = loc;
-  }
-}
-
-export class StoreDeclaration {
-  constructor(name, body, loc) {
-    this.type = 'StoreDeclaration';
-    this.name = name;   // e.g. "TodoStore"
-    this.body = body;   // Array of StateDeclaration, ComputedDeclaration, FunctionDeclaration
-    this.loc = loc;
-  }
-}
+export {
+  StateDeclaration, ComputedDeclaration, EffectDeclaration,
+  ComponentDeclaration, ComponentStyleBlock, StoreDeclaration,
+  JSXElement, JSXAttribute, JSXSpreadAttribute, JSXFragment,
+  JSXText, JSXExpression, JSXFor, JSXIf,
+} from './client-ast.js';
 
 // ============================================================
-// JSX-like nodes
+// Server-specific nodes (lazy-loaded from server-ast.js, re-exported for backward compat)
 // ============================================================
 
-export class JSXElement {
-  constructor(tag, attributes, children, selfClosing, loc) {
-    this.type = 'JSXElement';
-    this.tag = tag;
-    this.attributes = attributes; // Array of JSXAttribute
-    this.children = children;     // Array of JSXElement, JSXText, JSXExpression
-    this.selfClosing = selfClosing;
-    this.loc = loc;
-  }
-}
-
-export class JSXAttribute {
-  constructor(name, value, loc) {
-    this.type = 'JSXAttribute';
-    this.name = name;   // string (e.g., "class", "on:click")
-    this.value = value;  // Expression or string
-    this.loc = loc;
-  }
-}
-
-export class JSXSpreadAttribute {
-  constructor(expression, loc) {
-    this.type = 'JSXSpreadAttribute';
-    this.expression = expression;
-    this.loc = loc;
-  }
-}
-
-export class JSXText {
-  constructor(value, loc) {
-    this.type = 'JSXText';
-    this.value = value;
-    this.loc = loc;
-  }
-}
-
-export class JSXExpression {
-  constructor(expression, loc) {
-    this.type = 'JSXExpression';
-    this.expression = expression;
-    this.loc = loc;
-  }
-}
-
-export class JSXFor {
-  constructor(variable, iterable, body, loc, keyExpr = null) {
-    this.type = 'JSXFor';
-    this.variable = variable;
-    this.iterable = iterable;
-    this.body = body;
-    this.keyExpr = keyExpr; // optional key expression for keyed reconciliation
-    this.loc = loc;
-  }
-}
-
-export class JSXIf {
-  constructor(condition, consequent, alternate, loc, alternates = []) {
-    this.type = 'JSXIf';
-    this.condition = condition;
-    this.consequent = consequent;
-    this.alternates = alternates; // Array of { condition, body } for elif chains
-    this.alternate = alternate;   // else body (or null)
-    this.loc = loc;
-  }
-}
-
-// ============================================================
-// Server-specific nodes
-// ============================================================
-
-export class RouteDeclaration {
-  constructor(method, path, handler, loc, decorators = []) {
-    this.type = 'RouteDeclaration';
-    this.method = method;   // GET, POST, PUT, DELETE, PATCH
-    this.path = path;       // string literal
-    this.handler = handler; // Identifier or FunctionDeclaration
-    this.decorators = decorators; // Array of { name, args } for "with auth, role("admin")"
-    this.loc = loc;
-  }
-}
-
-export class MiddlewareDeclaration {
-  constructor(name, params, body, loc) {
-    this.type = 'MiddlewareDeclaration';
-    this.name = name;
-    this.params = params;   // Array of Parameter nodes (req, next)
-    this.body = body;       // BlockStatement
-    this.loc = loc;
-  }
-}
-
-export class HealthCheckDeclaration {
-  constructor(path, loc) {
-    this.type = 'HealthCheckDeclaration';
-    this.path = path;       // string literal, e.g. "/health"
-    this.loc = loc;
-  }
-}
-
-export class CorsDeclaration {
-  constructor(config, loc) {
-    this.type = 'CorsDeclaration';
-    this.config = config;   // { origins: ArrayLiteral, methods: ArrayLiteral, headers: ArrayLiteral }
-    this.loc = loc;
-  }
-}
-
-export class ErrorHandlerDeclaration {
-  constructor(params, body, loc) {
-    this.type = 'ErrorHandlerDeclaration';
-    this.params = params;   // Array of Parameter nodes (err, req)
-    this.body = body;       // BlockStatement
-    this.loc = loc;
-  }
-}
-
-export class WebSocketDeclaration {
-  constructor(handlers, loc, config = null) {
-    this.type = 'WebSocketDeclaration';
-    this.handlers = handlers; // { on_open, on_message, on_close, on_error } — each is { params, body } or null
-    this.config = config;     // { auth: expression } or null
-    this.loc = loc;
-  }
-}
-
-export class StaticDeclaration {
-  constructor(path, dir, loc, fallback = null) {
-    this.type = 'StaticDeclaration';
-    this.path = path;       // URL prefix, e.g. "/public"
-    this.dir = dir;         // directory path, e.g. "./public"
-    this.fallback = fallback; // fallback file, e.g. "index.html"
-    this.loc = loc;
-  }
-}
-
-export class DiscoverDeclaration {
-  constructor(peerName, urlExpression, loc, config = null) {
-    this.type = 'DiscoverDeclaration';
-    this.peerName = peerName;         // string — the peer server name
-    this.urlExpression = urlExpression; // Expression — the URL
-    this.config = config;             // { threshold, timeout } or null
-    this.loc = loc;
-  }
-}
-
-export class AuthDeclaration {
-  constructor(config, loc) {
-    this.type = 'AuthDeclaration';
-    this.config = config; // { type, secret, ... } object config
-    this.loc = loc;
-  }
-}
-
-export class MaxBodyDeclaration {
-  constructor(limit, loc) {
-    this.type = 'MaxBodyDeclaration';
-    this.limit = limit; // Expression — max body size in bytes
-    this.loc = loc;
-  }
-}
-
-export class RouteGroupDeclaration {
-  constructor(prefix, body, loc) {
-    this.type = 'RouteGroupDeclaration';
-    this.prefix = prefix; // string — URL prefix, e.g. "/api/v1"
-    this.body = body;     // Array of server statements
-    this.loc = loc;
-  }
-}
+export {
+  RouteDeclaration, MiddlewareDeclaration, HealthCheckDeclaration,
+  CorsDeclaration, ErrorHandlerDeclaration, WebSocketDeclaration,
+  StaticDeclaration, DiscoverDeclaration, AuthDeclaration,
+  MaxBodyDeclaration, RouteGroupDeclaration, RateLimitDeclaration,
+  LifecycleHookDeclaration, SubscribeDeclaration, EnvDeclaration,
+  ScheduleDeclaration, UploadDeclaration, SessionDeclaration,
+  DbDeclaration, TlsDeclaration, CompressionDeclaration,
+  BackgroundJobDeclaration, CacheDeclaration, SseDeclaration,
+  ModelDeclaration, AiConfigDeclaration,
+} from './server-ast.js';
 
-export class RateLimitDeclaration {
-  constructor(config, loc) {
-    this.type = 'RateLimitDeclaration';
-    this.config = config;
-    this.loc = loc;
-  }
-}
-
-export class LifecycleHookDeclaration {
-  constructor(hook, params, body, loc) {
-    this.type = 'LifecycleHookDeclaration';
-    this.hook = hook;       // "start" or "stop"
-    this.params = params;
-    this.body = body;
-    this.loc = loc;
-  }
-}
-
-export class SubscribeDeclaration {
-  constructor(event, params, body, loc) {
-    this.type = 'SubscribeDeclaration';
-    this.event = event;     // string — event name
-    this.params = params;
-    this.body = body;
-    this.loc = loc;
-  }
-}
-
-export class EnvDeclaration {
-  constructor(name, typeAnnotation, defaultValue, loc) {
-    this.type = 'EnvDeclaration';
-    this.name = name;
-    this.typeAnnotation = typeAnnotation;
-    this.defaultValue = defaultValue;
-    this.loc = loc;
-  }
-}
-
-export class ScheduleDeclaration {
-  constructor(pattern, name, params, body, loc) {
-    this.type = 'ScheduleDeclaration';
-    this.pattern = pattern;   // string — interval or cron pattern
-    this.name = name;         // optional function name
-    this.params = params;
-    this.body = body;
-    this.loc = loc;
-  }
-}
-
-export class UploadDeclaration {
-  constructor(config, loc) {
-    this.type = 'UploadDeclaration';
-    this.config = config;   // { max_size, allowed_types, ... }
-    this.loc = loc;
-  }
-}
-
-export class SessionDeclaration {
-  constructor(config, loc) {
-    this.type = 'SessionDeclaration';
-    this.config = config;   // { secret, max_age, cookie_name, ... }
-    this.loc = loc;
-  }
-}
-
-export class DbDeclaration {
-  constructor(config, loc) {
-    this.type = 'DbDeclaration';
-    this.config = config;   // { path, wal, ... }
-    this.loc = loc;
-  }
-}
-
-export class TlsDeclaration {
-  constructor(config, loc) {
-    this.type = 'TlsDeclaration';
-    this.config = config;   // { cert, key, ... }
-    this.loc = loc;
-  }
-}
-
-export class CompressionDeclaration {
-  constructor(config, loc) {
-    this.type = 'CompressionDeclaration';
-    this.config = config;   // { enabled, min_size, ... }
-    this.loc = loc;
-  }
-}
-
-export class BackgroundJobDeclaration {
-  constructor(name, params, body, loc) {
-    this.type = 'BackgroundJobDeclaration';
-    this.name = name;
-    this.params = params;
-    this.body = body;
-    this.loc = loc;
-  }
-}
-
-export class CacheDeclaration {
-  constructor(config, loc) {
-    this.type = 'CacheDeclaration';
-    this.config = config;   // { max_age, stale_while_revalidate, ... }
-    this.loc = loc;
-  }
-}
-
-export class SseDeclaration {
-  constructor(path, params, body, loc) {
-    this.type = 'SseDeclaration';
-    this.path = path;       // string — SSE endpoint path
-    this.params = params;   // Array of Parameter nodes
-    this.body = body;       // BlockStatement
-    this.loc = loc;
-  }
-}
-
-export class ModelDeclaration {
-  constructor(name, config, loc) {
-    this.type = 'ModelDeclaration';
-    this.name = name;       // string — type name to generate CRUD for
-    this.config = config;   // { table, timestamps, ... } or null
+export class TestBlock {
+  constructor(name, body, loc, options = {}) {
+    this.type = 'TestBlock';
+    this.name = name;       // optional string name
+    this.body = body;       // Array of statements
+    this.timeout = options.timeout || null;  // optional timeout in ms
+    this.beforeEach = options.beforeEach || null; // Array of statements or null
+    this.afterEach = options.afterEach || null;   // Array of statements or null
     this.loc = loc;
   }
 }
 
-export class TestBlock {
+export class BenchBlock {
   constructor(name, body, loc) {
-    this.type = 'TestBlock';
+    this.type = 'BenchBlock';
     this.name = name;       // optional string name
-    this.body = body;       // Array of statements
+    this.body = body;       // Array of statements (expressions to benchmark)
     this.loc = loc;
   }
 }
@@ -1041,6 +748,14 @@ export class FunctionTypeAnnotation {
   }
 }
 
+export class UnionTypeAnnotation {
+  constructor(members, loc) {
+    this.type = 'UnionTypeAnnotation';
+    this.members = members; // Array of TypeAnnotation nodes
+    this.loc = loc;
+  }
+}
+
 // ============================================================
 // Impl blocks
 // ============================================================
@@ -1073,9 +788,10 @@ export class TraitDeclaration {
 // ============================================================
 
 export class TypeAlias {
-  constructor(name, typeExpr, loc) {
+  constructor(name, typeParams, typeExpr, loc) {
     this.type = 'TypeAlias';
     this.name = name;
+    this.typeParams = typeParams; // Array of type parameter names (for generics)
     this.typeExpr = typeExpr; // TypeAnnotation
     this.loc = loc;
   }
@@ -1085,6 +801,16 @@ export class TypeAlias {
 // Defer statement
 // ============================================================
 
+export class WithStatement {
+  constructor(expression, name, body, loc) {
+    this.type = 'WithStatement';
+    this.expression = expression; // resource expression
+    this.name = name;             // binding name (string)
+    this.body = body;             // BlockStatement
+    this.loc = loc;
+  }
+}
+
 export class DeferStatement {
   constructor(body, loc) {
     this.type = 'DeferStatement';
@@ -1212,19 +938,6 @@ export class RefreshPolicy {
   }
 }
 
-// ============================================================
-// AI configuration
-// ============================================================
-
-export class AiConfigDeclaration {
-  constructor(name, config, loc) {
-    this.type = 'AiConfigDeclaration';
-    this.name = name;    // optional string name (null for default)
-    this.config = config; // key-value config object
-    this.loc = loc;
-  }
-}
-
 // ============================================================
 // Refinement types
 // ============================================================

package/src/parser/client-ast.js

@@ -0,0 +1,138 @@
+// Client-specific AST Node definitions for the Tova language
+// Extracted from ast.js for lazy loading — only loaded when client { } blocks are used.
+
+// ============================================================
+// Client-specific nodes
+// ============================================================
+
+export class StateDeclaration {
+  constructor(name, typeAnnotation, initialValue, loc) {
+    this.type = 'StateDeclaration';
+    this.name = name;
+    this.typeAnnotation = typeAnnotation;
+    this.initialValue = initialValue;
+    this.loc = loc;
+  }
+}
+
+export class ComputedDeclaration {
+  constructor(name, expression, loc) {
+    this.type = 'ComputedDeclaration';
+    this.name = name;
+    this.expression = expression;
+    this.loc = loc;
+  }
+}
+
+export class EffectDeclaration {
+  constructor(body, loc) {
+    this.type = 'EffectDeclaration';
+    this.body = body;
+    this.loc = loc;
+  }
+}
+
+export class ComponentDeclaration {
+  constructor(name, params, body, loc) {
+    this.type = 'ComponentDeclaration';
+    this.name = name;
+    this.params = params;
+    this.body = body; // Array of JSX elements and statements
+    this.loc = loc;
+  }
+}
+
+export class ComponentStyleBlock {
+  constructor(css, loc) {
+    this.type = 'ComponentStyleBlock';
+    this.css = css; // raw CSS string
+    this.loc = loc;
+  }
+}
+
+export class StoreDeclaration {
+  constructor(name, body, loc) {
+    this.type = 'StoreDeclaration';
+    this.name = name;   // e.g. "TodoStore"
+    this.body = body;   // Array of StateDeclaration, ComputedDeclaration, FunctionDeclaration
+    this.loc = loc;
+  }
+}
+
+// ============================================================
+// JSX-like nodes
+// ============================================================
+
+export class JSXElement {
+  constructor(tag, attributes, children, selfClosing, loc) {
+    this.type = 'JSXElement';
+    this.tag = tag;
+    this.attributes = attributes; // Array of JSXAttribute
+    this.children = children;     // Array of JSXElement, JSXText, JSXExpression
+    this.selfClosing = selfClosing;
+    this.loc = loc;
+  }
+}
+
+export class JSXAttribute {
+  constructor(name, value, loc) {
+    this.type = 'JSXAttribute';
+    this.name = name;   // string (e.g., "class", "on:click")
+    this.value = value;  // Expression or string
+    this.loc = loc;
+  }
+}
+
+export class JSXSpreadAttribute {
+  constructor(expression, loc) {
+    this.type = 'JSXSpreadAttribute';
+    this.expression = expression;
+    this.loc = loc;
+  }
+}
+
+export class JSXFragment {
+  constructor(children, loc) {
+    this.type = 'JSXFragment';
+    this.children = children;     // Array of JSXElement, JSXText, JSXExpression, etc.
+    this.loc = loc;
+  }
+}
+
+export class JSXText {
+  constructor(value, loc) {
+    this.type = 'JSXText';
+    this.value = value;
+    this.loc = loc;
+  }
+}
+
+export class JSXExpression {
+  constructor(expression, loc) {
+    this.type = 'JSXExpression';
+    this.expression = expression;
+    this.loc = loc;
+  }
+}
+
+export class JSXFor {
+  constructor(variable, iterable, body, loc, keyExpr = null) {
+    this.type = 'JSXFor';
+    this.variable = variable;
+    this.iterable = iterable;
+    this.body = body;
+    this.keyExpr = keyExpr; // optional key expression for keyed reconciliation
+    this.loc = loc;
+  }
+}
+
+export class JSXIf {
+  constructor(condition, consequent, alternate, loc, alternates = []) {
+    this.type = 'JSXIf';
+    this.condition = condition;
+    this.consequent = consequent;
+    this.alternates = alternates; // Array of { condition, body } for elif chains
+    this.alternate = alternate;   // else body (or null)
+    this.loc = loc;
+  }
+}