[lang1] rename substitutionKeepNames to substitutionTakeNames

cicada-lang · May 17, 2024 · ac2ac7c · ac2ac7c
1 parent 9408594
commit ac2ac7c
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 10 deletions.
diff --git a/package-lock.json b/package-lock.json
diff --git a/src/lang0/substitution/Substitution.ts b/src/lang0/substitution/Substitution.ts
@@ -55,7 +55,7 @@ export function substitutionMapExp(
   ])
 }
 
-export function substitutionKeepNames(
+export function substitutionTakeNames(
   substitution: Substitution,
   names: Set<string>,
 ): Substitution {

diff --git a/src/lang1/reduce/substitute.ts b/src/lang1/reduce/substitute.ts
@@ -3,7 +3,7 @@ import { type Exp } from "../exp/index.js"
 import {
   substitutionExtend,
   substitutionIsEmpty,
-  substitutionKeepNames,
+  substitutionTakeNames,
   substitutionMapExp,
   substitutionMerge,
   type Substitution,
@@ -14,7 +14,7 @@ import { lookup } from "./lookup.js"
 // NOTE `substitute` should not call `reduce.
 
 export function substitute(substitution: Substitution, body: Exp): Exp {
-  substitution = substitutionKeepNames(
+  substitution = substitutionTakeNames(
     substitution,
     Exps.expFreeNames(new Set(), body),
   )

diff --git a/src/lang1/substitution/Substitution.ts b/src/lang1/substitution/Substitution.ts
@@ -55,7 +55,7 @@ export function substitutionMapExp(
   ])
 }
 
-export function substitutionKeepNames(
+export function substitutionTakeNames(
   substitution: Substitution,
   names: Set<string>,
 ): Substitution {