badly formed :let exception

error_output

                   clojure.core/eval   core.clj: 3206
                                 ...                 
                      user/eval25472  REPL Input     
                                 ...                 
clojure.spec.alpha/macroexpand-check  alpha.clj:  689
                clojure.core/ex-info   core.clj: 4739
             clojure.lang.ExceptionInfo: Call to clojure.core/fn did not conform to spec:
                                         In: [0 2] val: (1) fails spec: :clojure.core.specs.alpha/arg-list at: [:args :bs :arity-1 :args] predicate: (cat :args (* :clojure.core.specs.alpha/binding-form) :varargs (? (cat :amp #{(quote &)} :form :clojure.core.specs.alpha/binding-form))),  Extra input
                                         In: [0 0] val: i fails spec: :clojure.core.specs.alpha/arg-list at: [:args :bs :arity-n :args] predicate: vector?
                                         
        clojure.spec.alpha/args: ([i s 1]
                                  (midje.sweet/fact
                                   #:midje{:source
                                           '(gen-let
                                             [i gen/pos-int :let [s (str i) 1 s2 (str s s)]]
                                             (midje.parsing.2-to-lexical-maps.expects/expect
                                              (Integer/parseInt s2)
                                              =>
                                              (+ (* 10 i) i)
                                              :position
                                              (pointer.core/line-number-known 217))),
                                           :guid "e67caecfd68ee0165e319494c71b6836e390e464"}
                                   (midje.parsing.2-to-lexical-maps.expects/expect
                                    (Integer/parseInt s2)
                                    =>
                                    (+ (* 10 i) i)
                                    :position
                                    (pointer.core/line-number-known 217))))
    clojure.spec.alpha/problems: ({:path [:args :bs :arity-1 :args],
                                   :reason "Extra input",
                                   :pred
                                   (clojure.spec.alpha/cat
                                    :args
                                    (clojure.spec.alpha/* :clojure.core.specs.alpha/binding-form)
                                    :varargs
                                    (clojure.spec.alpha/?
                                     (clojure.spec.alpha/cat
                                      :amp
                                      #{'&}
                                      :form
                                      :clojure.core.specs.alpha/binding-form))),
                                   :val (1),
                                   :via
                                   [:clojure.core.specs.alpha/args+body
                                    :clojure.core.specs.alpha/arg-list
                                    :clojure.core.specs.alpha/arg-list],
                                   :in [0 2]}
                                  {:path [:args :bs :arity-n :args],
                                   :pred clojure.core/vector?,
                                   :val i,
                                   :via
                                   [:clojure.core.specs.alpha/args+body
                                    :clojure.core.specs.alpha/args+body
                                    :clojure.core.specs.alpha/args+body
                                    :clojure.core.specs.alpha/arg-list
                                    :clojure.core.specs.alpha/arg-list],
                                   :in [0 0]})
        clojure.spec.alpha/spec: #object[clojure.spec.alpha$regex_spec_impl$reify__2436 0x1243d64d "clojure.spec.alpha$regex_spec_impl$reify__2436@1243d64d"]
       clojure.spec.alpha/value: ([i s 1]
                                  (midje.sweet/fact
                                   #:midje{:source
                                           '(gen-let
                                             [i gen/pos-int :let [s (str i) 1 s2 (str s s)]]
                                             (midje.parsing.2-to-lexical-maps.expects/expect
                                              (Integer/parseInt s2)
                                              =>
                                              (+ (* 10 i) i)
                                              :position
                                              (pointer.core/line-number-known 217))),
                                           :guid "e67caecfd68ee0165e319494c71b6836e390e464"}
                                   (midje.parsing.2-to-lexical-maps.expects/expect
                                    (Integer/parseInt s2)
                                    =>
                                    (+ (* 10 i) i)
                                    :position
                                    (pointer.core/line-number-known 217))))
clojure.lang.Compiler$CompilerException: clojure.lang.ExceptionInfo: Call to clojure.core/fn did not conform to spec:
                                         In: [0 2] val: (1) fails spec: :clojure.core.specs.alpha/arg-list at: [:args :bs :arity-1 :args] predicate: (cat :args (* :clojure.core.specs.alpha/binding-form) :varargs (? (cat :amp #{(quote &)} :form :clojure.core.specs.alpha/binding-form))),  Extra input
                                         In: [0 0] val: i fails spec: :clojure.core.specs.alpha/arg-list at: [:args :bs :arity-n :args] predicate: vector?
                                          #:clojure.spec.alpha{:problems ({:path [:args :bs :arity-1 :args], :reason "Extra input", :pred (clojure.spec.alpha/cat :args (clojure.spec.alpha/* :clojure.core.specs.alpha/binding-form) :varargs (clojure.spec.alpha/? (clojure.spec.alpha/cat :amp #{(quote &)} :form :clojure.core.specs.alpha/binding-form))), :val (1), :via [:clojure.core.specs.alpha/args+body :clojure.core.specs.alpha/arg-list :clojure.core.specs.alpha/arg-list], :in [0 2]} {:path [:args :bs :arity-n :args], :pred clojure.core/vector?, :val i, :via [:clojure.core.specs.alpha/args+body :clojure.core.specs.alpha/args+body :clojure.core.specs.alpha/args+body :clojure.core.specs.alpha/arg-list :clojure.core.specs.alpha/arg-list], :in [0 0]}), :spec #object[clojure.spec.alpha$regex_spec_impl$reify__2436 0x1243d64d "clojure.spec.alpha$regex_spec_impl$reify__2436@1243d64d"], :value ([i s 1] (midje.sweet/fact #:midje{:source (quote (gen-let [i gen/pos-int :let [s (str i) 1 s2 (str s s)]] (midje.parsing.2-to-lexical-maps.expects/expect (Integer/parseInt s2) => (+ (* 10 i) i) :position (pointer.core/line-number-known 217)))), :guid "e67caecfd68ee0165e319494c71b6836e390e464"} (midje.parsing.2-to-lexical-maps.expects/expect (Integer/parseInt s2) => (+ (* 10 i) i) :position (pointer.core/line-number-known 217)))), :args ([i s 1] (midje.sweet/fact #:midje{:source (quote (gen-let [i gen/pos-int :let [s (str i) 1 s2 (str s s)]] (midje.parsing.2-to-lexical-maps.expects/expect (Integer/parseInt s2) => (+ (* 10 i) i) :position (pointer.core/line-number-known 217)))), :guid "e67caecfd68ee0165e319494c71b6836e390e464"} (midje.parsing.2-to-lexical-maps.expects/expect (Integer/parseInt s2) => (+ (* 10 i) i) :position (pointer.core/line-number-known 217))))}, compiling:(/home/rafael/dev/clojure/Midje/test/behaviors/t_for_all.clj:213:1)