[lang0] simplify assertAllNamesDefined

TODO.md

@@ -2,8 +2,9 @@
 
 > 支持直接递归函数与相互递归函数，不能判断等价的地方就不判断。
 
-[lang0] add a pass to handle `checkOccur` -- check occur to create `FnRecursive` instead of `Fn`
+[lang0] add a pass to handle `checkOccur`
 
+- check occur to create `FnRecursive` instead of `Fn`
 - only in the same module for now
 
 [lang0] `equivalent` -- `FnRecursive`

src/lang0/run/assertAllNamesDefined.ts

@@ -1,12 +1,9 @@
 import type { Definition } from "../definition/Definition.js"
-import { expFreeNames } from "../exp/expFreeNames.js"
 import { formatExp } from "../format/formatExp.js"
 import { modFind, type Mod } from "../mod/index.js"
 
 export function assertAllNamesDefined(mod: Mod, definition: Definition): void {
-  const freeNames = expFreeNames(new Set([definition.name]), definition.exp)
-
-  for (const name of freeNames) {
+  for (const name of definition.freeNames) {
     if (modFind(mod, name) === undefined) {
       throw new Error(
         [

src/lang0/run/checkOccur.ts

@@ -0,0 +1,6 @@
+import type { Definition } from "../definition/index.js"
+import type { Mod } from "../mod/index.js"
+
+export function checkOccur(mod: Mod, definition: Definition): void {
+  //
+}

src/lang0/run/runMod.ts

@@ -1,5 +1,6 @@
 import { modOwnDefinitions, type Mod } from "../mod/index.js"
 import { assertAllNamesDefined } from "./assertAllNamesDefined.js"
+import { checkOccur } from "./checkOccur.js"
 import { define } from "./define.js"
 import { execute } from "./execute.js"
 
@@ -11,6 +12,9 @@ export function runMod(mod: Mod): void {
   for (const definition of modOwnDefinitions(mod).values())
     assertAllNamesDefined(mod, definition)
 
+  for (const definition of modOwnDefinitions(mod).values())
+    checkOccur(mod, definition)
+
   for (const stmt of mod.stmts) {
     const output = execute(mod, stmt)
     if (output) console.log(output)