rename lang0 to lang

cicada-lang · Aug 5, 2024 · d42ac2f · d42ac2f
1 parent 7ab0dcb
commit d42ac2f
Show file tree

Hide file tree

Showing 59 changed files with 5 additions and 7 deletions.
diff --git a/TODO.md b/TODO.md
@@ -1,6 +1,4 @@
-rename lang0 to lang
+# docs
 
-# lang0
-
-[lang0] docs/lambda-encoding -- Exp Lambda 编码的例子，外加解释器
-[lang0] docs/self-type
+[docs] docs/lambda-encoding -- Exp Lambda 编码的例子，外加解释器
+[docs] docs/self-type
diff --git a/src/command-line/commands/RunCommand.ts b/src/command-line/commands/RunCommand.ts
@@ -2,7 +2,7 @@ import { Command, CommandRunner } from "@xieyuheng/command-line"
 import { ty } from "@xieyuheng/ty"
 import fs from "fs"
 import Path from "path"
-import { run } from "../../lang0/run/index.js"
+import { run } from "../../lang/run/index.js"
 
 type Args = { file: string }
 type Opts = {}

diff --git a/src/lang0/actions/doAp.ts → src/lang/actions/doAp.ts b/src/lang0/actions/doAp.ts → src/lang/actions/doAp.ts
diff --git a/src/lang0/actions/index.ts → src/lang/actions/index.ts b/src/lang0/actions/index.ts → src/lang/actions/index.ts
diff --git a/src/lang0/definition/Definition.ts → src/lang/definition/Definition.ts b/src/lang0/definition/Definition.ts → src/lang/definition/Definition.ts
diff --git a/src/lang0/definition/index.ts → src/lang/definition/index.ts b/src/lang0/definition/index.ts → src/lang/definition/index.ts
diff --git a/src/lang0/env/Env.ts → src/lang/env/Env.ts b/src/lang0/env/Env.ts → src/lang/env/Env.ts
diff --git a/src/lang0/env/index.ts → src/lang/env/index.ts b/src/lang0/env/index.ts → src/lang/env/index.ts
diff --git a/src/lang0/equivalent/EquivalentCtx.ts → src/lang/equivalent/EquivalentCtx.ts b/src/lang0/equivalent/EquivalentCtx.ts → src/lang/equivalent/EquivalentCtx.ts
diff --git a/src/lang0/equivalent/equivalent.ts → src/lang/equivalent/equivalent.ts b/src/lang0/equivalent/equivalent.ts → src/lang/equivalent/equivalent.ts
diff --git a/src/lang0/equivalent/equivalentNeutral.ts → src/lang/equivalent/equivalentNeutral.ts b/src/lang0/equivalent/equivalentNeutral.ts → src/lang/equivalent/equivalentNeutral.ts
diff --git a/src/lang0/equivalent/index.ts → src/lang/equivalent/index.ts b/src/lang0/equivalent/index.ts → src/lang/equivalent/index.ts
diff --git a/src/lang0/evaluate/evaluate.ts → src/lang/evaluate/evaluate.ts b/src/lang0/evaluate/evaluate.ts → src/lang/evaluate/evaluate.ts
diff --git a/src/lang0/evaluate/evaluateDefinition.ts → src/lang/evaluate/evaluateDefinition.ts b/src/lang0/evaluate/evaluateDefinition.ts → src/lang/evaluate/evaluateDefinition.ts
diff --git a/src/lang0/evaluate/index.ts → src/lang/evaluate/index.ts b/src/lang0/evaluate/index.ts → src/lang/evaluate/index.ts
diff --git a/src/lang0/exp/Exp.ts → src/lang/exp/Exp.ts b/src/lang0/exp/Exp.ts → src/lang/exp/Exp.ts
diff --git a/src/lang0/exp/expFreeNames.ts → src/lang/exp/expFreeNames.ts b/src/lang0/exp/expFreeNames.ts → src/lang/exp/expFreeNames.ts
diff --git a/src/lang0/exp/expIndirectFreeNames.ts → src/lang/exp/expIndirectFreeNames.ts b/src/lang0/exp/expIndirectFreeNames.ts → src/lang/exp/expIndirectFreeNames.ts
diff --git a/src/lang0/exp/index.ts → src/lang/exp/index.ts b/src/lang0/exp/index.ts → src/lang/exp/index.ts
diff --git a/src/lang0/format/formatExp.ts → src/lang/format/formatExp.ts b/src/lang0/format/formatExp.ts → src/lang/format/formatExp.ts
@@ -1,4 +1,4 @@
-import type { Binding } from "../../lang0/substitution/index.js"
+import type { Binding } from "../../lang/substitution/index.js"
 import { type Exp } from "../exp/index.js"
 import { substitutionBindings } from "../substitution/Substitution.js"
 

diff --git a/src/lang0/format/index.ts → src/lang/format/index.ts b/src/lang0/format/index.ts → src/lang/format/index.ts
diff --git a/src/lang0/mod/Mod.ts → src/lang/mod/Mod.ts b/src/lang0/mod/Mod.ts → src/lang/mod/Mod.ts
diff --git a/src/lang0/mod/createMod.ts → src/lang/mod/createMod.ts b/src/lang0/mod/createMod.ts → src/lang/mod/createMod.ts
diff --git a/src/lang0/mod/index.ts → src/lang/mod/index.ts b/src/lang0/mod/index.ts → src/lang/mod/index.ts
diff --git a/src/lang0/mod/modDefine.ts → src/lang/mod/modDefine.ts b/src/lang0/mod/modDefine.ts → src/lang/mod/modDefine.ts
diff --git a/src/lang0/mod/modFind.ts → src/lang/mod/modFind.ts b/src/lang0/mod/modFind.ts → src/lang/mod/modFind.ts
diff --git a/src/lang0/mod/modFindValue.ts → src/lang/mod/modFindValue.ts b/src/lang0/mod/modFindValue.ts → src/lang/mod/modFindValue.ts
diff --git a/src/lang0/mod/modOwnDefinitions.ts → src/lang/mod/modOwnDefinitions.ts b/src/lang0/mod/modOwnDefinitions.ts → src/lang/mod/modOwnDefinitions.ts
diff --git a/src/lang0/mod/modResolve.ts → src/lang/mod/modResolve.ts b/src/lang0/mod/modResolve.ts → src/lang/mod/modResolve.ts
diff --git a/src/lang0/neutral/Neutral.ts → src/lang/neutral/Neutral.ts b/src/lang0/neutral/Neutral.ts → src/lang/neutral/Neutral.ts
diff --git a/src/lang0/neutral/index.ts → src/lang/neutral/index.ts b/src/lang0/neutral/index.ts → src/lang/neutral/index.ts
diff --git a/src/lang0/readback/ReadbackCtx.ts → src/lang/readback/ReadbackCtx.ts b/src/lang0/readback/ReadbackCtx.ts → src/lang/readback/ReadbackCtx.ts
diff --git a/src/lang0/readback/index.ts → src/lang/readback/index.ts b/src/lang0/readback/index.ts → src/lang/readback/index.ts
diff --git a/src/lang0/readback/readback.ts → src/lang/readback/readback.ts b/src/lang0/readback/readback.ts → src/lang/readback/readback.ts
diff --git a/src/lang0/readback/readbackNeutral.ts → src/lang/readback/readbackNeutral.ts b/src/lang0/readback/readbackNeutral.ts → src/lang/readback/readbackNeutral.ts
diff --git a/src/lang0/run/assertAllNamesDefined.ts → src/lang/run/assertAllNamesDefined.ts b/src/lang0/run/assertAllNamesDefined.ts → src/lang/run/assertAllNamesDefined.ts
diff --git a/src/lang0/run/assertEqual.ts → src/lang/run/assertEqual.ts b/src/lang0/run/assertEqual.ts → src/lang/run/assertEqual.ts
diff --git a/src/lang0/run/assertNotEqual.ts → src/lang/run/assertNotEqual.ts b/src/lang0/run/assertNotEqual.ts → src/lang/run/assertNotEqual.ts
diff --git a/src/lang0/run/define.ts → src/lang/run/define.ts b/src/lang0/run/define.ts → src/lang/run/define.ts
diff --git a/src/lang0/run/execute.ts → src/lang/run/execute.ts b/src/lang0/run/execute.ts → src/lang/run/execute.ts
diff --git a/src/lang0/run/importOne.ts → src/lang/run/importOne.ts b/src/lang0/run/importOne.ts → src/lang/run/importOne.ts
diff --git a/src/lang0/run/index.ts → src/lang/run/index.ts b/src/lang0/run/index.ts → src/lang/run/index.ts
diff --git a/src/lang0/run/load.ts → src/lang/run/load.ts b/src/lang0/run/load.ts → src/lang/run/load.ts
diff --git a/src/lang0/run/occurCheck.ts → src/lang/run/occurCheck.ts b/src/lang0/run/occurCheck.ts → src/lang/run/occurCheck.ts
diff --git a/src/lang0/run/run.ts → src/lang/run/run.ts b/src/lang0/run/run.ts → src/lang/run/run.ts
diff --git a/src/lang0/run/runMod.ts → src/lang/run/runMod.ts b/src/lang0/run/runMod.ts → src/lang/run/runMod.ts
diff --git a/src/lang0/stmt/Stmt.ts → src/lang/stmt/Stmt.ts b/src/lang0/stmt/Stmt.ts → src/lang/stmt/Stmt.ts
diff --git a/src/lang0/stmt/index.ts → src/lang/stmt/index.ts b/src/lang0/stmt/index.ts → src/lang/stmt/index.ts
diff --git a/src/lang0/substitution/Substitution.ts → src/lang/substitution/Substitution.ts b/src/lang0/substitution/Substitution.ts → src/lang/substitution/Substitution.ts
diff --git a/src/lang0/substitution/index.ts → src/lang/substitution/index.ts b/src/lang0/substitution/index.ts → src/lang/substitution/index.ts
diff --git a/src/lang0/syntax/Parser.ts → src/lang/syntax/Parser.ts b/src/lang0/syntax/Parser.ts → src/lang/syntax/Parser.ts
diff --git a/src/lang0/syntax/index.ts → src/lang/syntax/index.ts b/src/lang0/syntax/index.ts → src/lang/syntax/index.ts
diff --git a/src/lang0/syntax/matchExp.ts → src/lang/syntax/matchExp.ts b/src/lang0/syntax/matchExp.ts → src/lang/syntax/matchExp.ts
diff --git a/src/lang0/syntax/matchStmt.ts → src/lang/syntax/matchStmt.ts b/src/lang0/syntax/matchStmt.ts → src/lang/syntax/matchStmt.ts
diff --git a/src/lang0/utils/freshen.test.ts → src/lang/utils/freshen.test.ts b/src/lang0/utils/freshen.test.ts → src/lang/utils/freshen.test.ts
diff --git a/src/lang0/utils/freshen.ts → src/lang/utils/freshen.ts b/src/lang0/utils/freshen.ts → src/lang/utils/freshen.ts
diff --git a/src/lang0/value/Value.ts → src/lang/value/Value.ts b/src/lang0/value/Value.ts → src/lang/value/Value.ts
diff --git a/src/lang0/value/index.ts → src/lang/value/index.ts b/src/lang0/value/index.ts → src/lang/value/index.ts
diff --git a/src/lang0/value/lazyActive.ts → src/lang/value/lazyActive.ts b/src/lang0/value/lazyActive.ts → src/lang/value/lazyActive.ts