[new-syntax] stmts-next/ -- DefineType

TODO.md

@@ -1,7 +1,7 @@
 # new-syntax
 
+extract `Parameter`
 [new-syntax] `stmts-next/` -- `DefineRule`
-[new-syntax] `stmts-next/` -- `DefineType`
 [new-syntax] `stmts-next/` -- `DefineFunction`
 [new-syntax] `stmts-next/` -- `TopLevelEvaluate`
 [new-syntax] `stmts-next/` -- `TopLevelLet`

src/lang/stmts-next/DefineNode.ts

@@ -4,36 +4,23 @@ import { Mod } from "../mod"
 import { Span } from "../span"
 import { Stmt } from "../stmt-next"
 
-export type NodeParameter = {
+export type Parameter = {
   name: string
   t: Exp
-  isPrincipal: boolean
+  isPrincipal?: boolean
 }
 
 export class DefineNode implements Stmt {
   constructor(
     public name: string,
-    public input: Array<NodeParameter>,
-    public output: Array<NodeParameter>,
+    public input: Array<Parameter>,
+    public output: Array<Parameter>,
     public span: Span,
   ) {}
 
   async execute(mod: Mod): Promise<void> {
     try {
-      // const { inputPortExps, outputPortExps } = checkNode(
-      //   mod,
-      //   this.input,
-      //   this.output,
-      // )
-      // define(mod, this.name, {
-      //   "@type": "Definition",
-      //   "@kind": "NodeDefinition",
-      //   mod,
-      //   span: this.span,
-      //   name: this.name,
-      //   input: inputPortExps,
-      //   output: outputPortExps,
-      // })
+      // TODO
     } catch (error) {
       throw appendReport(error, {
         message: [

src/lang/stmts-next/DefineType.ts

@@ -0,0 +1,37 @@
+import { appendReport } from "../errors/appendReport"
+import { Exp } from "../exp"
+import { Mod } from "../mod"
+import { Span } from "../span"
+import { Stmt } from "../stmt-next"
+
+export type TypeParameter = {
+  name: string
+  t: Exp
+}
+
+export class DefineType implements Stmt {
+  constructor(
+    public name: string,
+    public input: Array<TypeParameter>,
+    public output: Array<TypeParameter>,
+    public span: Span,
+  ) {}
+
+  async execute(mod: Mod): Promise<void> {
+    try {
+      // TODO
+    } catch (error) {
+      throw appendReport(error, {
+        message: [
+          `[DefineNode.execute] I fail to define node.`,
+          ``,
+          `  node name: ${this.name}`,
+        ].join("\n"),
+        context: {
+          span: this.span,
+          text: mod.text,
+        },
+      })
+    }
+  }
+}

src/lang/stmts-next/index.ts

@@ -1 +1,2 @@
 export * from "./DefineNode"
+export * from "./DefineType"