@syncular/typegen 0.15.11 → 0.15.12

package/README.md

@@ -184,6 +184,7 @@ duplicate ordinals are errors). The parser accepts exactly:
 - `CREATE TABLE [IF NOT EXISTS] name ( column-defs…, [PRIMARY KEY (col)] ) [WITHOUT ROWID]`
 - `ALTER TABLE name ADD [COLUMN] column-def`
 - `CREATE [UNIQUE] INDEX [IF NOT EXISTS] name ON table ( col [, col…] )`
+- `DROP INDEX [IF EXISTS] name`
 - `DROP TABLE [IF EXISTS] name`
 - `CREATE VIRTUAL TABLE [IF NOT EXISTS] name USING fts5( text-col [, text-col…], content = table [, tokenize = 'allowlisted tokenizer'] )`
 - column-def: `name TYPE [PRIMARY KEY] [NOT NULL] [NULL] [DEFAULT literal]`
@@ -217,6 +218,15 @@ is bare column names: **ASC/DESC**, **expression** columns (`lower(a)`), and
 **partial** (`WHERE …`) indexes are hard errors (the IR models column names
 only, so accepting a direction/expression would silently drop it).
 
+**Index replacement** (`DROP INDEX`). A previously declared secondary index
+may be removed with `DROP INDEX name` or conditionally with `IF EXISTS`.
+Generation removes it from the head IR; a later `CREATE INDEX` may reuse the
+name with a different uniqueness or column definition. On a server schema
+bump, Syncular rebuilds the declared secondary indexes for its owned
+relational projection tables before advancing the version marker. Client
+mirrors already wipe and re-bootstrap application tables on every schema
+version change.
+
 **Table retirement** (`DROP TABLE`). A table created earlier in migration
 history and dropped before the head version is absent from the IR and must be
 omitted from the manifest's `tables` list. `IF EXISTS` is supported. Reusing a
@@ -246,7 +256,7 @@ There is no automatic `LIKE` fallback when FTS5 is unavailable; local schema
 creation fails loudly.
 
 **Hard errors** (each names the construct and source file): any other
-statement (`CREATE TRIGGER/VIEW`, `DROP INDEX`, DML, `ALTER … RENAME`, …); unknown
+statement (`CREATE TRIGGER/VIEW`, DML, `ALTER … RENAME`, …); unknown
 or parameterized types (`VARCHAR(36)`); quoted identifiers
 (`"t"`, `` `t` ``, `[t]`); table constraints (`FOREIGN KEY`, `UNIQUE`,
 `CHECK`, `CONSTRAINT`); column constraints beyond the list above

package/dist/sql.js

@@ -7,6 +7,7 @@
  *   [WITHOUT ROWID]`
  * - `ALTER TABLE name ADD [COLUMN] coldef`
  * - `CREATE [UNIQUE] INDEX [IF NOT EXISTS] name ON table (col [, col…])`
+ * - `DROP INDEX [IF EXISTS] name`
  * - `DROP TABLE [IF EXISTS] name`
  * - `CREATE VIRTUAL TABLE name USING fts5(cols…, content=table,
  *   [tokenize='allowlisted tokenizer'])` (RFC 0005 local projection)
@@ -548,7 +549,6 @@ function parseAlterTable(cursor, tables) {
 }
 /** `DROP TABLE [IF EXISTS] name`; table-name reuse remains unsupported. */
 function parseDropTable(cursor, tables, droppedTables) {
-    cursor.expectWord('TABLE', 'after DROP');
     let ifExists = false;
     if (cursor.eatWord('IF')) {
         cursor.expectWord('EXISTS', 'after IF');
@@ -564,6 +564,38 @@ function parseDropTable(cursor, tables, droppedTables) {
     tables.delete(name);
     droppedTables.add(name);
 }
+/** Remove one declared secondary index from the accumulated head schema. */
+function parseDropIndex(cursor, tables) {
+    let ifExists = false;
+    if (cursor.eatWord('IF')) {
+        cursor.expectWord('EXISTS', 'after IF');
+        ifExists = true;
+    }
+    const name = cursor.identifier('an index name');
+    cursor.expectEnd();
+    for (const table of tables.values()) {
+        const index = table.indexes.findIndex((candidate) => candidate.name === name);
+        if (index < 0)
+            continue;
+        table.indexes.splice(index, 1);
+        return;
+    }
+    if (!ifExists) {
+        cursor.fail(`DROP INDEX ${name}: index does not exist at this point`);
+    }
+}
+function parseDrop(cursor, tables, droppedTables) {
+    if (cursor.eatWord('TABLE')) {
+        parseDropTable(cursor, tables, droppedTables);
+        return;
+    }
+    if (cursor.eatWord('INDEX')) {
+        parseDropIndex(cursor, tables);
+        return;
+    }
+    const token = cursor.peek();
+    cursor.fail(`unsupported DROP statement (only DROP TABLE and DROP INDEX), found ${JSON.stringify(token?.text ?? '')}`);
+}
 /**
  * Apply one migration file's SQL to the accumulated table map. Columns
  * accumulate in declaration order — the §2.4 row-codec positional order.
@@ -580,10 +612,10 @@ export function applyMigrationSql(tables, sql, source, droppedTables = new Set()
             parseAlterTable(cursor, tables);
         }
         else if (word === 'DROP') {
-            parseDropTable(cursor, tables, droppedTables);
+            parseDrop(cursor, tables, droppedTables);
         }
         else {
-            throw new TypegenError(source, `unsupported SQL statement starting with ${JSON.stringify(head.text)} (only CREATE TABLE, CREATE [UNIQUE] INDEX, CREATE VIRTUAL TABLE … USING fts5, ALTER TABLE … ADD COLUMN, and DROP TABLE)`);
+            throw new TypegenError(source, `unsupported SQL statement starting with ${JSON.stringify(head.text)} (only CREATE TABLE, CREATE [UNIQUE] INDEX, CREATE VIRTUAL TABLE … USING fts5, ALTER TABLE … ADD COLUMN, DROP INDEX, and DROP TABLE)`);
         }
     }
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@syncular/typegen",
-  "version": "0.15.11",
+  "version": "0.15.12",
   "description": "Syncular schema-to-TypeScript type generator and the `syncular` CLI",
   "license": "Apache-2.0",
   "author": "Benjamin Kniffler",
@@ -48,7 +48,7 @@
     "!dist/**/*.test.d.ts"
   ],
   "devDependencies": {
-    "@syncular/core": "0.15.11",
-    "@syncular/server": "0.15.11"
+    "@syncular/core": "0.15.12",
+    "@syncular/server": "0.15.12"
   }
 }

package/src/sql.ts

@@ -7,6 +7,7 @@
  *   [WITHOUT ROWID]`
  * - `ALTER TABLE name ADD [COLUMN] coldef`
  * - `CREATE [UNIQUE] INDEX [IF NOT EXISTS] name ON table (col [, col…])`
