Details
-
Type:
Improvement
-
Status: Closed
-
Priority:
Minor
-
Resolution: Declined
-
Affects versions: None
-
Fix versions: None
-
Components: None
-
Labels:None
Description
(ns untyped)
(defn f [g] (g "a"))
(ns typed
{:lang :core.typed}
(:require [clojure.core.typed :as t]))
(t/untyped-var f [[Any -> Any] -> Any])
(f inc)
Should blame domain of domain in annotation.
