Scott Richmond scott
0 Followers · 3 Following
  • Joined on 2023-07-29
Repositories
5
 Projects Packages Public Activity Starred Repositories
scott commented on issue scott/rudus#13 2024-12-13 00:45:21 +00:00
Bring Prelude into Rust

Partial function application is indeed in Prelude, so adding #15 as a dependency.

scott pushed to main at scott/rudus 2024-12-13 00:43:59 +00:00
73e60b8ced bring full prelude into Ludus.
scott opened issue scott/rudus#20 2024-12-13 00:43:36 +00:00
print! should not show args as a list
scott commented on issue scott/rudus#13 2024-12-13 00:42:21 +00:00
Bring Prelude into Rust

Fixed a few errors, and it's looking like at least we parse and validate prelude reasonably correctly.

Next step: start testing against the Prelude. Found one bug already.

scott commented on issue scott/rudus#16 2024-12-13 00:40:10 +00:00
Functions should properly close over bindings

Looks like it works now! Same commit as before to have gotten them right.

scott closed issue scott/rudus#16 2024-12-13 00:40:10 +00:00
Functions should properly close over bindings
scott pushed to main at scott/rudus 2024-12-13 00:28:59 +00:00
49a0b0f8a7 fix loop validation bugs
scott pushed to main at scott/rudus 2024-12-13 00:01:58 +00:00
ac4bd0fb55 improve panic reports
scott commented on issue scott/rudus#6 2024-12-12 06:22:15 +00:00
Panics should have nice information

Done, with 5e73c5cb3b

scott closed issue scott/rudus#6 2024-12-12 06:22:15 +00:00
Panics should have nice information
scott commented on issue scott/rudus#16 2024-12-12 06:21:31 +00:00
Functions should properly close over bindings

Forward declarations were not working. They are now, with 273267f61d. The long and short of it is that we need to update…

scott pushed to main at scott/rudus 2024-12-12 06:19:44 +00:00
273267f61d a slow and brute-force approach to the problem of re-binding closed-over forward declarations
5e73c5cb3b ariadne hooked up to panic messages
Compare 2 commits »
scott commented on issue scott/rudus#6 2024-12-12 00:20:15 +00:00
Panics should have nice information

Moving to minimal replacement, because, uh, I need to debug Prelude, and having at all reasonable errors including locations is deeply necessary for debugging Ludus code.

scott commented on issue scott/rudus#16 2024-12-12 00:18:29 +00:00
Functions should properly close over bindings

This is working fine in a Ludus script, as of 6a01089973. Pulling from a simplified Prelude also works.

There's some…

scott pushed to main at scott/rudus 2024-12-12 00:13:10 +00:00
b2e08fe207 fiddle
229470fee3 refactor process to use visit method everywhere
ecc7b26b66 process now uses spans, for to give panic locations
5f154fe56f stash changes before ripping up a bunch of stuff
Compare 4 commits »
scott pushed to main at scott/rudus 2024-12-11 22:32:45 +00:00
7431cbf380 start debugging full prelude
scott pushed to main at scott/rudus 2024-12-11 22:22:43 +00:00
6a01089973 closing works, so does importing from Prelude!
scott pushed to main at scott/rudus 2024-12-11 21:43:17 +00:00
567d3da4be get closing working?
65492d0810 follow clippy
5b41365caa add args to processes
Compare 3 commits »
scott pushed to main at scott/rudus 2024-12-11 20:42:57 +00:00
f4fbae10e6 context -> process
scott commented on issue scott/rudus#19 2024-12-11 20:38:07 +00:00
Validator should validate recursive functions

Done in 36c5d125fb