diff options
| author | David Thompson <dthompson2@worcester.edu> | 2023-02-04 19:50:34 -0500 |
|---|---|---|
| committer | David Thompson <dthompson2@worcester.edu> | 2023-06-08 08:14:41 -0400 |
| commit | 92213b149739fc98a209d7cb3c329fbd5ce901df (patch) | |
| tree | bee49729f30f72e1ca54636ebab14e871797435c | |
| parent | 7e7ce8af86a8d6d93a4a0f3dd902fbac6e4c1a03 (diff) | |
Fix predicate eval bug.
| -rw-r--r-- | chickadee/graphics/seagull.scm | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/chickadee/graphics/seagull.scm b/chickadee/graphics/seagull.scm index 91562c7..6b8073d 100644 --- a/chickadee/graphics/seagull.scm +++ b/chickadee/graphics/seagull.scm @@ -1458,7 +1458,10 @@ (_ (define-values (rest-pred subs*) (eval-predicate (apply predicate:list rest))) - (values (predicate:list pred* rest-pred) subs*)))))) + (match rest-pred + (#f (values #f '())) + (#t (values new-pred subs*)) + (_ (values (predicate:list pred* rest-pred) subs*)))))))) ;; Substitution always succeeds and returns a substitution to be ;; carried forward in the inference process. (('substitute a b) |