frenchy64 · May 15, 2015 01:58
diff --git a/typed.clj b/typed.clj
 (ns typed
  {:core.typed true
   :import-untyped
    {u/a String}}
  (:require [clojure.core.typed :as t]
            [untyped :as u]))

 (ann f [-> String])
 (defn f []
  (.toUpperCase u/a))
diff --git a/untyped.clj b/untyped.clj
 (ns untyped)

 (def ^String a nil)
	(ns typed
	{:core.typed true
	:import-untyped
	{u/a String}}
	(:require [clojure.core.typed :as t]
	[untyped :as u]))

	(ann f [-> String])
	(defn f []
	(.toUpperCase u/a))