Projects
Filters
Dashboards
Apps
Create
core.typed
Classic software project
Back to project
Filters
All issues
Open issues
Done issues
Resolved recently
Updated recently
View all filters
Projects
/
Issues
Export Issues
Go to advanced search
Search issues
Submit
Assignee
Reporter
Status:
Closed and 1 more
Type
Clear all
Switch to detail view
Type
Key
Summary
Assignee
Reporter
P
Status
Created
CTYP
-
327
Adding annotations for clojure.string namespace.
Unassigned
import
Resolved
May 8, 2018
CTYP
-
325
Support clojure.spec syntax as static types
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Jun 19, 2017
CTYP
-
324
Remove collect phase
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Jan 8, 2017
CTYP
-
323
Support latest Clojurescript compiler
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Dec 8, 2016
CTYP
-
322
Use specs as types
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Dec 6, 2016
CTYP
-
321
Make generated type readable
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Sep 29, 2016
CTYP
-
320
Don't track internals of track implementation
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Sep 13, 2016
CTYP
-
319
Single-pass compiler misses interfaces
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Sep 9, 2016
CTYP
-
318
Ensure :static-method has :class entry
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Sep 8, 2016
CTYP
-
317
Port Compiler.java to Clojure
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Sep 2, 2016
CTYP
-
316
Support primitive functions in runtime instrumentation
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Sep 1, 2016
CTYP
-
315
Merge CLJ-1744
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Aug 31, 2016
CTYP
-
314
Current version of core.typed does not work with current Clojure 1.9.0-alpha11
Ambrose Bonnaire-Sergeant
lvh
Closed
Aug 21, 2016
CTYP
-
313
subtyping optional keywords in HMaps
Ambrose Bonnaire-Sergeant
import
Closed
Apr 13, 2016
CTYP
-
312
pred doesn't work with polymorphic protocols?
Ambrose Bonnaire-Sergeant
import
Closed
Mar 21, 2016
CTYP
-
311
Use dynamic inference to generate library annotations
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Feb 16, 2016
CTYP
-
310
Remove support for mixing "typed eval" and check-ns
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Feb 4, 2016
CTYP
-
309
Export typed vars with contracts to untyped namespaces
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Jan 31, 2016
CTYP
-
308
Enable sanity-checking compilation of core.typed-rt project
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Jan 31, 2016
CTYP
-
307
Override `eval` to type check code in typed namespaces
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Jan 31, 2016
CTYP
-
305
t/cast does not run under rewriting type checking
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Jan 28, 2016
CTYP
-
304
Upgrade to Clojure 1.8.0
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Jan 27, 2016
CTYP
-
303
cast doesn't work for recursive types
Ambrose Bonnaire-Sergeant
import
Closed
Dec 30, 2015
CTYP
-
302
Add typed Compiler
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Nov 24, 2015
CTYP
-
300
Support HMap contract generation
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Nov 19, 2015
CTYP
-
299
Add per-namespace flag to check annotations at runtime
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Nov 18, 2015
CTYP
-
298
Should blame sub-parts of casts
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Nov 17, 2015
CTYP
-
297
Allow defmulti without expected type
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Nov 17, 2015
CTYP
-
296
Overlap of free variables and other types should not be empty
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Nov 17, 2015
CTYP
-
295
Update ns wrapper macro with Clojure 1.8 changes
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Nov 15, 2015
CTYP
-
294
Infer untyped vars via unsafe Dyn-like type
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Nov 15, 2015
CTYP
-
293
Should check upcast to Dyn
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Nov 11, 2015
CTYP
-
292
Provide a new alias for Any, dedicated for use as a placeholder, thus reserving Any for situations when truly every type is acceptable.
Ambrose Bonnaire-Sergeant
Josh Tilles
Closed
Nov 11, 2015
CTYP
-
291
ClassNotFoundException clojure.core.cache.CacheProtocol
Ambrose Bonnaire-Sergeant
import
Closed
Nov 10, 2015
CTYP
-
290
Support older versions of Clojure in the runtime module
Ambrose Bonnaire-Sergeant
Josh Tilles
Closed
Nov 10, 2015
CTYP
-
289
Add ability to specify the static type expected for a particular extend-type dispatch
Ambrose Bonnaire-Sergeant
Josh Tilles
Closed
Nov 10, 2015
CTYP
-
288
Type checker should understand clojure.core.typed/cast
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Nov 8, 2015
CTYP
-
287
Add contract system and `cast` expression
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Nov 2, 2015
CTYP
-
286
Convert inlined dependencies back to regular jars
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Nov 2, 2015
CTYP
-
285
Cljc reader conditionals in ns form cause core.typed to skip checking namespace
Ambrose Bonnaire-Sergeant
import
Closed
Nov 2, 2015
CTYP
-
284
Remove redundant checking in typed load
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Oct 27, 2015
CTYP
-
283
Directly-linking in Clojure 1.8.0 interferes with load monkey-patching
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Oct 27, 2015
CTYP
-
281
Separate `load` monkey-patch and typed REPL
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Oct 24, 2015
CTYP
-
280
Breaks (my) repl
Ambrose Bonnaire-Sergeant
import
Closed
Sep 29, 2015
CTYP
-
278
Impossible to annotate protocol in other namespace
Unassigned
import
Closed
Sep 17, 2015
CTYP
-
276
first on HVec strange/wrong result
Ambrose Bonnaire-Sergeant
Mark Feeney
Closed
Sep 15, 2015
CTYP
-
273
`recur` treated differently from a recursive call
Ambrose Bonnaire-Sergeant
import
Closed
Sep 6, 2015
CTYP
-
272
check-ns: Assert failed: (r/Type? t)
Unassigned
import
Closed
Aug 25, 2015
CTYP
-
271
reduce form with (U nil Num) accumulator needs inst to type check
Ambrose Bonnaire-Sergeant
import
Closed
Aug 24, 2015
CTYP
-
269
Combine mutable environments into one atom
Ambrose Bonnaire-Sergeant
Ambrose Bonnaire-Sergeant
Closed
Aug 11, 2015
Give feedback
1-50 of 294
1
2
3
4
5
6