core.typed

case should utilize negative information

Details

  • Type: Enhancement Enhancement
  • Status: Open Open
  • Priority: Minor Minor
  • Resolution: Unresolved
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • Labels:
    None

Description

Per discussion on IRC, here's the refheap of the test case: https://www.refheap.com/62684

Activity

Ambrose Bonnaire-Sergeant made changes -
Field Original Value New Value
Priority Major [ 3 ] Minor [ 4 ]
Issue Type Defect [ 1 ] Enhancement [ 4 ]
Hide
Ambrose Bonnaire-Sergeant added a comment -

Not as simple as I thought due to `case` scoping a fresh local.

https://github.com/clojure/core.typed/commit/c13396739b3b5bc8b6349b4fdb2613bc942224a9

Show
Ambrose Bonnaire-Sergeant added a comment - Not as simple as I thought due to `case` scoping a fresh local. https://github.com/clojure/core.typed/commit/c13396739b3b5bc8b6349b4fdb2613bc942224a9

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated: