[lang0] equivalent -- FnRecursive

cicada-lang · Apr 10, 2024 · a2b0b01 · a2b0b01
1 parent 8dc05ed
commit a2b0b01
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/TODO.md b/TODO.md
@@ -2,7 +2,6 @@
 
 > 支持直接递归函数与相互递归函数，不能判断等价的地方就不判断。
 
-[lang0] `equivalent` -- `FnRecursive`
 [lang0] `equivalentNeutral` -- `ApRecursive`
 
 [lang0] test about equivalent between recursive functions

diff --git a/src/lang0/equivalent/equivalent.ts b/src/lang0/equivalent/equivalent.ts
@@ -30,7 +30,11 @@ export function equivalent(
     }
 
     case "FnRecursive": {
-      throw new Error()
+      return (
+        right["@kind"] === "FnRecursive" &&
+        left.name === right.name &&
+        left.mod === right.mod
+      )
     }
 
     case "Lazy": {