diff --git a/janet/validate.janet b/janet/validate.janet index 33b7472..db3b9ae 100644 --- a/janet/validate.janet +++ b/janet/validate.janet @@ -4,21 +4,21 @@ Tracking here, before I start writing this code, the kinds of validation we're hoping to accomplish: -* [x] splats come at the end of list, tuple, and dict patterns -* [x] no unbound names -* [x] no re-bound names -* [x] no unbound names with `use` forms * [ ] first-level property access with pkg, e.g. `Foo :bar`--bar must be on Foo -* [x] recur in tail position in `loop` forms -* [x] recur not called outside of `loop` forms + - [ ] accept pkg-kws * [x] `loop` form arity checking * [x] arity checking of explicit named function calls * [x] flag tail calls +* [x] no re-bound names +* [x] no unbound names +* [x] no unbound names with `use` forms +* [x] recur in tail position in `loop` forms +* [x] recur not called outside of `loop` forms +* [x] splats come at the end of list, tuple, and dict patterns Imports are for a later iteration of Ludus: * [ ] no circular imports DEFERRED * [ ] correct imports DEFERRED - )