core.typed

clojure.lang.RT/longCast is interpreted incorrectly

Details

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

Description

tested version: 0.2.5

Functions that cast to long like neg? / pos? don't work with type checking. eg. (cf (pos? (dec 1)))

> (cf (long (dec 1)))

Type Error (myapp.core:1:5) Type mismatch:

Expected: 	long

Actual: 	AnyInteger
ExceptionInfo Type Checker: Found 1 error  clojure.core/ex-info (core.clj:4327)

Activity

Hide
Chris McDevitt added a comment -

workaround is (cf (#'pos? (dec 1)))

Show
Chris McDevitt added a comment - workaround is (cf (#'pos? (dec 1)))
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: