From e5917c62847308aecba221000c245769eb640ee9 Mon Sep 17 00:00:00 2001
From: Scott Richmond <kredati@users.noreply.github.com>
Date: Sun, 19 May 2024 19:15:22 -0400
Subject: [PATCH] partially applied functions don't kill validation

---
 janet/validate.janet | 21 +++++++++++++--------
 1 file changed, 13 insertions(+), 8 deletions(-)

diff --git a/janet/validate.janet b/janet/validate.janet
index 8f9649b..7d5c937 100644
--- a/janet/validate.janet
+++ b/janet/validate.janet
@@ -338,14 +338,15 @@ Deferred until a later iteration of Ludus:
 
 (defn- check-arity [validator]
  (def ast (validator :ast))
- (when (ast :partial) (break validator))
+ # (when (ast :partial) (break validator))
  (def ctx (validator :ctx))
  (def data (ast :data))
  (def fn-word (first data))
  (def the-fn (resolve-name ctx (fn-word :data)))
  (when (not the-fn) (break validator))
  (when (= :function (type the-fn)) (break validator))
- (when (= :cfunction (type the-fn)) (break validator))
+ (when (= :cfunction (type the-fn) (break validator)))
+ (when (not= :fn (the-fn :type)) (break validator))
  (print "fn name: " (the-fn :name))
  (def arities (the-fn :arities))
  (print "arities: ")
@@ -353,6 +354,7 @@ Deferred until a later iteration of Ludus:
  (def args (get data 1))
  (def num-args (length (args :data)))
  (print "called with #args " num-args)
+ (pp (get (validator :ctx) "bar"))
  (when (has-key? arities num-args) (break validator))
  (def rest-arities (keys (arities :rest)))
  (when (empty? rest-arities)
@@ -629,17 +631,20 @@ Deferred until a later iteration of Ludus:
  (set (validator :ctx) base-ctx)
  (validate validator))
 
-(defn foo [] :foo)
-(def base {
- "foo" foo
-})
+(import ./base :as b)
 
 (do
 # (comment
 (def source `
-foo ()
+fn foobar {
+ (:foo, :bar) -> true
+ (_, _) -> false
+}
+let bar = foobar (:foo, _)
+bar (:bar, 2)
+add ()
 `)
 (def scanned (s/scan source))
 (def parsed (p/parse scanned))
-(valid parsed base)
+(valid parsed b/ctx)
 )