clojure.spec conform throws stack overflow exception

Question

Can anybody explain, what's wrong with the example below? Why does it throw the StackOverflowError exception?

(s/def ::tag keyword?)
(s/def ::s string?)
(s/def ::n number?)
(s/def ::g
  (s/cat :tag (s/? ::tag)
         :ex (s/alt :string ::s
                   :number ::n
                   :and (s/+ ::g)
                   )))


(s/conform ::g '["abc"])

Svante · Accepted Answer · 2017-05-09 23:01:07Z

4

Similarly to what Alex Miller points out in this Google Groups discussion, s/+ tries to resolve ::g during the definition.

This should do what you want, I think:

(s/def ::g
       (s/spec (s/cat :tag (s/? ::tag)
                      :ex (s/alt :string ::s
                                 :number ::n
                                 :and ::g))))

; REPL
user=> (s/conform ::g [:foo [:bar "abc"]])
{:ex [:and {:ex [:string "abc"] :tag :bar}] :tag :foo}

edited May 9, 2017 at 23:01

Svante

51.8k11 gold badges84 silver badges127 bronze badges

answered May 9, 2017 at 11:58

Eero Helenius

2,59521 silver badges22 bronze badges

Sign up to request clarification or add additional context in comments.

Collectives™ on Stack Overflow

clojure.spec conform throws stack overflow exception

1 Answer 1

Comments

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

1 Answer 1

Comments

Your Answer

Sign up or log in

Post as a guest

Related