fix: type check (#70)

.github/workflows/test.yml

@@ -68,3 +68,20 @@ jobs:
         run: pnpm install
       - name: Run lint
         run: pnpm run lint
+  type:
+    name: Type Check
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: pnpm/action-setup@v4
+      - name: Setup Node.js
+        uses: actions/setup-node@v4
+        with:
+          node-version: 22
+          cache: "pnpm"
+      - name: Install dependencies
+        run: pnpm install
+      - name: Run build
+        run: pnpx turbo run build --filter="./packages/*"
+      - name: Run type check
+        run: pnpm run typecheck

packages/core/src/core/workflow.ts

@@ -1,7 +1,7 @@
 import { type WorkflowEvent, type WorkflowEventData } from "./event";
 import { createContext, type Handler, type WorkflowContext } from "./context";
 
-export type Workflow<Mis extends [] = [], Mos extends [] = []> = {
+export type Workflow = {
   handle<
     const AcceptEvents extends WorkflowEvent<any>[],
     Result extends ReturnType<WorkflowEvent<any>["with"]> | void,
@@ -9,30 +9,10 @@ export type Workflow<Mis extends [] = [], Mos extends [] = []> = {
     accept: AcceptEvents,
     handler: Handler<AcceptEvents, Result>,
   ): void;
-  createContext(): Mutate<WorkflowContext, Mis>;
-  $$workflowMutators?: Mos;
+  createContext(): WorkflowContext;
 };
 
-type Mutate<S, Ms> = number extends Ms["length" & keyof Ms]
-  ? S
-  : Ms extends []
-    ? S
-    : Ms extends [[infer Mi, infer Ma], ...infer Mrs]
-      ? Mutate<WorkflowMutators<S, Ma>[Mi & WorkflowMutatorIdentifier], Mrs>
-      : never;
-
-export interface WorkflowMutators<S, A> {}
-export type WorkflowMutatorIdentifier = keyof WorkflowMutators<
-  unknown,
-  unknown
->;
-
-export type WorkflowCreator<
-  Mis extends [] = [],
-  Mos extends [] = [],
-> = () => Workflow<Mis, Mos>;
-
-export const createWorkflow: WorkflowCreator = (): Workflow => {
+export const createWorkflow = (): Workflow => {
   const config = {
     steps: new Map<
       WorkflowEvent<any>[],

packages/core/src/interrupter/mcp.ts

@@ -6,7 +6,7 @@ import type { RequestHandlerExtra } from "@modelcontextprotocol/sdk/shared/proto
 import type { CallToolResult } from "@modelcontextprotocol/sdk/types.js";
 
 const requestHandlerExtraAsyncLocalStorage =
-  createAsyncContext<RequestHandlerExtra>();
+  createAsyncContext<RequestHandlerExtra<any, any>>();
 
 export const getReqHandlerExtra = () => {
   const extra = requestHandlerExtraAsyncLocalStorage.getStore();
@@ -26,7 +26,7 @@ export function mcpTool<
   stop: WorkflowEvent<Stop>,
 ): (
   args: Start,
-  extra: RequestHandlerExtra,
+  extra: RequestHandlerExtra<any, any>,
 ) => CallToolResult | Promise<CallToolResult> {
   return async (args, extra) =>
     requestHandlerExtraAsyncLocalStorage.run(extra, async () => {

packages/llamaindex/tsconfig.json

@@ -7,7 +7,7 @@
   "include": ["./src"],
   "references": [
     {
-      "path": "./tsconfig.test.json"
+      "path": "../core/tsconfig.json"
     }
   ]
 }

packages/llamaindex/tsconfig.test.json

@@ -4,5 +4,10 @@
     "outDir": "./lib/test/browser",
     "tsBuildInfoFile": "./lib/test/.tsbuildinfo"
   },
-  "include": ["./src", "./tests", "./vitest.config.ts"]
+  "include": ["./tests", "./vitest.config.ts"],
+  "references": [
+    {
+      "path": "./tsconfig.json"
+    }
+  ]
 }

tsconfig.json

@@ -25,17 +25,14 @@
     {
       "path": "./packages/core/tsconfig.test.json"
     },
-    {
-      "path": "./packages/core/tsconfig.browser.test.json"
-    },
-    {
-      "path": "./packages/core/tsconfig.browser.json"
-    },
     {
       "path": "./packages/core/tsconfig.json"
     },
     {
       "path": "./packages/llamaindex/tsconfig.json"
+    },
+    {
+      "path": "./packages/llamaindex/tsconfig.test.json"
     }
   ]
 }

tsconfig.lint-staged.json

@@ -1,5 +1,5 @@
 {
-  "extends": "../../tsconfig.json",
+  "extends": "./tsconfig.json",
   "compilerOptions": {
     "outDir": "./lib/lint-staged",
     "tsBuildInfoFile": "./lib/lint-staged/.tsbuildinfo",