<< Back to previous view

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

Status: Open
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: Unresolved Votes: 0
Labels: None


 Description   

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


Generated at Mon Apr 21 05:08:21 CDT 2014 using JIRA 4.4#649-r158309.