[lang0] evaluate -- FnRecursive

cicada-lang · Apr 3, 2024 · 8fd0d36 · 8fd0d36
1 parent 6a89411
commit 8fd0d36
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/TODO.md b/TODO.md
@@ -2,7 +2,6 @@
 
 > 支持直接递归函数与相互递归函数，不能判断等价的地方就不判断。
 
-[lang0] `evaluate` -- `FnRecursive`
 [lang0] add an extra pass -- `defineMod` before `executeMod`
 [lang0] `equivalent` -- `FnRecursive`
 [lang0] `doAp` should not apply a `FnRecursive` when the `arg` is `NotYet`

diff --git a/src/lang0/evaluate/evaluate.ts b/src/lang0/evaluate/evaluate.ts
@@ -24,6 +24,10 @@ export function evaluate(mod: Mod, env: Env, exp: Exp): Value {
       return Values.Fn(mod, env, exp.name, exp.ret)
     }
 
+    case "FnRecursive": {
+      return Values.FnRecursive(mod, env, exp.recursiveName, exp.name, exp.ret)
+    }
+
     case "FnRecursive": {
       throw new Error("TODO")
     }