taskflow-dsl 0.2.0

package/dist/typecheck.js

@@ -0,0 +1,62 @@
+/**
+ * Optional full tsc Program diagnostics for a .tf.ts file.
+ */
+import path from "node:path";
+import ts from "typescript";
+export function typecheckFile(filePath, cwd = process.cwd()) {
+    const abs = path.isAbsolute(filePath) ? filePath : path.resolve(cwd, filePath);
+    const configPath = ts.findConfigFile(cwd, ts.sys.fileExists, "tsconfig.json");
+    let options = {
+        target: ts.ScriptTarget.ES2022,
+        module: ts.ModuleKind.ESNext,
+        moduleResolution: ts.ModuleResolutionKind.Bundler,
+        strict: true,
+        skipLibCheck: true,
+        noEmit: true,
+        esModuleInterop: true,
+        allowJs: false,
+    };
+    const configDiagnostics = [];
+    if (configPath) {
+        const read = ts.readConfigFile(configPath, ts.sys.readFile);
+        if (read.error) {
+            configDiagnostics.push(read.error);
+        }
+        else {
+            const parsed = ts.parseJsonConfigFileContent(read.config, ts.sys, path.dirname(configPath));
+            configDiagnostics.push(...parsed.errors);
+            options = { ...parsed.options, noEmit: true };
+        }
+    }
+    const host = ts.createCompilerHost(options);
+    const program = ts.createProgram([abs], options, host);
+    const diags = [
+        ...program.getSyntacticDiagnostics(),
+        ...program.getSemanticDiagnostics(),
+    ].filter((d) => {
+        const f = d.file?.fileName;
+        if (f && path.resolve(f) !== abs)
+            return false;
+        // A phase binding may be referenced declaratively by its emitted string id
+        // (`dependsOn: ["phase-id"]`) rather than by a TS identifier. Treating that
+        // valid DSL form as TS6133 would make decompiled and hand-authored DAGs fail
+        // check even though the binding is consumed by the eraser and execution engine.
+        return d.code !== 6133;
+    });
+    return [...configDiagnostics, ...diags].map((d) => {
+        const file = d.file;
+        let range;
+        if (file && d.start !== undefined) {
+            const { line, character } = file.getLineAndCharacterOfPosition(d.start);
+            range = { line: line + 1, character: character + 1 };
+        }
+        return {
+            code: `TS${d.code}`,
+            severity: d.category === ts.DiagnosticCategory.Error ? "error" : "warning",
+            message: ts.flattenDiagnosticMessageText(d.messageText, "\n"),
+            file: file?.fileName ?? abs,
+            range,
+        };
+    });
+}
+//# sourceMappingURL=typecheck.js.map

package/dist/typecheck.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typecheck.js","sourceRoot":"","sources":["../src/typecheck.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,MAAM,UAAU,aAAa,CAAC,QAAgB,EAAE,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE;IAClE,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;IAC/E,MAAM,UAAU,GAAG,EAAE,CAAC,cAAc,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;IAC9E,IAAI,OAAO,GAAuB;QACjC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;QAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM;QAC5B,gBAAgB,EAAE,EAAE,CAAC,oBAAoB,CAAC,OAAO;QACjD,MAAM,EAAE,IAAI;QACZ,YAAY,EAAE,IAAI;QAClB,MAAM,EAAE,IAAI;QACZ,eAAe,EAAE,IAAI;QACrB,OAAO,EAAE,KAAK;KACd,CAAC;IACF,MAAM,iBAAiB,GAAoB,EAAE,CAAC;IAC9C,IAAI,UAAU,EAAE,CAAC;QAChB,MAAM,IAAI,GAAG,EAAE,CAAC,cAAc,CAAC,UAAU,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC5D,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,CAAC;aAAM,CAAC;YACP,MAAM,MAAM,GAAG,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;YAC5F,iBAAiB,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;YACzC,OAAO,GAAG,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QAC/C,CAAC;IACF,CAAC;IACD,MAAM,IAAI,GAAG,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG;QACb,GAAG,OAAO,CAAC,uBAAuB,EAAE;QACpC,GAAG,OAAO,CAAC,sBAAsB,EAAE;KACnC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACd,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC;QAC3B,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG;YAAE,OAAO,KAAK,CAAC;QAC/C,2EAA2E;QAC3E,4EAA4E;QAC5E,6EAA6E;QAC7E,gFAAgF;QAChF,OAAO,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC;IACxB,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,GAAG,iBAAiB,EAAE,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACjD,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;QACpB,IAAI,KAA0B,CAAC;QAC/B,IAAI,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACnC,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC,6BAA6B,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACxE,KAAK,GAAG,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,EAAE,SAAS,EAAE,SAAS,GAAG,CAAC,EAAE,CAAC;QACtD,CAAC;QACD,OAAO;YACN,IAAI,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE;YACnB,QAAQ,EAAE,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;YAC1E,OAAO,EAAE,EAAE,CAAC,4BAA4B,CAAC,CAAC,CAAC,WAAW,EAAE,IAAI,CAAC;YAC7D,IAAI,EAAE,IAAI,EAAE,QAAQ,IAAI,GAAG;YAC3B,KAAK;SACgB,CAAC;IACxB,CAAC,CAAC,CAAC;AACJ,CAAC"}

package/package.json

@@ -0,0 +1,68 @@
+{
+  "name": "taskflow-dsl",
+  "version": "0.2.0",
+  "description": "Compile-time TypeScript DSL frontend for taskflow: erase .tf.ts runes to Taskflow JSON, then FlowIR via taskflow-core.",
+  "keywords": [
+    "taskflow",
+    "dsl",
+    "typescript",
+    "dag",
+    "orchestration"
+  ],
+  "license": "MIT",
+  "author": "heggria <bshengtao@gmail.com>",
+  "homepage": "https://github.com/heggria/taskflow#readme",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/heggria/taskflow.git",
+    "directory": "packages/taskflow-dsl"
+  },
+  "bugs": {
+    "url": "https://github.com/heggria/taskflow/issues"
+  },
+  "type": "module",
+  "engines": {
+    "node": ">=22.19.0"
+  },
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "bin": {
+    "taskflow-dsl": "./dist/cli.js"
+  },
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    },
+    "./build": {
+      "types": "./dist/build.d.ts",
+      "default": "./dist/build.js"
+    },
+    "./check": {
+      "types": "./dist/check.d.ts",
+      "default": "./dist/check.js"
+    },
+    "./decompile": {
+      "types": "./dist/decompile.d.ts",
+      "default": "./dist/decompile.js"
+    },
+    "./diagnostics": {
+      "types": "./dist/diagnostics.d.ts",
+      "default": "./dist/diagnostics.js"
+    }
+  },
+  "files": [
+    "dist"
+  ],
+  "dependencies": {
+    "typescript": "^6.0.3",
+    "taskflow-core": "0.2.0"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "scripts": {
+    "build": "rm -rf dist && tsc -p tsconfig.build.json && node ../../scripts/copy-readme.mjs taskflow-dsl",
+    "test:e2e": "node --experimental-strip-types test/e2e-dist-cli.mts"
+  }
+}