Remove unnecessary globals in normalizer

Signed-off-by: Anqur <[email protected]>

lyzh/abstract/normalize.py

@@ -16,7 +16,6 @@
 @dataclasses.dataclass
 class Normalizer:
     ids: core.IDs
-    globals: ast.Globals
     # env 在学术里又叫做 rho, ρ, evaluation context, evaluation environment 等等,
     # 要时刻注意这里的映射值的结构是 ast.Term, 和 ast.Locals 不同, 它可以是类型 (type term),
     # 也可以是值 (value term), 因为这里要做的事情无非就是变量替换 (substitution).

lyzh/abstract/unify.py

@@ -33,4 +33,4 @@ def unify(self, lhs: ast.Term, rhs: ast.Term) -> bool:
         return False
 
     def nf(self) -> normalize.Normalizer:
-        return normalize.Normalizer(self.ids, self.globals)
+        return normalize.Normalizer(self.ids)

lyzh/concrete/elab.py

@@ -155,7 +155,7 @@ def guarded_infer(
 
     def nf(self) -> normalize.Normalizer:
         """获取求值器."""
-        return normalize.Normalizer(self.ids, self.globals)
+        return normalize.Normalizer(self.ids)
 
     def unify(self, lhs: ast.Term, rhs: ast.Term) -> bool:
         """检查两个值是否相等."""