twc/ludus
4
0
Fork 0
Code Issues 32 Pull Requests Packages Projects 8 Releases Wiki Activity

moar idears for validation

Browse Source
This commit is contained in:
Scott Richmond 2024-05-10 16:10:27 -04:00
parent 064b5df2dd
commit b0cffea71f
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
janet/validate.janet
View File

@ -11,5 +11,7 @@ Tracking here, before I start writing this code, the kinds of validation we're h
* no unbound names with `use` forms * no unbound names with `use` forms
* no circular imports * no circular imports
* first-level property access with pkg, e.g. `Foo :bar`--bar must be on Foo * first-level property access with pkg, e.g. `Foo :bar`--bar must be on Foo
* recur in tail position in `loop` forms
* recur not called outside of `loop` forms
) )