Thank you Jim. But, I mean this piece of API doc: usefunction
Usage: (use & args) Like 'require, but also refers to each lib's namespace using clojure.core/refer. Use :use in the ns macro in preference to calling this directly. 'use accepts additional options in libspecs: :exclude, :only, :rename. The arguments and semantics for :exclude, :only, and :rename are the same as those documented for clojure.core/refer. Added in Clojure version 1.0 Source<https://github.com/clojure/clojure/blob/c6756a8bab137128c8119add29a25b0a88509900/src/clj/clojure/core.clj#L5498> вторник, 28 мая 2013 г., 13:42:25 UTC+4 пользователь ru написал: > > Dear clojure-users, > > Loading a file with such content: > > (ns ru.rules > (:use > protege.core > rete.core :exclude [rutime]) > ... > > I get this error message: > > java.lang.Exception: Unsupported option(s) supplied: :exclude > at clojure.core$load_libs.doInvoke(core.clj:5408) > at clojure.lang.RestFn.applyTo(RestFn.java:137) > at clojure.core$apply.invoke(core.clj:621) > at clojure.core$use.doInvoke(core.clj:5507) > at clojure.lang.RestFn.invoke(RestFn.java:457) > at ru.rules$eval8$loading__4910__auto____9.invoke(rules.clj:1) > at ru.rules$eval8.invoke(rules.clj:1) > at clojure.lang.Compiler.eval(Compiler.java:6619) > .... > > This contradict to official API documentation on Clojure v1.5. Am I right? > Any help would be greatly appreciated. > > Sincerely, > Ru > > > -- -- 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.
