without looking, I'm thinking maybe it's like "thrown?" when using it for the "is" macro (is (thrown? ArithmeticException (/ 1 0))) where "thrown?" is not defined anywhere and it only has meaning inside "is" ( actually it's *(defmethod assert-expr 'thrown? [msg form]* ... )
On Wed, Feb 6, 2013 at 7:02 AM, James Xu <xumingming64398...@gmail.com>wrote: > > e.g. > (ann test1 (All [x y] [x y -> x])) > > where is the 'All' defined? > -- > Github: https://github.com/xumingming > Blog: http://xumingming.sinaapp.com > Weibo: http://weibo.com/xumingmingt > > -- > -- > 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 > --- > You received this message because you are subscribed to the Google Groups > "Clojure" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to clojure+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/groups/opt_out. > > > -- Please correct me if I'm wrong or incomplete, even if you think I'll subconsciously hate it. -- -- 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 --- You received this message because you are subscribed to the Google Groups "Clojure" group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
