tex2typst 0.1.20 → 0.2.2

package/src/types.ts

@@ -1,11 +1,3 @@
-export interface KatexParseNode {
-    type: string;
-    mode: string;
-    text?: string;
-    body?: KatexParseNode | KatexParseNode[] | KatexParseNode[][];
-    loc?: any;
-}
-
 export interface TexSupsubData {
     base: TexNode;
     sup?: TexNode;
@@ -24,7 +16,7 @@ export interface TexNode {
     // For type="sqrt", it's additional argument wrapped square bracket. e.g. 3 in \sqrt[3]{x}
     // For type="supsub", it's base, sup, and sub.
     // For type="array", it's the 2-dimensional matrix.
-    irregularData?: TexSqrtData | TexSupsubData | TexArrayData;
+    data?: TexSqrtData | TexSupsubData | TexArrayData;
 }
 
 export interface TypstNode {

package/src/writer.ts

@@ -74,24 +74,24 @@ export class TypstWriter {
     }
 
     public append(node: TexNode) {
-        if (node.type === 'empty') {
+        if (node.type === 'empty' || node.type === 'whitespace') {
             return;
         } else if (node.type === 'ordgroup') {
             // const index = this.startBlock();
             node.args!.forEach((arg) => this.append(arg));
             // this.endBlock(index);
-        } else if (node.type === 'atom') {
+        } else if (node.type === 'element') {
             let content = node.content!;
             if (node.content === ',' && this.insideFunctionDepth > 0) {
                 content = 'comma';
             }
-            this.queue.push({ type: 'atom', content: content });
+            this.queue.push({ type: 'symbol', content: content });
         } else if (node.type === 'symbol') {
             this.queue.push({ type: 'symbol', content: node.content });
         } else if (node.type === 'text') {
             this.queue.push(node as TypstNode)
         } else if (node.type === 'supsub') {
-            let { base, sup, sub } = node.irregularData as TexSupsubData;
+            let { base, sup, sub } = node.data as TexSupsubData;
 
             // Special logic for overbrace
             if (base && base.type === 'unaryFunc' && base.content === '\\overbrace' && sup) {
@@ -103,7 +103,7 @@ export class TypstWriter {
 
             }
 
-            if (!base) {
+            if (base.type === 'empty') {
                 this.queue.push({ type: 'text', content: '' });
             } else {
                 this.appendWithBracketsIfNeeded(base);
@@ -134,7 +134,7 @@ export class TypstWriter {
         } else if (node.type === 'leftright') {
             const [left, body, right] = node.args!;
             // These pairs will be handled by Typst compiler by default. No need to add lr()
-            if (["[]", "()", "{}", "\\lfloor\\rfloor", "\\lceil\\rceil"].includes(left.content + right.content)) {
+            if (["[]", "()", "\\{\\}", "\\lfloor\\rfloor", "\\lceil\\rceil"].includes(left.content + right.content)) {
                 this.append(left);
                 this.append(body);
                 this.append(right);
@@ -163,12 +163,12 @@ export class TypstWriter {
         } else if (node.type === 'unaryFunc') {
             const func_symbol: TypstNode = { type: 'symbol', content: node.content };
             const arg0 = node.args![0];
-            if (node.content === '\\sqrt' && node.irregularData) {
+            if (node.content === '\\sqrt' && node.data) {
                 func_symbol.content = 'root';
                 this.queue.push(func_symbol);
                 this.insideFunctionDepth ++;
                 this.queue.push({ type: 'atom', content: '('});
-                this.append(node.irregularData as TexSqrtData); // the number of times to take the root
+                this.append(node.data as TexSqrtData); // the number of times to take the root
                 this.queue.push({ type: 'atom', content: ','});
                 this.append(arg0);
                 this.queue.push({ type: 'atom', content: ')'});
@@ -189,7 +189,7 @@ export class TypstWriter {
                 return;
             } else if (node.content === '\\mathbb') {
                 const body = node.args![0];
-                if (body.type === 'symbol' && /^[A-Z]$/.test(body.content)) {
+                if (body.type === 'element' && /^[A-Z]$/.test(body.content)) {
                     // \mathbb{R} -> RR
                     this.queue.push({ type: 'symbol', content: body.content + body.content});
                     return;
@@ -210,14 +210,6 @@ export class TypstWriter {
                 if (this.preferTypstIntrinsic && TYPST_INTRINSIC_SYMBOLS.includes(text)) {
                     // e.g. we prefer just sech over op("sech")
                     this.queue.push({ type: 'symbol', content: text});
-                } else if (text.startsWith('SyMb01-')) {
-                    // special hacks made in parseTex()
-                    const special_symbol = text.substring(7);
-                    if (special_symbol === 'newline') {
-                        this.queue.push({ type: 'newline', content: '\n'});
-                        return;
-                    }
-                    this.queue.push({ type: 'symbol', content: '\\' + special_symbol});
                 } else {
                     this.queue.push({ type: 'symbol', content: 'op' });
                     this.queue.push({ type: 'atom', content: '('});
@@ -233,54 +225,67 @@ export class TypstWriter {
             this.append(arg0);
             this.queue.push({ type: 'atom', content: ')'});
             this.insideFunctionDepth --;
-        } else if (node.type === 'align') {
-            const matrix = node.irregularData as TexNode[][];
-            matrix.forEach((row, i) => {
-                row.forEach((cell, j) => {
-                    if (j > 0) {
-                        this.queue.push({ type: 'atom', content: '&' });
+        } else if (node.type === 'newline') {
+            this.queue.push({ type: 'newline', content: '\n'});
+            return;
+        } else if (node.type === 'beginend') {
+            if (node.content!.startsWith('align')) {
+                // align, align*, alignat, alignat*, aligned, etc.
+                const matrix = node.data as TexNode[][];
+                matrix.forEach((row, i) => {
+                    row.forEach((cell, j) => {
+                        if (j > 0) {
+                            this.queue.push({ type: 'atom', content: '&' });
+                        }
+                        this.append(cell);
+                    });
+                    if (i < matrix.length - 1) {
+                        this.queue.push({ type: 'symbol', content: '\\\\' });
                     }
-                    this.append(cell);
                 });
-                if (i < matrix.length - 1) {
-                    this.queue.push({ type: 'symbol', content: '\\\\' });
-                }
-            });
-        } else if (node.type === 'matrix') {
-            const matrix = node.irregularData as TexNode[][];
-            this.queue.push({ type: 'symbol', content: 'mat' });
-            this.insideFunctionDepth ++; 
-            this.queue.push({ type: 'atom', content: '('});
-            this.queue.push({type: 'symbol', content: 'delim: #none, '});
-            matrix.forEach((row, i) => {
-                row.forEach((cell, j) => {
-                    // There is a leading & in row
-                    if (cell.type === 'ordgroup' && cell.args!.length === 0) {
-                        this.queue.push({ type: 'atom', content: ',' });
-                        return;
-                    }
-                    // if (j == 0 && cell.type === 'newline' && cell.content === '\n') {
-                        // return;
-                    // }
-                    this.append(cell);
-                    // cell.args!.forEach((n) => this.append(n));
-                    if (j < row.length - 1) {
-                        this.queue.push({ type: 'atom', content: ',' });
-                    } else {
-                        if (i < matrix.length - 1) {
-                            this.queue.push({ type: 'atom', content: ';' });
+            } else {
+                const matrix = node.data as TexNode[][];
+                this.queue.push({ type: 'symbol', content: 'mat' });
+                this.insideFunctionDepth ++; 
+                this.queue.push({ type: 'atom', content: '('});
+                this.queue.push({type: 'symbol', content: 'delim: #none, '});
+                matrix.forEach((row, i) => {
+                    row.forEach((cell, j) => {
+                        // There is a leading & in row
+                        if (cell.type === 'ordgroup' && cell.args!.length === 0) {
+                            this.queue.push({ type: 'atom', content: ',' });
+                            return;
                         }
-                    }
+                        // if (j == 0 && cell.type === 'newline' && cell.content === '\n') {
+                            // return;
+                        // }
+                        this.append(cell);
+                        // cell.args!.forEach((n) => this.append(n));
+                        if (j < row.length - 1) {
+                            this.queue.push({ type: 'atom', content: ',' });
+                        } else {
+                            if (i < matrix.length - 1) {
+                                this.queue.push({ type: 'atom', content: ';' });
+                            }
+                        }
+                    });
                 });
-            });
-            this.queue.push({ type: 'atom', content: ')'});
-            this.insideFunctionDepth --;
+                this.queue.push({ type: 'atom', content: ')'});
+                this.insideFunctionDepth --;
+            }
+        } else if (node.type === 'matrix') {
         } else if (node.type === 'unknownMacro') {
             if (this.nonStrict) {
                 this.queue.push({ type: 'symbol', content: node.content });
             } else {
                 throw new TypstWriterError(`Unknown macro: ${node.content}`, node);
             }
+        } else if (node.type === 'control') {
+            if (node.content === '\\\\') {
+                this.queue.push({ type: 'symbol', content: node.content });
+            } else {
+                throw new TypstWriterError(`Unknown control sequence: ${node.content}`, node);
+            }
         } else if (node.type === 'comment') {
             this.queue.push({ type: 'comment', content: node.content });
         } else {
@@ -322,10 +327,7 @@ export class TypstWriter {
     }
 
     private appendWithBracketsIfNeeded(node: TexNode): boolean {
-        const is_single_atom = (node.type === 'atom');
-        const is_single_function = (node.type === 'unaryFunc' || node.type === 'binaryFunc' || node.type === 'leftright');     
-
-        const is_single = ['atom', 'symbol', 'unaryFunc', 'binaryFunc', 'leftright'].includes(node.type);
+        const is_single = ['symbol', 'element', 'unaryFunc', 'binaryFunc', 'leftright'].includes(node.type);
         if (is_single) {
             this.append(node);
         } else {

package/tsconfig.json

@@ -11,7 +11,7 @@
     // "disableReferencedProjectLoad": true,             /* Reduce the number of projects loaded automatically by TypeScript. */
 
     /* Language and Environment */
-    "target": "es2015",                                  /* Set the JavaScript language version for emitted JavaScript and include compatible library declarations. */
+    "target": "es2021",                                  /* Set the JavaScript language version for emitted JavaScript and include compatible library declarations. */
     // "lib": [],                                        /* Specify a set of bundled library declaration files that describe the target runtime environment. */
     // "jsx": "preserve",                                /* Specify what JSX code is generated. */
     // "experimentalDecorators": true,                   /* Enable experimental support for legacy experimental decorators. */