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.

        Attachments

          Activity

            People

            • Assignee:
              ambrosebs Ambrose BS
              Reporter:
              ambrosebs Ambrose BS
            • Votes:
              0 Vote for this issue
              Watchers:
              0 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved: