You are currently using a new, unsaved search.
Mark unannotated vars
Test all destructuring kinds
Filters inferred from `and` macro are not useful
typechecking fails on fn calls in map vals
Checker passes ill-typed protocol method implementation
Missing :require of clojure.main?
ann-form requires fully qualified classnames
Implement equality filters
Decomposition Alms inference phase
Parameterise IFn instead of special function type.
Eliminate the need to specify all ancestors in alter-class.
Annotation for re-find return type is too specific
Understand common contract functions
Handle primitives properly
Infer good types for loop locals
Support Clojure records
Support metadata types
Support complex map manipulation functions
Add Typed Namespace Support
Infer more methods
Support keyword arguments
Support complex multimethods
Support Strings as Seqables
Support looping macros
Support Java Generics