Scott Richmond scott
0 Followers · 3 Following
  • Joined on 2023-07-29
Repositories
2
 Projects Packages Public Activity Starred Repositories
scott pushed to to_janet at twc/ludus 2024-06-04 15:59:46 +00:00
943e96203e comment on last line does not kill scanner
scott commented on issue twc/ludus#32 2024-06-04 15:56:16 +00:00
Mutual recursion

Added in bbd41a0f74

Format:

fn foo
fn bar () -> foo ()
fn foo () -> :foo
bar () & => :foo
fn baz
baz () & =>…
scott closed issue twc/ludus#32 2024-06-04 15:56:16 +00:00
Mutual recursion
scott pushed to to_janet at twc/ludus 2024-06-04 15:54:35 +00:00
bbd41a0f74 interpret forward-declared functions, allowing mutual recursion
bc1eac46b8 validate forward declarations
d0a6cdbf54 parse fn forward declarations
Compare 3 commits »
scott pushed to to_janet at twc/ludus 2024-05-31 17:29:56 +00:00
3903f10c8d update in-code project management
scott opened issue twc/ludus#63 2024-05-31 17:25:30 +00:00
Wire up WASM + good-enough Ludus for ludus-web testing
scott opened issue twc/ludus#62 2024-05-31 17:21:50 +00:00
Test new scanner, parser, validator, interpreter against prelude
scott opened issue twc/ludus#61 2024-05-31 17:18:56 +00:00
*input* stdin hack for Computer Class
scott opened issue twc/ludus#60 2024-05-31 17:08:21 +00:00
Ensure docstrings work and are available in the interpreter
scott opened issue twc/ludus#59 2024-05-31 17:06:32 +00:00
show works for patterns
scott opened issue twc/ludus#58 2024-05-31 17:05:45 +00:00
Janet-based documentation
scott opened issue twc/ludus#57 2024-05-31 17:02:18 +00:00
Validator should validate ns forms
scott opened issue twc/ludus#56 2024-05-31 17:02:05 +00:00
Validator should validate with forms
scott opened issue twc/ludus#55 2024-05-31 17:01:35 +00:00
Validator should validate imports
scott opened issue twc/ludus#54 2024-05-31 16:59:19 +00:00
Validator should validate nested pkg accesses
scott opened issue twc/ludus#53 2024-05-31 16:57:11 +00:00
Finish validator
scott commented on issue twc/ludus#38 2024-05-30 23:59:22 +00:00
Good-enough validator

Basic pkg checking; no ns checking. 524e3627fb

Left to implement: static nested pkg nesting; and any ns checking at…

scott pushed to to_janet at twc/ludus 2024-05-30 23:56:26 +00:00
8e03707f64 fix arity-checking bug; do not check arities in self-recursive function calls
scott commented on issue twc/ludus#5 2024-05-30 23:41:41 +00:00
pkgs and nses

Current status, good enough for Computer Class, I think:

  • pkg works and is validated.
  • ns access does not pass validation, and is not yet implemented in the interpreter.
  • pkg access,…
scott pushed to to_janet at twc/ludus 2024-05-30 23:38:06 +00:00
524e3627fb get pkg validation access working for root pkg access, e.g. Foo :bar and Foo :bar