refactor: add optimization phase

package.json

@@ -77,7 +77,7 @@
     "@typescript-eslint/parser": "^7.0.2",
     "ajv-cli": "^5.0.0",
     "cross-env": "^7.0.3",
-    "cspell": "^8.8.3",
+    "cspell": "^8.16.0",
     "eslint": "^8.56.0",
     "glob": "^8.1.0",
     "husky": "^9.1.5",

schemas/configSchema.json

@@ -56,6 +56,16 @@
                 "default": false,
                 "description": "False by default. If set to true, enables generation of a getter the information on the interfaces provided by the contract.\n\nRead more about supported interfaces: https://docs.tact-lang.org/ref/evolution/OTP-001."
               },
+              "skipTactOptimizationPhase": {
+                "type": "boolean",
+                "default": false,
+                "description": "False by default. If set to true, skips the Tact code optimization phase."
+              },
+              "dumpOptimizedTactCode": {
+                "type": "boolean",
+                "default": false,
+                "description": "False by default. If set to true, dumps the code produced by the Tact code optimization phase. In case the optimization phase is skipped, this option is ignored."
+              },
               "experimental": {
                 "type": "object",
                 "description": "Experimental options that might be removed in the future. Use with caution!",

src/config/parseConfig.ts

@@ -33,6 +33,15 @@ export const optionsSchema = z
          * Read more: https://docs.tact-lang.org/book/contracts#interfaces
          */
         interfacesGetter: z.boolean().optional(),
+        /**
+         * If set to true, skips the Tact code optimization phase.
+         */
+        skipTactOptimizationPhase: z.boolean().optional(),
+        /**
+         * If set to true, dumps the code produced by the Tact code optimization phase.
+         * In case the optimization phase is skipped, this option is ignored.
+         */
+        dumpOptimizedTactCode: z.boolean().optional(),
         /**
          * Experimental options that might be removed in the future. Use with caution!
          */

src/grammar/ast.ts

@@ -649,7 +649,12 @@ export type AstNull = {
     loc: SrcInfo;
 };
 
-export type AstValue = AstNumber | AstBoolean | AstNull | AstString;
+export type AstValue =
+    | AstNumber
+    | AstBoolean
+    | AstNull
+    | AstString
+    | AstStructInstance;
 
 export type AstConstantAttribute =
     | { type: "virtual"; loc: SrcInfo }

src/interpreter.ts

@@ -960,7 +960,7 @@ export class Interpreter {
                 if (foundContractConst.value !== undefined) {
                     return foundContractConst.value;
                 } else {
-                    throwErrorConstEval(
+                    throwNonFatalErrorConstEval(
                         `cannot evaluate declared contract/trait constant ${idTextErr(ast.field)} as it does not have a body`,
                         ast.field.loc,
                     );