Ecosyste.ms: OpenCollective
An open API service for software projects hosted on Open Collective.
github.com/typedclojure/typedclojure
An optional type system for Clojure
https://github.com/typedclojure/typedclojure
This delivers significant type checking speedups
for each `ns` form.
nil is returned so core.ty...
8ce019d64db9500360650ba485030f4536d4dcc1 authored over 9 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
This delivers significant type checking speedups
for each `ns` form.
nil is returned so core.ty...
874678fb333c3d4bf0a966fb57a70957d078497a authored over 9 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Travis allows many concurrent builds and is easier to
work with for pull requests at the moment ...
35f9a6b21553d1c9db08c6e993e6ac6422a15efa authored over 9 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
0e5bcddb51b7dedc60cfa7c6702d802d5844f5cd authored over 9 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
86787542139966c27a6232f6969f5cdf0c60afae authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
e95db763bcd6976e8dd1a9ddc1b1f8e8050cd1c8 authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
76cbde2dc0a7cce0a339b5cce9d1d0826c92604e authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
55f226e00b827031ff43deedc850ee4b777f77da authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
9e876ad490a179f4b2daa429de6805d3686404bb authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
d8a3d6927fa5aaaa6b267d258c5a3fb13b10de84 authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
This implements and/or tests 4 simplifications on type propositions:
(is Any ..) = tt (alr...
00b8d51dfb28cef2f25732a9f76f9c7c77ad1c9d authored over 9 years ago by Ambrose Bonnaire-Sergeant <[email protected]>This implements and/or tests 4 simplifications on type propositions:
(is Any ..) = tt (alr...
e98cd829514d75173c3c5ffd8f06228c056067e0 authored over 9 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Types unparse verbosely in the :unknown implementation instead of
throwing an error.
Types unparse verbosely in the :unknown implementation instead of
throwing an error.
Instead of (I) = (U), now correctly (I) = Any.
f89b2db1a878cb7694859798128abdbe1096eb56 authored over 9 years ago by Ambrose Bonnaire-Sergeant <[email protected]>Instead of (I) = (U), now correctly (I) = Any.
565ff84deb0e46bae84544c9f5ee1b0b49710eab authored over 9 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
The :unknown implementation is the default if no implementation is
specified. If no :unknown cas...
The :unknown implementation is the default if no implementation is
specified. If no :unknown cas...
The :unknown implementation is the default if no implementation is
specified. If no :unknown cas...
It only makes sense to rewrite the AST when we have full control over
the evaluation of a form. ...
It only makes sense to rewrite the AST when we have full control over
the evaluation of a form. ...
It only makes sense to rewrite the AST when we have full control over
the evaluation of a form. ...
Use the expression argument to infer flag.
f819fcaaf9ba72ba690c93d7f4ba73c8a367e6bc authored over 9 years ago by Ambrose Bonnaire-Sergeant <[email protected]>Use the expression argument to infer flag.
9a217f20c345fb8b50e2adb9f54cc6032cb5314d authored over 9 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Type checking for functions has mostly moved to
clojure.core.typed.check.fn-methods
Type checking for functions has mostly moved to
clojure.core.typed.check.fn-methods
We remove the warn-on-reflection pass from the analysis pipeline and
rely on the final evaluatio...
We remove the warn-on-reflection pass from the analysis pipeline and
rely on the final evaluatio...
The inlining for `long` was overrident to take at least a Number
in f2e027 which fixes this issu...
The inlining for `long` was overrident to take at least a Number
in f2e027 which fixes this issu...
This test apparently failed sometime before 0.3.8, probably because
`nth` didn't respect the fir...
This test apparently failed sometime before 0.3.8, probably because
`nth` didn't respect the fir...
df18aa79a17fbbc7720ed848da8c70c30c2dbab6 authored over 9 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
0e09864233ffc7959db49a7b10bbd4866e2a4bd0 authored over 9 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
7da403ab58a18414bee988c535f758524257121f authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
2b305cbbe61f7bc1c47d4dd437bb1268715fe51c authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
f04bd2aff68d48a245f4dffe6ab9b7f9a6c406c2 authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
71ae84c64102c045d72ec9fca42377090cf7cc94 authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
8065c8857334a511bde856d4f9e2b7dc87d3cb5c authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
f7199ccd4437c51a6ab54e672fd5ee96f3125b4d authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
b704704dbea1d9fe49e89b6a02ff0e1c4099a7af authored over 9 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
167d5e316326801ecad1e5d118ccb68788d99763 authored over 9 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
This apparently failed to type check intermittently. Original
reporter cannot reproduce, so I wi...
This apparently failed to type check intermittently. Original
reporter cannot reproduce, so I wi...
Before this commit, namespaces which were marked as :collect-only
in their :core.typed metadata ...
Before this commit, namespaces which were marked as :collect-only
in their :core.typed metadata ...
This was fixed sometime between 0.2.84 and 0.3.7. It's unclear
what the exact issue was without ...
This was fixed sometime between 0.2.84 and 0.3.7. It's unclear
what the exact issue was without ...
As far as I can tell, these are the last things missing in the typed defn
compared to clojure.co...
As far as I can tell, these are the last things missing in the typed defn
compared to clojure.co...
As far as I can tell, these are the last things missing in the typed defn
compared to clojure.co...
Signed-off-by: Ambrose Bonnaire-Sergeant <[email protected]>
f1ed66cec93abd840a7d044c5eed9690539214bd authored over 9 years ago by Tobias Kortkamp <[email protected]>Signed-off-by: Ambrose Bonnaire-Sergeant <[email protected]>
a0ca8fbe367788153d234b8e3a97c19f866d2eca authored over 9 years ago by Tobias Kortkamp <[email protected]>
Vector destructuring was a bit wonky around 0.1.18. This was fixed
long ago, but I'm adding a te...
Vector destructuring was a bit wonky around 0.1.18. This was fixed
long ago, but I'm adding a te...
CTYP-80 seems like ancient history, but this test is referenced in the issue
and I didn't find i...
CTYP-80 seems like ancient history, but this test is referenced in the issue
and I didn't find i...
With the upcoming support for refinment types, we probably want to inspect
the current lexical e...
With the upcoming support for refinment types, we probably want to inspect
the current lexical e...
With the upcoming support for refinment types, we probably want to inspect
the current lexical e...
This version 0.4.4-ambrosebs-SNAPSHOT can be installed locally from
https://github.com/typedcl...
c326138fd9e6c64d5085c8e4812c2b3311fcec72 authored over 9 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
6fc44b8aba6b3345e0d60339a25d961666b77aa4 authored over 9 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
e8d4a8afb88542dcc2fad660645805c71c8cca7c authored over 9 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
d9e8412d9ae6b82116dd8d472cbd24c535e46683 authored over 9 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
113fb840c1f64d7e6d81ee1f798976e7cc3d0535 authored over 9 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
e7789ec72038e93641b01f9277189e7ba30a3772 authored over 9 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
a4d75caa4db1b447f1427c7a3cea9e81bed7651e authored over 9 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
861311d5e601ab4d9d8cf0e8071aaf3b7c34b66c authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
dd463ed40526a03a9fd2e993d4bba32fe5bf4b88 authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
015544acd9aaba7d788883a1c3b37969b6638407 authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
71a7b7996bfd76c4a7c18a3ceab58be5c0926dcf authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
86371d2144c9fd7bd4bcc0140552b0777cf5b2d7 authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
dc1e6fd1fe0b524174571a02b920bf77344d1284 authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
af41c108b04642266dd611964f2000859f94aa49 authored over 9 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
0e56148216b92b5bb1000f143419bf12c676e763 authored over 9 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
7160f86f992d4fa003c4830095902d52d1bee0d6 authored over 9 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
f538808499a5277a68c32b895d51004adec44a82 authored over 9 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
811e0af4d68165b764e569fea193120385345e16 authored over 9 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
93dad17944345f4e07a3e4f4cc246503b111c686 authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
abcf1e89a376788d5835b9fc3944a014695173d6 authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
9e2f8a31714adafefdd5aa8359d9116c5c1eed30 authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
2fbccb7f62cccf55ddc9a62c90aad70b3805d28f authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
e80557ffb615b6cc1bc6772d0d02b650b3d1b824 authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
c9586720c55a2cf056dd1c245c8989867e54c9ad authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
butlast+last moved.
Implement :protocol-invoke changes in check.clj.
Also update :keyword-invok...
butlast+last moved.
Implement :protocol-invoke changes in check.clj.
Also update :keyword-invok...
c70d819d4745f3c626435f024f947d20563e44d9 authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
c8868627c58471ed605ddbf176f2e553d86ad35d authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
eba3f9f63e2b96fc3972ee25395cb36523753ae5 authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
f7f560abac10fc214bcb698e64374d0534de2253 authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
4e52321be8b8bb2eff761039dae3de2882489375 authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
934fd4e4b7f83383df47c1db5e5977aaf18db288 authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
Handle changes to :new and :catch. They now have :class children nodes instead of
:class symbols...
Handle changes to :new and :catch. They now have :class children nodes instead of
:class symbols...
Handle changes to :new and :catch. They now have :class children nodes instead of
:class symbols...
4bbb8566f66ba5a1093be95aaa0a0ced67cc0529 authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
96a00c8b8e8ea8f3bc556b1ceeaed51baf8430fe authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>
a0c8e431ca482b0ce473f563e37862885e1a89ce authored over 9 years ago by Hudson @ build.clojure.org <[email protected]>