(defn verify-all-bound [a constrained] (letfn [(verify-all-bound* [a constrained] (when constrained (let [x (first constrained)] (if (and (lvar? x) (and (lvar? (walk a x)) (nil? (get-dom a x ::fd)))) (throw (Exception. (str "Constrained variable " x " without domain"))) (recur a (next constrained))))))] (verify-all-bound* a (seq constrained))))
Comments top
No comments for verify-all-bound. Log in to add a comment.