+ * - `DROP INDEX [IF EXISTS] name`
  * - `DROP TABLE [IF EXISTS] name`
  * - `CREATE VIRTUAL TABLE name USING fts5(cols…, content=table,
  *   [tokenize='allowlisted tokenizer'])` (RFC 0005 local projection)
@@ -680,7 +681,6 @@ function parseDropTable(
   tables: Map<string, ParsedTable>,
   droppedTables: Set<string>,
 ): void {
-  cursor.expectWord('TABLE', 'after DROP');
   let ifExists = false;
   if (cursor.eatWord('IF')) {
     cursor.expectWord('EXISTS', 'after IF');
@@ -696,6 +696,50 @@ function parseDropTable(
   droppedTables.add(name);
 }
 
+/** Remove one declared secondary index from the accumulated head schema. */
+function parseDropIndex(
+  cursor: Cursor,
+  tables: Map<string, ParsedTable>,
+): void {
+  let ifExists = false;
+  if (cursor.eatWord('IF')) {
+    cursor.expectWord('EXISTS', 'after IF');
+    ifExists = true;
+  }
+  const name = cursor.identifier('an index name');
+  cursor.expectEnd();
+  for (const table of tables.values()) {
+    const index = table.indexes.findIndex(
+      (candidate) => candidate.name === name,
+    );
+    if (index < 0) continue;
+    table.indexes.splice(index, 1);
+    return;
+  }
+  if (!ifExists) {
+    cursor.fail(`DROP INDEX ${name}: index does not exist at this point`);
+  }
+}
+
+function parseDrop(
+  cursor: Cursor,
+  tables: Map<string, ParsedTable>,
+  droppedTables: Set<string>,
+): void {
+  if (cursor.eatWord('TABLE')) {
+    parseDropTable(cursor, tables, droppedTables);
+    return;
+  }
+  if (cursor.eatWord('INDEX')) {
+    parseDropIndex(cursor, tables);
+    return;
+  }
+  const token = cursor.peek();
+  cursor.fail(
+    `unsupported DROP statement (only DROP TABLE and DROP INDEX), found ${JSON.stringify(token?.text ?? '')}`,
+  );
+}
+
 /**
  * Apply one migration file's SQL to the accumulated table map. Columns
  * accumulate in declaration order — the §2.4 row-codec positional order.
@@ -715,11 +759,11 @@ export function applyMigrationSql(
     } else if (word === 'ALTER') {
       parseAlterTable(cursor, tables);
     } else if (word === 'DROP') {
-      parseDropTable(cursor, tables, droppedTables);
+      parseDrop(cursor, tables, droppedTables);
     } else {
       throw new TypegenError(
         source,
-        `unsupported SQL statement starting with ${JSON.stringify(head.text)} (only CREATE TABLE, CREATE [UNIQUE] INDEX, CREATE VIRTUAL TABLE … USING fts5, ALTER TABLE … ADD COLUMN, and DROP TABLE)`,
+        `unsupported SQL statement starting with ${JSON.stringify(head.text)} (only CREATE TABLE, CREATE [UNIQUE] INDEX, CREATE VIRTUAL TABLE … USING fts5, ALTER TABLE … ADD COLUMN, DROP INDEX, and DROP TABLE)`,
       );
     }
   }