<< Back to previous view

[CTYP-15] Eliminate the need to specify all ancestors in alter-class. Created: 08/Mar/13  Updated: 03/Dec/17  Resolved: 03/Dec/17

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

Type: Task Priority: Minor
Reporter: Ambrose Bonnaire-Sergeant Assignee: Ambrose Bonnaire-Sergeant
Resolution: Declined Votes: 0
Labels: newbie


We should be able to elide at least a couple of these annotations.

PersistentHashSet [[[a :variance :covariant]]
                   {Seqable (Seqable a)
                    java.util.Set (java.util.Set a)
                    Iterable (Iterable a)
                    Collection (Collection a)
                    APersistentSet (APersistentSet a)
                    IPersistentSet (IPersistentSet a)
                    IPersistentCollection (IPersistentCollection a)}
                   #{[Any -> (U a nil)]}]

I think just override APersistentSet should infer the rest.

PersistentHashSet [[[a :variance :covariant]]
                   {APersistentSet (APersistentSet a)}
                   #{[Any -> (U a nil)]}]

:unchecked-ancestors is a different problem.

Comment by Ambrose Bonnaire-Sergeant [ 03/Dec/17 4:21 PM ]

Not urgent.

Generated at Sun May 19 11:29:52 CDT 2019 using JIRA 4.4#649-r158309.