@apply as built-in to apply a node

TODO.md

@@ -1,6 +1,4 @@
-`@apply` as built-in to apply a node
-
-`@spread_ports` as built-in to spread ports of a node
+`@ports` as built-in to spread ports of a node
 
 remove syntax of rearrange
 update docs about using `@ports` to do rearrange

src/lang/builtins/apply.ts

@@ -0,0 +1,23 @@
+import { ComposeOptions } from "../compose/compose"
+import { composeNode } from "../compose/composeNode"
+import { Env } from "../env"
+import { formatValue } from "../value"
+
+export function compose(env: Env, options: ComposeOptions): void {
+  const value = env.stack.pop()
+  if (value === undefined) {
+    throw new Error(`[@apply] I expect a value on the stack.`)
+  }
+
+  if (value["@kind"] !== "Node") {
+    throw new Error(
+      [
+        `[@apply] I expect the value on top of the stack to be a Node.`,
+        ``,
+        `  node: ${formatValue(value)}`,
+      ].join("\n"),
+    )
+  }
+
+  composeNode(env, value, options)
+}

src/lang/builtins/defineBuiltinOperators.ts

@@ -1,5 +1,6 @@
 import { Mod } from "../mod"
 import * as Type from "./Type"
+import * as apply from "./apply"
 import * as connect from "./connect"
 import { defineBuiltinOperator } from "./defineBuiltinOperator"
 import * as inspect from "./inspect"
@@ -13,5 +14,6 @@ export function defineBuiltinOperators(mod: Mod): void {
   defineBuiltinOperator(mod, "connect", connect)
   defineBuiltinOperator(mod, "inspect", inspect)
   defineBuiltinOperator(mod, "run", run)
+  defineBuiltinOperator(mod, "apply", apply)
   defineBuiltinOperator(mod, "Type", Type)
 }

tests/builtin/apply.i

@@ -0,0 +1,6 @@
+type Nat -- @Type end
+node zero -- Nat :value! end
+node add1 Nat :prev -- Nat :value! end
+
+(zero) @apply @inspect
+(add1) @apply @inspect

tests/builtin/apply.i.out

@@ -0,0 +1,4 @@
+net_from_port (zero₀)-value! end
+net_from_port (add1₀)-value!
+  (add1₀)-prev value-(zero₀)
+end

tests/builtin/connect-args.error.i.err

@@ -1,4 +1,4 @@
-[connect (builtin)] I expect a second value on the stack.
+[@connect] I expect a second value on the stack.
 
   first: (sole₀)-value!
 

tests/builtin/inspect-args.error.i.err

@@ -1,4 +1,4 @@
-[inspect (builtin)] I expect a value on the stack.
+[@inspect] I expect a value on the stack.
 
 [compose] I fail compose word.
 

tests/builtin/rot-args.error.i.err

@@ -1,4 +1,4 @@
-[rot (builtin)] I expect a third value on the stack.
+[@rot] I expect a third value on the stack.
 
   first: (sole₁)-value!
   second: (sole₀)-value!

tests/builtin/swap-args.error.i.err

@@ -1,4 +1,4 @@
-[swap (builtin)] I expect a second value on the stack.
+[@swap] I expect a second value on the stack.
 
   first: (sole₀)-value!