clean up

zydeco-lang · Oct 21, 2024 · 20fe496 · 20fe496
1 parent 7ce6bb8
commit 20fe496
Show file tree

Hide file tree

Showing 7 changed files with 7 additions and 7 deletions.
diff --git a/lang/dynamics/src/link.rs b/lang/dynamics/src/link.rs
@@ -170,7 +170,7 @@ impl Link for ss::CompuId {
                 let body = body.link(statics);
                 body.as_ref().to_owned()
             }
-            | Compu::Rec(Fix(param, body)) => {
+            | Compu::Fix(Fix(param, body)) => {
                 let param = param.link(statics);
                 let body = body.link(statics);
                 Fix(param, body).into()

diff --git a/lang/statics/src/fmt.rs b/lang/statics/src/fmt.rs
@@ -119,7 +119,7 @@ impl Ugly for CompuId {
             | Compu::VApp(compu) => compu.ugly(f),
             | Compu::TAbs(compu) => compu.ugly(f),
             | Compu::TApp(compu) => compu.ugly(f),
-            | Compu::Rec(compu) => compu.ugly(f),
+            | Compu::Fix(compu) => compu.ugly(f),
             | Compu::Force(compu) => compu.ugly(f),
             | Compu::Ret(compu) => compu.ugly(f),
             | Compu::Do(compu) => compu.ugly(f),

diff --git a/lang/statics/src/lift.rs b/lang/statics/src/lift.rs
@@ -869,7 +869,7 @@ impl SEnv<CompuId> {
                     }
                 }
             }
-            | Compu::Rec(compu) => {
+            | Compu::Fix(compu) => {
                 let Fix(vpat, compu) = compu;
                 let vpat_ = self.mk(vpat).lift(tycker, (mo, mo_ty), algs.to_owned())?;
                 let compu_ = self.mk(compu).lift(tycker, (mo, mo_ty), algs)?;

diff --git a/lang/statics/src/syntax.rs b/lang/statics/src/syntax.rs
@@ -439,7 +439,7 @@ pub enum Computation {
     VApp(App<CompuId, ValueId>),
     TAbs(Abs<TPatId, CompuId>),
     TApp(App<CompuId, TypeId>),
-    Rec(Fix<VPatId, CompuId>),
+    Fix(Fix<VPatId, CompuId>),
     Force(Force<ValueId>),
     Ret(Ret<ValueId>),
     Do(Bind<VPatId, CompuId, CompuId>),

diff --git a/lang/surface/src/bitter/desugar.rs b/lang/surface/src/bitter/desugar.rs
@@ -449,7 +449,7 @@ impl Desugar for t::TermId {
                 // body & thunk -> app
                 Alloc::alloc(desugarer, b::App(body, thunk).into(), self.into())
             }
-            | Tm::Rec(term) => {
+            | Tm::Fix(term) => {
                 let t::Fix(pat, term) = term;
                 let pat = pat.desugar(desugarer)?;
                 let term = term.desugar(desugarer)?;

diff --git a/lang/surface/src/textual/syntax.rs b/lang/surface/src/textual/syntax.rs
@@ -218,7 +218,7 @@ pub enum Term {
     Abs(Abs<CoPatId, TermId>),
     App(Appli<TermId>),
     KontCall(KontCall),
-    Rec(Fix<PatId, TermId>),
+    Fix(Fix<PatId, TermId>),
     Pi(Pi),
     Forall(Forall),
     Arrow(Arrow<TermId>),

diff --git a/lang/surface/src/textual/ugly.rs b/lang/surface/src/textual/ugly.rs
@@ -96,7 +96,7 @@ impl Ugly for TermId {
             | Term::Abs(t) => s += &t.ugly(f),
             | Term::App(t) => s += &t.ugly(f),
             | Term::KontCall(t) => s += &t.ugly(f),
-            | Term::Rec(t) => s += &t.ugly(f),
+            | Term::Fix(t) => s += &t.ugly(f),
             | Term::Pi(t) => s += &t.ugly(f),
             | Term::Arrow(t) => s += &t.ugly(f),
             | Term::Forall(t) => s += &t.ugly(f),