Scott Richmond scott
0 Followers · 3 Following
  • Joined on 2023-07-29
Repositories
5
 Projects Packages Public Activity Starred Repositories
scott pushed to main at scott/rudus 2024-12-10 22:39:07 +00:00
e9b52e1488 improve do & recur errs
4c9659271b first draft of synthetic validation
Compare 2 commits »
scott pushed to main at scott/rudus 2024-12-10 22:14:32 +00:00
ec38bcdc8c start testing, fixing
scott pushed to main at scott/rudus 2024-12-10 21:44:58 +00:00
d48a787447 all the work trying to write a validator
scott opened issue scott/rudus#18 2024-12-10 05:38:04 +00:00
We need an FnInfo
scott opened issue scott/rudus#17 2024-12-10 04:34:56 +00:00
All ast-like things should be branches of Ast
scott commented on issue scott/rudus#16 2024-12-09 23:15:22 +00:00
Functions should properly close over bindings

This is what's causing the unbound name base errors now that I'm working on importing Prelude in scott/rudus#13 (comment).

The proper way to do this is…

scott opened issue scott/rudus#16 2024-12-09 23:04:16 +00:00
Functions should properly close over bindings
scott opened issue scott/rudus#15 2024-12-09 22:58:48 +00:00
Partial function application should work.
scott commented on issue scott/rudus#13 2024-12-09 04:37:11 +00:00
Bring Prelude into Rust

Currently getting unbound name base when running functions that rely on base (which is to say, just about every function in Prelude). But apparently at least some of this is working...?

scott closed issue scott/rudus#9 2024-12-09 04:35:21 +00:00
More ergonomic context
scott commented on issue scott/rudus#9 2024-12-09 04:35:20 +00:00
More ergonomic context

Done in 383f21fbd8.

scott closed issue scott/rudus#12 2024-12-09 04:35:11 +00:00
Move base from a context to a dict
scott commented on issue scott/rudus#12 2024-12-09 04:35:07 +00:00
Move base from a context to a dict

Done in 383f21fbd8

scott pushed to main at scott/rudus 2024-12-09 04:34:11 +00:00
9a4f247a21 bring in prelude
f063d55404 actually commit the big new file
Compare 2 commits »
scott pushed to main at scott/rudus 2024-12-09 04:33:07 +00:00
383f21fbd8 many refactorings; unfucked lifetimes?
scott commented on issue scott/rudus#6 2024-12-08 06:42:45 +00:00
Panics should have nice information

Canvas the Janet codebase to see where panics happen, and make sure we have at-least-as-good error messages in every situation.

scott opened issue scott/rudus#14 2024-12-08 06:41:36 +00:00
Rust-based doc generation
scott opened issue scott/rudus#13 2024-12-08 06:39:43 +00:00
Bring Prelude into Rust
scott opened issue scott/rudus#12 2024-12-08 05:16:20 +00:00
Move base from a context to a dict
scott pushed to main at scott/rudus 2024-12-08 05:02:05 +00:00
525ca2c8cb type alias for Context