assertValueKind

src/lang/evaluate/evaluateBlockStmt.ts

@@ -5,6 +5,7 @@ import { formatBlockStmt } from "../exp/formatBlockStmt"
 import { Mod } from "../mod"
 import { Value } from "../value"
 import { EvaluateOptions } from "./evaluate"
+import { evaluateOne } from "./evaluateOne"
 
 export function evaluateBlockStmt(
   mod: Mod,
@@ -15,6 +16,13 @@ export function evaluateBlockStmt(
   try {
     switch (stmt["@kind"]) {
       case "Connect": {
+        const transition = evaluateOne(mod, env, stmt.transition, options)
+        const inputArgs = stmt.inputArgs.map((arg) =>
+          evaluateOne(mod, env, arg, options),
+        )
+        const outputArgs = stmt.outputArgs.map((arg) =>
+          evaluateOne(mod, env, arg, options),
+        )
         throw new Error("TODO")
       }
 

src/lang/evaluate/evaluateParameters.ts

@@ -2,7 +2,7 @@ import { Env } from "../env"
 import { Mod } from "../mod"
 import { Parameter, ParameterExp } from "../parameter"
 import { EvaluateOptions } from "./evaluate"
-import { evaluate } from "./evaluate"
+import { evaluateOne } from "./evaluateOne"
 
 export function evaluateParameters(
   mod: Mod,
@@ -12,6 +12,6 @@ export function evaluateParameters(
 ): Array<Parameter> {
   return parameterExps.map(({ name, t }) => ({
     name,
-    t: evaluate(mod, env, t, options),
+    t: evaluateOne(mod, env, t, options),
   }))
 }

src/lang/value/Value.ts

@@ -1,3 +1,4 @@
-export type Value = {
-  //
-}
+import { Place } from "../place"
+import { Transition } from "../transition"
+
+export type Value = Place | Transition

src/lang/value/assertValueKind.ts

@@ -0,0 +1,16 @@
+import { Value } from "../value"
+
+export function assertValueKind<Kind extends Value["@kind"]>(
+  value: Value,
+  kind: Kind,
+): asserts value is Extract<Value, { "@kind": Kind }> {
+  if (value["@kind"] !== kind) {
+    throw new Error(
+      [
+        `[assertValueKind] fail`,
+        `-  expect kind: ${kind}`,
+        `-  found kind: ${value["@kind"]}`,
+      ].join("\n"),
+    )
+  }
+}

src/lang/value/index.ts

@@ -1,2 +1,3 @@
 export * from "./Value"
 export * from "./formatValue"
+export * from "./assertValueKind"