remove freshenNames

cicada-lang · May 17, 2024 · 475667d · 475667d
1 parent 2601985
commit 475667d
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 21 deletions.
diff --git a/TODO.md b/TODO.md
@@ -1,7 +1,7 @@
 # lang1
 
-[lang1] 支持 `(assert-equal)` 与 `(assert-not-equal)`
 [lang1] fix `freshen` -- be like lang0 with `usedNames`
+[lang1] 支持 `(assert-equal)` 与 `(assert-not-equal)`
 [lang1] 支持直接递归函数与相互递归函数，不能判断等价的地方就不判断。
 
 # lang0

diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -32,7 +32,7 @@
     "regexp-match-indices": "^1.0.2"
   },
   "devDependencies": {
-    "@types/node": "^20.12.11",
+    "@types/node": "^20.12.12",
     "@xieyuheng/test-runner": "^0.2.10",
     "prettier": "^3.2.5",
     "prettier-plugin-organize-imports": "^3.2.4",

diff --git a/src/lang0/utils/freshen.ts b/src/lang0/utils/freshen.ts
@@ -16,18 +16,3 @@ export function freshen(
     }
   }
 }
-
-export function freshenNames(
-  usedNames: Array<string> | Set<string>,
-  names: Array<string> | Set<string>,
-): Map<string, string> {
-  usedNames = new Set([...usedNames, ...names])
-  const freshNameMap = new Map()
-  for (const name of names) {
-    const freshName = freshen(usedNames, name)
-    freshNameMap.set(name, freshName)
-    usedNames.add(freshName)
-  }
-
-  return freshNameMap
-}