Scott Richmond scott
0 Followers · 3 Following
  • Joined on 2023-07-29
Repositories
5
 Projects Packages Public Activity Starred Repositories
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
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…