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