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-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

scott closed issue scott/rudus#19 2024-12-11 20:38:07 +00:00
Validator should validate recursive functions
scott pushed to main at scott/rudus 2024-12-11 20:37:43 +00:00
36c5d125fb validator validates recursive functions
scott commented on issue scott/rudus#16 2024-12-11 05:31:34 +00:00
Functions should properly close over bindings

With the work I've done today, circa 35e9d0373d, we have the validator properly identifying the values a function closes…

scott opened issue scott/rudus#19 2024-12-11 05:24:38 +00:00
Validator should validate recursive functions
scott commented on issue scott/rudus#4 2024-12-11 05:22:30 +00:00
Write validator

Mostly done! Closing at 35e9d0373d, will identify remaining odds and ends in separate issues.

scott closed issue scott/rudus#4 2024-12-11 05:22:30 +00:00
Write validator
scott commented on issue scott/rudus#17 2024-12-11 05:21:25 +00:00
All ast-like things should be branches of Ast

Done: 9542dcf5e2

scott closed issue scott/rudus#17 2024-12-11 05:21:25 +00:00
All ast-like things should be branches of Ast
scott commented on issue scott/rudus#18 2024-12-11 05:20:58 +00:00
We need an FnInfo

Done! Fully implemented in 35e9d0373d

scott closed issue scott/rudus#18 2024-12-11 05:20:58 +00:00
We need an FnInfo
scott pushed to main at scott/rudus 2024-12-11 05:20:39 +00:00
35e9d0373d arity checking--of local functions
scott pushed to main at scott/rudus 2024-12-11 04:42:09 +00:00
eafe7a7fa9 complete first draft of validator
9542dcf5e2 cover all Ast branches
Compare 2 commits »
scott pushed to main at scott/rudus 2024-12-11 03:26:56 +00:00
f5a6facb1c move patterns, clauses into AST
cab1b3f173 start moving Patterns into Ast
Compare 2 commits »
scott pushed to main at scott/rudus 2024-12-10 23:07:35 +00:00
dde9ac4bff loop arity checking