test: one more test for base26_encode

AgentElement · AgentElement · commit 977196239b55 · 2024-07-22T12:26:50.000-07:00
diff --git a/src/term.rs b/src/term.rs
@@ -693,6 +693,7 @@ mod tests {
             abs!(27, app!(Var(28), Var(29), Var(30), Var(50), Var(702), Var(703))).to_string(),
             "λa.λb.λc.λd.λe.λf.λg.λh.λi.λj.λk.λl.λm.λn.λo.λp.λq.λr.λs.λt.λu.λv.λw.λx.λy.λz.λaa.ab ac ad ax zz aaa"
         );
+        assert_eq!(abs!(3, app!(Var(2), Var(3), Var(4))).to_string(), "λa.λb.λc.b a d");
         assert_eq!(Var(26).to_string(), "z");
         assert_eq!(Var(27).to_string(), "aa");
     }

Original file line number	Diff line number	Diff line change
`@@ -693,6 +693,7 @@ mod tests {`
`693`	`693`	`abs!(27, app!(Var(28), Var(29), Var(30), Var(50), Var(702), Var(703))).to_string(),`
`694`	`694`	`"λa.λb.λc.λd.λe.λf.λg.λh.λi.λj.λk.λl.λm.λn.λo.λp.λq.λr.λs.λt.λu.λv.λw.λx.λy.λz.λaa.ab ac ad ax zz aaa"`
`695`	`695`	`);`
	`696`	`+ assert_eq!(abs!(3, app!(Var(2), Var(3), Var(4))).to_string(), "λa.λb.λc.b a d");`
`696`	`697`	`assert_eq!(Var(26).to_string(), "z");`
`697`	`698`	`assert_eq!(Var(27).to_string(), "aa");`
`698`	`699`	`}`