Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

* src/main/clojure/clojure/core/logic.clj: even the comments are usel…

…ess type hint free
  • Loading branch information...
commit 187d3caa5cbdb9e1860a6d29052ef55164300434 1 parent 5bec691
David Nolen authored
Showing with 7 additions and 7 deletions.
  1. +7 −7 src/main/clojure/clojure/core/logic.clj
View
14 src/main/clojure/clojure/core/logic.clj
@@ -3118,10 +3118,10 @@
;; a simple way to add the goal to the store and return that goal
;; with its id assigned
-;; (defn addc* [^Substitutions a c]
-;; (let [^ConstraintStore ncs (addc (.cs a) c)
-;; c ((.cm ncs) (dec (.cid ncs)))
-;; a (make-s (.s a) (.l a) ncs)]
+;; (defn addc* [a c]
+;; (let [ncs (addc (:cs a) c)
+;; c ((:cm ncs) (dec (:cid ncs)))
+;; a (make-s (:s a) (:l a) ncs)]
;; (pair c a)))
;; (defn cgoal [c]
@@ -3424,9 +3424,9 @@
(cgoal (fdc (*fdc u v w))))
;; (defn update-procg [proc]
-;; (fn [^Substitutions a]
-;; (let [ncs (update-proc (.cs a) (id proc) proc)]
-;; (make-s (.s a) (.l a) ncs))))
+;; (fn [a]
+;; (let [ncs (update-proc (:cs a) (id proc) proc)]
+;; (make-s (:s a) (:l a) ncs))))
(defn categorize [s]
(fn [ys ds ss]
Please sign in to comment.
Something went wrong with that request. Please try again.