PortExp take type

TODO.md

@@ -1,15 +1,13 @@
 # type
 
-`PortExp` take `type`
-
 `freshenTypes` -- consistently add subscript to type variable names
 
-`defnode` -- support type
-
-`defrule` -- type check -- cut -- words composition
+`defrule` -- check type -- cut -- words composition
 
 `defnet` -- type check -- cut -- words composition
 
+`defnode` -- check type -- arity of defined types
+
 [maybe] `defdata`
 
 ```inet

src/lang/graph/PortExp.ts

@@ -1,4 +1,7 @@
+import { Type } from "../type"
+
 export type PortExp = {
   name: string
+  t: Type
   isPrincipal: boolean
 }

src/lang/mod/defineBuiltInOperators.ts

@@ -2,6 +2,7 @@ import { Port } from "../graph"
 import { connect } from "../graph/connect"
 import { createNode } from "../graph/createNode"
 import { Mod } from "../mod"
+import * as Types from "../type"
 import { defineOperator } from "./defineOperator"
 
 export function defineBuiltInOperators(mod: Mod): void {
@@ -30,17 +31,22 @@ export function defineBuiltInOperators(mod: Mod): void {
       "wire",
       [],
       [
-        { name: "left", isPrincipal: false },
-        { name: "right", isPrincipal: true },
+        {
+          name: "left",
+          t: Types.TypeVar("a"),
+          isPrincipal: false,
+        },
+        {
+          name: "right",
+          t: Types.TypeVar("a"),
+          isPrincipal: true,
+        },
       ],
     )
 
     net.ports.push(...node.output)
-
     net.nodes.push(node)
-
     const [start, end] = node.output
-
     net.wires.push({ start, end })
   })
 }

src/lang/syntax/matchers/port_matcher.ts

@@ -1,14 +1,17 @@
 import * as pt from "@cicada-lang/partech"
 import { PortExp } from "../../graph/PortExp"
+import * as matchers from "../matchers"
 
 export function port_matcher(tree: pt.Tree): PortExp {
   return pt.matcher<PortExp>({
     "port:normal": ({ name, type }, { span }) => ({
       name: pt.str(name),
+      t: matchers.type_matcher(type),
       isPrincipal: false,
     }),
     "port:principal": ({ name, type }, { span }) => ({
       name: pt.str(name),
+      t: matchers.type_matcher(type),
       isPrincipal: true,
     }),
   })(tree)