n example of with-diret-linking for overloading symbols in a local scope in clojure

core.clj

(comment
 "an example of with-diret-linking for overloading symbols in a local scope"
)


(ns prova.core)
(use 'clojure.contrib.macro-utils)

(require '[prova.over :as over])
(require '[clojure.contrib.macros :as macros])


(defmacro rewrite [form]
  `(macros/with-direct-linking [over/+] ~form)
  )

(println
  (mexpand-all
    '(rewrite
      (+ 3 3)
      )
    )
  )

(comment 
 "result
   (let* [+ prova.over/+] (+ 3 3))
 "
)

prova.clj

(ns prova.over)

(defn + [a b]
  (- a b)
  )