()
| 229 | |
| 230 | |
| 231 | def test_recursion(): |
| 232 | scope.define( |
| 233 | Lambda( |
| 234 | "Fact", |
| 235 | [("x", p0)], |
| 236 | expr=scope.switch(p0 > 1, 1, p0 * base.apply("Fact", p0 - 1)), |
| 237 | ) |
| 238 | ) |
| 239 | print(scope.Fact(3)) |
| 240 | assert rec_eval(scope.Fact(3)) == 6 |
| 241 | |
| 242 | |
| 243 | def test_partial(): |