cut -- LocalSet

TODO.md

@@ -1,7 +1,6 @@
 # type
 
 `cut` -- `Call`
-`cut` -- `LocalSet`
 `cut` -- `PortPush`
 `cut` -- `PortReconnect`
 

src/lang/compose/compose.ts

@@ -36,7 +36,7 @@ export function compose(
       const port = net.ports.pop()
       if (port === undefined) {
         throw new Error(
-          `[LocalSet.compose] expect a port on the top of the stack`,
+          `[compose / LocalSet] expect a port on the top of the stack`,
         )
       }
 

src/lang/ctx/Ctx.ts

@@ -1,5 +1,13 @@
 import { Type } from "../type"
 
+export type Sign = 1 | -1
+
+export type SignedType = {
+  t: Type
+  sign: Sign
+}
+
 export type Ctx = {
-  types: Array<Type>
+  signedTypes: Array<SignedType>
+  localSignedTypes: Map<string, SignedType>
 }

src/lang/ctx/createCtx.ts

@@ -2,6 +2,7 @@ import { Ctx } from "./Ctx"
 
 export function createCtx(): Ctx {
   return {
-    types: [],
+    signedTypes: [],
+    localSignedTypes: new Map(),
   }
 }

src/lang/cut/cut.ts

@@ -18,11 +18,28 @@ export function cut(
 ): void {
   switch (word.kind) {
     case "Call": {
-      //
+      const found = ctx.localSignedTypes.get(word.name)
+      if (found !== undefined) {
+        ctx.signedTypes.push(found)
+        ctx.localSignedTypes.delete(word.name)
+        return
+      } else {
+        //
+        return
+      }
     }
 
     case "LocalSet": {
-      //
+      const signedType = ctx.signedTypes.pop()
+
+      if (signedType === undefined) {
+        throw new Error(
+          `[cut / LocalSet] expect a signed type on the top of the stack`,
+        )
+      }
+
+      ctx.localSignedTypes.set(word.name, signedType)
+      return
     }
 
     case "PortPush": {