@tishlang/tish 1.13.2 → 2.0.1

package/crates/tish_ast/src/ast.rs

@@ -24,6 +24,20 @@ pub enum TypeAnnotation {
     },
     /// Union type: T1 | T2
     Union(Vec<TypeAnnotation>),
+    /// Tuple type: [T1, T2, ...]
+    Tuple(Vec<TypeAnnotation>),
+    /// Literal type: "foo" | 42 | true (a value used as a type)
+    Literal(TypeLiteral),
+    /// Intersection type: T1 & T2 (e.g. `interface X extends Y { … }` → `Y & { … }`)
+    Intersection(Vec<TypeAnnotation>),
+}
+
+/// A literal value used in type position (`"a"`, `42`, `true`).
+#[derive(Debug, Clone, PartialEq)]
+pub enum TypeLiteral {
+    Str(Arc<str>),
+    Num(f64),
+    Bool(bool),
 }
 
 /// Function parameter with optional type annotation and default value.
@@ -62,15 +76,13 @@ impl FunParam {
     fn collect_pattern_binding_names(pattern: &DestructPattern, out: &mut Vec<Arc<str>>) {
         match pattern {
             DestructPattern::Array(elements) => {
-                for el in elements {
-                    if let Some(el) = el {
-                        match el {
-                            DestructElement::Ident(n, _) => out.push(Arc::clone(n)),
-                            DestructElement::Pattern(p) => {
-                                Self::collect_pattern_binding_names(p, out);
-                            }
-                            DestructElement::Rest(n, _) => out.push(Arc::clone(n)),
+                for el in elements.iter().flatten() {
+                    match el {
+                        DestructElement::Ident(n, _) => out.push(Arc::clone(n)),
+                        DestructElement::Pattern(p) => {
+                            Self::collect_pattern_binding_names(p, out);
                         }
+                        DestructElement::Rest(n, _) => out.push(Arc::clone(n)),
                     }
                 }
             }
@@ -169,6 +181,14 @@ pub enum Statement {
         init: Expr,
         span: Span,
     },
+    /// A transparent group of statements that execute in the *current* scope
+    /// (no new block scope). Produced for comma-separated declarators
+    /// (`let a = 1, b = 2`) so each declarator lowers to its own VarDecl while
+    /// still occupying a single statement slot (e.g. a `for` initializer).
+    Multi {
+        statements: Vec<Statement>,
+        span: Span,
+    },
     ExprStmt {
         expr: Expr,
         span: Span,
@@ -349,6 +369,11 @@ pub enum Expr {
         operand: Box<Expr>,
         span: Span,
     },
+    /// `delete obj.prop` / `delete obj[key]` — removes a property, evaluates to a boolean.
+    Delete {
+        target: Box<Expr>,
+        span: Span,
+    },
     PostfixInc {
         name: Arc<str>,
         span: Span,
@@ -475,6 +500,7 @@ impl Expr {
             Expr::Object { span, .. } => *span,
             Expr::Assign { span, .. } => *span,
             Expr::TypeOf { span, .. } => *span,
+            Expr::Delete { span, .. } => *span,
             Expr::PostfixInc { span, .. } => *span,
             Expr::PostfixDec { span, .. } => *span,
             Expr::PrefixInc { span, .. } => *span,
@@ -568,6 +594,8 @@ pub enum BinOp {
     BitXor,
     Shl,
     Shr,
+    /// `>>>` — unsigned (logical) right shift; JS ToUint32 semantics.
+    UShr,
     In,
 }
 
@@ -597,6 +625,7 @@ impl Statement {
             Statement::Block { span, .. }
             | Statement::VarDecl { span, .. }
             | Statement::VarDeclDestructure { span, .. }
+            | Statement::Multi { span, .. }
             | Statement::ExprStmt { span, .. }
             | Statement::If { span, .. }
             | Statement::While { span, .. }

package/crates/tish_builtins/Cargo.toml

@@ -8,6 +8,8 @@ description = "Shared builtin implementations for Tish (array, string, object, m
 license-file = { workspace = true }
 repository = { workspace = true }
 [dependencies]
+ahash = "0.8.11"
+indexmap = "2"
 rand = "0.10.1"
 tishlang_core = { path = "../tish_core", version = ">=0.1" }