From 3e9f38ef5c511e221184833a7e6436525e154afb Mon Sep 17 00:00:00 2001 From: Scott Richmond Date: Tue, 14 May 2024 18:56:18 -0400 Subject: [PATCH] update notes --- janet/validate.janet | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) 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 - )