<< Back to previous view

[CTYP-30] Iterable should be Seqable Created: 23/Jul/13  Updated: 15/Sep/13  Resolved: 01/Aug/13

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

Type: Enhancement Priority: Major
Reporter: Alan Busby Assignee: Ambrose Bonnaire-Sergeant
Resolution: Completed Votes: 0
Labels: None

[org.clojure/core.typed "0.1.17"]


From mail;
> > Does (first (seq iterable)) work for you?
> No, seq only takes "(I (Seqable x) (CountRange 1))" and "(t/Option (Seqable x))".

Sigh. seq probably needs a few more arities to we need to "trick" core.typed into
thinking Iterable is a Seqable (eg. String is a Seqable to core.typed).

Comment by Ambrose Bonnaire-Sergeant [ 01/Aug/13 10:30 AM ]

Fixed: https://github.com/clojure/core.typed/commit/9bb6ef544f57d17ff8a57abd142ca8c724aebb08

Generated at Tue Jan 23 20:06:26 CST 2018 using JIRA 4.4#649-r158309.