core.typed

Add special arities to `nth` if we know exactly the index argument and CountRange

Details

  • Type: Enhancement Enhancement
  • Status: Closed Closed
  • Priority: Minor Minor
  • Resolution: Declined
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • Labels:
  • Patch:
    Code and Test

Description

(nth (I (Coll Integer) (CountRange 1)) 0 x) should always return Integer, not (U Integer x)

Activity

Ambrose Bonnaire-Sergeant made changes -
Field Original Value New Value
Labels idiom
Ambrose Bonnaire-Sergeant made changes -
Resolution Completed [ 1 ]
Status Open [ 1 ] Resolved [ 5 ]
Ambrose Bonnaire-Sergeant made changes -
Status Resolved [ 5 ] Reopened [ 4 ]
Resolution Completed [ 1 ]
Ambrose Bonnaire-Sergeant made changes -
Resolution Declined [ 2 ]
Status Reopened [ 4 ] Resolved [ 5 ]
Ambrose Bonnaire-Sergeant made changes -
Status Resolved [ 5 ] Closed [ 6 ]

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: