core.typed

Constraint generation does not handle variance well

Details

  • Type: Defect Defect
  • Status: Open Open
  • Priority: Minor Minor
  • Resolution: Unresolved
  • Affects Version/s: None
  • Fix Version/s: Backlog
  • Component/s: Core type system
  • Labels:

Description

Several places in cs_gen.clj have outstanding TODO's about handling variance.

Activity

Ambrose Bonnaire-Sergeant made changes -
Field Original Value New Value
Description https://github.com/clojure/core.typed/blob/master/src/main/clojure/clojure/core/typed/cs_gen.clj#L739 Several places in {{cs_gen.clj}} have outstanding TODO's about handling variance.

 - [TApp|https://github.com/clojure/core.typed/blob/840e6e53be34910403566da5af467cb2ce69ab97/module-check/src/main/clojure/clojure/core/typed/cs_gen.clj#L915]
 - [Records|https://github.com/clojure/core.typed/blob/840e6e53be34910403566da5af467cb2ce69ab97/module-check/src/main/clojure/clojure/core/typed/cs_gen.clj#L972]
Priority Major [ 3 ] Minor [ 4 ]
Labels newbie
Summary Handle variace in datatype cgen Handle variance in datatype cgen
Ambrose Bonnaire-Sergeant made changes -
Component/s Core type system [ 10006 ]
Fix Version/s Backlog [ 10554 ]
Ambrose Bonnaire-Sergeant made changes -
Summary Handle variance in datatype cgen Constraint generation does not handle variance well

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated: