> First: Why doesn't macroexpand expand the inner when-lets?

It's not supposed to, see the doc. To do full expansion, you can use
`clojure.walk/macroexpand-all`.

> Is the gensym in the two expands the same thing, or do "they" get the
> same name? That was surprising to me. I can't think of any real
> example where that is a problem. But what if I had wanted to write a
> macro like the second when-lets?

Looks like a bug/limitation of the gensym reader macro, these symbols
are treated as belonging to the same quoted form, so they get the same
name.
But I don't think the second macro does what you're saying - the
evaluation order is the same, since `tst` is evaluated in the `let`
form above `when-lets` in both cases, only the order of binding the
values is reversed.
To reverse the evaluation order, you need to move that `let` inside:

(defmacro when-lets
  [bindings & body]
  (if-not (seq bindings)
    `(do ~@body)
    (let [form (bindings 0) tst (bindings 1) rst (drop 2 bindings)]
      `(when-lets ~(vec rst)
         (let [temp# ~tst]
           (when temp#
             (let [~form temp#]
               ~@body)))))))

user=> (when-lets [b (inc a) a 3] (+ b a))
7

-- 
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your 
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en

Reply via email to