core.typed

Should blame correct line number if alias introduces a type error

Details

  • Type: Defect Defect
  • Status: Closed Closed
  • Priority: Major Major
  • Resolution: Completed
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • Labels:
    None

Description

(def-alias Foo
  '{:a (atom Number)}) ;; this resolves to clojure.core/atom, which doesn't trigger a type error yet

(t/ann f [-> Foo])
(defn f [a]
  a)  ; we get the type error here, blaming `f`.

Activity

Hide
Ambrose Bonnaire-Sergeant added a comment -

Fixed sometime before 0.2.58

Show
Ambrose Bonnaire-Sergeant added a comment - Fixed sometime before 0.2.58

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: