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

isReduced should be a Pred

df2c0e1904729d5f5ec07d88e87783854741c6a4 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
isReduced should be a Pred

3b033595df416f0fbc43c702db81adcd81146664 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
check.monitor: Fix preconditions and require style

Signed-off-by: Ambrose Bonnaire-Sergeant <[email protected]>

9940dc387d1a311dc9c97044291587f645906493 authored about 10 years ago by Aphyr <[email protected]>
Adds support for locking (monitor-enter and monitor-exit)

Also expands the tests for (locking) to verify correct return type
inference and that it is inva...

fa57e55a70171641b8b7283dbc93c09f0eef91c8 authored about 10 years ago by Aphyr <[email protected]>
Adds support for locking (monitor-enter and monitor-exit)

Also expands the tests for (locking) to verify correct return type
inference and that it is inva...

f69b87aede371d90eb2c7686c2d39e9e9fb5a811 authored about 10 years ago by Aphyr <[email protected]>
check.monitor: Fix preconditions and require style

Signed-off-by: Ambrose Bonnaire-Sergeant <[email protected]>

be0ddac570bf96cdbd1ee9a73a9a7351bb154728 authored about 10 years ago by Aphyr <[email protected]>
Add a failing test for (locking x y).

This presently fails with java.lang.IllegalArgumentException: No method
in multimethod 'check' f...

eb2ee3f3e1522530343073a5d409c4c6cdaf4d42 authored about 10 years ago by Aphyr <[email protected]>
Add a failing test for (locking x y).

This presently fails with java.lang.IllegalArgumentException: No method
in multimethod 'check' f...

7b9db59e0e2c7c362a90a0fb798dd57c80511e83 authored about 10 years ago by Aphyr <[email protected]>
reduced? now has the signature [Any -> Boolean]

Clojure coerces primitives to objects here.

Signed-off-by: Ambrose Bonnaire-Sergeant <abonnaire...

621743b817df20db3ba4f789f678fc9b94f984e5 authored about 10 years ago by Aphyr <[email protected]>
reduced? now has the signature [Any -> Boolean]

Clojure coerces primitives to objects here.

Signed-off-by: Ambrose Bonnaire-Sergeant <abonnaire...

14bea6e376b87fa691ea2bf0a51b5589cb6c20f9 authored about 10 years ago by Aphyr <[email protected]>
Revert "Propagate expected type to if"

This reverts commit 1900a8b1470a329526ddcd7e3a76d9a98126ce7d.

97479170eda9b77a48000bf96dc00df550f0b5f4 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Revert "Propagate expected type to if"

This reverts commit 1900a8b1470a329526ddcd7e3a76d9a98126ce7d.

665733446d1e2d0deb3c4464873e7ce59193804a authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
start removing fn>

70e5efdf344388b0eef56b24e5a4f2cf61617899 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
start removing fn>

c67db5cc09d0accdc7727819bf2fff91810f9dbd authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
start removing fn>

3f014b6e41dfc77455be6707eddfb14d296c6535 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
add isa/multimethod tests

e62a7739f57a2c6d10518553cd8342731bd18fcc authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
add isa/multimethod tests

51533395b42d902cea094621ca5c967e4b01cd69 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
remove tests for for>, fn>, let>, doseq>, dotimes>

c7c8c1d33228a2f72bc3b2b98cf1968c324814ee authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
remove tests for for>, fn>, let>, doseq>, dotimes>

d36d747005dc1da46af4555459f13c6b82cb54f4 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Better propagation of expected types for unannotated fn's

6e9d2bda231a9a6313a149b330b79edbde4f2183 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Better propagation of expected types for unannotated fn's

24025209bef84a544e07c248870004b8dc101fb3 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Better propagation of expected types for unannotated fn's

8f1b770f431967ff3d90ea382bd7f0a36db18bed authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
fn> is now broken, deprecated anyway.

core/fn and fn ranges act the same now.

19b1b893e4e958ca2e1a402438326f16d15eafd7 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
fn> is now broken, deprecated anyway.

core/fn and fn ranges act the same now.

fd23e7b1e7d302b3366e097f6727a0b3ccfe52bb authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
fn> is now broken, deprecated anyway.

core/fn and fn ranges act the same now.

587998675d2ba6e7348c0de0c4db4fed4e576aa2 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
work on anon-fn checking and pfn

2a0f892bdc6773003569b4986694f1a01339e32d authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
work on anon-fn checking and pfn

339647fcf7e91bdebaaa68e13a9c1002348b2564 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
work on anon-fn checking and pfn

2ebdc914deb41b9e86b32ae17afc453cfd1dffc0 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
load parse-ast

149fac80f02d4fbc3f058f3375b5bcd47f20d2ff authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
load parse-ast

89d309de010e247cb9345248bd2e9ccee27bb49f authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
changelog

f7a40d2d56bd5829195d3aa74f44041996923ea9 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Bump project.clj

22f1612c3bd163ee59e6b13335440fa03b1a69df authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Propagate expected type to if

1900a8b1470a329526ddcd7e3a76d9a98126ce7d authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Propagate expected type to if

3f67d69b9019029fd8a8fb57a5eab81228398e57 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
HVec's passed to isa? must be same length

f5b26a662276b08bc0fcc1ee56648d642085bd48 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
HVec's passed to isa? must be same length

924f98186a10c7e86f040b680acd4a92f9555dcb authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Better error message. Need to handle this case better.

fd402fdad913307ab4f50e6c7711c1d2896d442a authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Better error message. Need to handle this case better.

01f5f0c7d014bfc78b23c9fa6bbf8ea70e8dfe27 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Typo

bd50073f3a4697c7aeaf751011a77b50b2a3ab06 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Typo

07716acdd67e8c30c6d3b86435f7700c13728efa authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Enable annotation of 'this' parameter in protocol methods.

83c6d618b96f81160d86fdc6ef73a1658e9f1e79 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Enable annotation of 'this' parameter in protocol methods.

87e0f6407172ec97d9ff59359eef278ddef9ff1f authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Enable annotation of 'this' parameter in protocol methods.

febf6cff8c93d1be5316770c89a398fc7bd9c93b authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Type check more of parse-ast

121c5be1f10b90bcab6d43d5407dc353d17b2dcb authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Type check more of parse-ast

b31fe523f124b6680cfcdaf10403559bbc085d53 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Test for map destructuring

4988291b87452e28697a8e8d4e598287ec46350d authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Test for map destructuring

8fa4725788ce38da80801e42f7dd9aedfc003824 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Allow non-heterogeneous types in map destructuring

22abda3347f7fe5a1214f9d7df5c7d125473a12d authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Allow non-heterogeneous types in map destructuring

9ec9d297d4598218eb2d9a6b5496516b3a787790 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Improve type errors for locals

e98d2816fdf6ac4b8608ebd2313c3aa98c882106 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Improve type errors for locals

d66926f643593040e0e99ea2b73b4218e4d70c30 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Clearer type checking for HashMap/create

7ae25923fb2f3f733567c602595d92e1ec960802 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Clearer type checking for HashMap/create

ecbff3358920e40aa7cbd1c08412580883fda0ce authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
annotate sequential?

62e39082fa86a29a5b1d252c60af6563b5dc60d7 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
annotate sequential?

5682b12a49864ea2cb8d0393f1d4ca3b4594c81d authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Start to type check parse-ast

16e0b635c6c1be3fd8d0c050e3426fc8ff768515 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Start to type check parse-ast

f7654c450866485863382e59731566e045415a1f authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Cut code redundancy in promote-demote

ffb75e9e4022ada434568f8c99e35b9e220ab022 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Cut code redundancy in promote-demote

9b77cff0dda7885923452da9bc5e744059dca41b authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
changelog

79a0b6fa195bd4117197769e98a68d8d59c1bcb1 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Delay parsing of type aliases

e0183d95248097ec21b384072debc6bf8a2426a2 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Delay parsing of type aliases

d6ad3d131056313ba689e09cd3663d11e43467c4 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Print more accurate reasons why a namespace isn't checked

3fe2d9da6889b1d1f0bd896ede8326f83f82c0b7 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Print more accurate reasons why a namespace isn't checked

5173ade2cf4eefd5f698fd0bfb67f606cc452e01 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
delay parsing of vars annotations in base-env

be8309b5b041770a6990def14389f9f81c0fbdef authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
delay parsing of vars annotations in base-env

2438c92f7e32e88ed7a3c984cd49b4762c6ecf34 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
delay parsing of vars annotations in base-env

42fa79dd7eca8d46e8e11287ff2b4fb0b8169831 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add promote/demote cases. Add completeness check function

f852a6afc95d69cb664598f553da7c2d90b59161 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add promote/demote cases. Add completeness check function

78c9bcbf6dfb9e1d6fc318b73513130e40fba684 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Fix `get` with keyword key and default value

bbb732915686e444a00848aebd9ca769e59d3234 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Fix `get` with keyword key and default value

ad19b4c116b2569a9e74707b079b9c3295e7f6e5 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
fold case for GetType

0a47a9dce1d72373ea85f7cf832262c22208f990 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
fold case for GetType

df3b34af7dcb265654a429f8f775a937e53e8f77 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Remember to update :keyword-invoke when bumping tools.analyzer

8fd487ea8f1dd81a24cbea268c94a3a5ad290962 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Remember to update :keyword-invoke when bumping tools.analyzer

ba1f8f9f2e74d6425beb210eba6f6abe20e46e5a authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Revert "Bump tools.analyzer.jvm 0.4.0"

This reverts commit 6aaeff46ba3d03ee16855c95d6abe305573240b2.

edd19ec365f9749ecc0d0422ec8e3b19a568ad54 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Revert "Bump tools.analyzer.jvm 0.4.0"

This reverts commit 6aaeff46ba3d03ee16855c95d6abe305573240b2.

06aa11c7aacd4e753c6d31fbe5dfd25c95410f6b authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Revert "Bump tools.analyzer.jvm 0.4.0"

This reverts commit 6aaeff46ba3d03ee16855c95d6abe305573240b2.

62f83f54c20ee5e7249ebfe8b2b95a5a65165ad0 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Revert "Upgrade to tools.analyzer.jvm 0.5.0"

This reverts commit 6d72127049c6b6b4a184af6fe980e98c0d5945d4.

335e48300778e6bf242c7372a05bbf82099dd04d authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Revert "Upgrade to tools.analyzer.jvm 0.5.0"

This reverts commit 6d72127049c6b6b4a184af6fe980e98c0d5945d4.

3e0c6ed25a3217565f985068d1fdb19088e02c19 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Revert "Upgrade to tools.analyzer.jvm 0.5.0"

This reverts commit 6d72127049c6b6b4a184af6fe980e98c0d5945d4.

b95455a7c0891d8102b506e5de277cf179607551 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Upgrade to tools.analyzer.jvm 0.5.0

This doesn't work with core.async

072da7056f63335d860bb320b45307b67d5f5dd1 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Upgrade to tools.analyzer.jvm 0.5.0

This doesn't work with core.async

6d72127049c6b6b4a184af6fe980e98c0d5945d4 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Upgrade to tools.analyzer.jvm 0.5.0

This doesn't work with core.async

8247224cc7c6574d2ce2d60af73b9163fc41108a authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Bump tools.analyzer.jvm 0.4.0

Some weird ast parsing issues, let's try 0.5.0 next.

8cfb6f400349ab62ef43df601f04419677661e17 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Bump tools.analyzer.jvm 0.4.0

Some weird ast parsing issues, let's try 0.5.0 next.

6aaeff46ba3d03ee16855c95d6abe305573240b2 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Bump tools.analyzer.jvm 0.4.0

Some weird ast parsing issues, let's try 0.5.0 next.

bc87a9ddc313eadf5783c6d526634f327f0d85ce authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Revert "Allow annotating of defprotocol this parameter"

This reverts commit 1f68cc837a20c1c049f7f1d98f79f9e99a1abb09.

90668de712da4791677415c23ce94aff4e1cee26 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Revert "Allow annotating of defprotocol this parameter"

This reverts commit 1f68cc837a20c1c049f7f1d98f79f9e99a1abb09.

32d3defe05c7bbcc61c2685a04eaaed22f32849d authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Allow annotating of defprotocol this parameter

e17ab0107926126c485e222d6d5583b86308f36e authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Allow annotating of defprotocol this parameter

1f68cc837a20c1c049f7f1d98f79f9e99a1abb09 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Merge branch 'master' of github.com:clojure/core.typed

613cc726bc135cef176a28f13934a9657207caf9 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
bump README version

a742d8a10e8ffdda09c3171f78e70e21593cb9c0 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
[maven-release-plugin] prepare for next development iteration

895484f1718d7d7761f3425bd0df68f85b193eef authored over 10 years ago by Hudson @ build.clojure.org <[email protected]>
[maven-release-plugin] prepare release core.typed-pom-0.2.72

3533e1ec79fdb398e506e3834c401c79477c02e4 authored over 10 years ago by Hudson @ build.clojure.org <[email protected]>
[maven-release-plugin] prepare release core.typed-pom-0.2.72

ac70fe7a28976ff716cbdffbe3880e5319482c37 authored over 10 years ago by Hudson @ build.clojure.org <[email protected]>
[maven-release-plugin] prepare release core.typed-pom-0.2.72

0655707487aa97f0d65ae3af61e647e0e097b161 authored over 10 years ago by Hudson @ build.clojure.org <[email protected]>
[maven-release-plugin] prepare for next development iteration

8397708efa5d3873b9e23bb8d76208d84dc715e6 authored over 10 years ago by Hudson @ build.clojure.org <[email protected]>
[maven-release-plugin] prepare for next development iteration

cc7abaef935aa3216e121b31c5387eb19531f3bb authored over 10 years ago by Hudson @ build.clojure.org <[email protected]>
Properly quote subtyping tests

c6a6dacae03cf0ac9ab9aa5146c2f438b5adca8b authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>