From b0cffea71fa2b2ec1824e3d56a03a7f413773577 Mon Sep 17 00:00:00 2001 From: Scott Richmond Date: Fri, 10 May 2024 16:10:27 -0400 Subject: [PATCH] moar idears for validation --- janet/validate.janet | 2 ++ 1 file changed, 2 insertions(+) diff --git a/janet/validate.janet b/janet/validate.janet index 98f0745..2b09693 100644 --- a/janet/validate.janet +++ b/janet/validate.janet @@ -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 circular imports * 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 )