core.typed

Annotation for re-find return type is too specific

Details

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

Description

clojure.core/re-find returns different things depending on the regular expression used and the string it matches against. Currently core.typed annotates this as returning (Option String). However, in the presence of capture groups, it may return a vector of strings, so the current annotation is too specific.

Additionally, clojure.core/re-groups is not annotated, and uses the same return type as clojure.core/re-find.

Activity

Ambrose Bonnaire-Sergeant made changes -
Field Original Value New Value
Issue Type Defect [ 1 ] Enhancement [ 4 ]
Hide
Andrew Brehaut added a comment - - edited

This patch (CTYP-14.diff 07/Mar/13 9:10 PM) should extend the annotations to cover all return types.

Show
Andrew Brehaut added a comment - - edited This patch (CTYP-14.diff 07/Mar/13 9:10 PM) should extend the annotations to cover all return types.
Andrew Brehaut made changes -
Attachment CTYP-14.diff [ 11899 ]
Hide
Ambrose Bonnaire-Sergeant added a comment -

Merged.

Show
Ambrose Bonnaire-Sergeant added a comment - Merged.
Ambrose Bonnaire-Sergeant made changes -
Resolution Completed [ 1 ]
Status Open [ 1 ] Resolved [ 5 ]
Ambrose Bonnaire-Sergeant made changes -
Status Resolved [ 5 ] Closed [ 6 ]

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: