Validator should validate recursive functions #19

New Issue

scott · 2024-12-11T05:24:38Z

scott commented

2024-12-11 05:24:38 +00:00

In the Fn branch in validator.rs:417: we need to devise a kind of placeholder binding for the function that's being defined, so that it's a bound name inside the function body—and can thus be called recursively without any errors.

In the `Fn` branch in `validator.rs:417`: we need to devise a kind of placeholder binding for the function that's being defined, so that it's a bound name inside the function body—and can thus be called recursively without any errors.

scott added the

bug

core

labels 2024-12-11 05:24:48 +00:00

scott added a new dependency 2024-12-11 05:32:55 +00:00

#13 Bring Prelude into Rust

scott added this to the Minimal replacement for Janet-based Ludus milestone 2024-12-11 05:36:15 +00:00

scott commented

2024-12-11 20:38:07 +00:00

Done in 36c5d125fb

Done in https://alea.ludus.dev/scott/rudus/commit/36c5d125fb5ccc4fa383f223fb2f6d842555b4de

scott closed this issue