<< Back to previous view

[CTYP-59] Return accurate type from first for heterogenous vectors Created: 14/Sep/13  Updated: 20/Jul/14  Resolved: 20/Jul/14

Status: Closed
Project: core.typed
Component/s: None
Affects Version/s: None
Fix Version/s: None

Type: Enhancement Priority: Minor
Reporter: Chris Spencer Assignee: Ambrose Bonnaire-Sergeant
Resolution: Completed Votes: 0
Labels: None


 Description   

(first [1 'a]) currently typed as (U (Value a) (Value 1)) rather than (Value 1)



 Comments   
Comment by Ambrose Bonnaire-Sergeant [ 20/Jul/14 11:08 PM ]

Fixed in CTYP-142: http://dev.clojure.org/jira/browse/CTYP-142

Generated at Tue Oct 21 19:04:11 CDT 2014 using JIRA 4.4#649-r158309.