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

Deprecate loop>

1656005d18882ee0bddc261767bde03ed9115fd0 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
c.c.t/doseq docstring

18f3f726b379ae4737f9dd297bc0e3592099e409 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Clean up doseq> body

0e3520da782440a244911fdfedba7097e4249ffa authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Use core/loop inside loop>

3f5bcb4adef238ac1b0be107e3de1e9c39a6f987 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Remove unused type variable

b6451885189c7b40e48662d61756cfcdac4d3c4f authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add trans-dots test file

172838608e4ca0de9d75db2cf29fbda0d5db2bfa authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
apply is more accurate

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

4565be18d996f7b726545c43c4bac546a777ed9c authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Better type for partial

482f871bdd591fb98b26e9e389e9e8ac2ad1291a authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add apply

6af97481c22af5ccb5036c15eb936fbcbd132336 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Irrelevant comments

808b681258f91475973d8e7fc28d31fc8d4787bc authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Forgot to add nth-type helper

2fdb0f4e153b4a9b94df9dbcf2036534e9d5bf36 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Tests for instantiating PolyDots

a1b9d5e86da7ed07cebefa858ab03e6b56b9a7a6 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
nth needs Sequential things as last resort.

Things like ArrayList can be considered Indexed. Need to add more cases,
see clojure.lang.RT/nth...

78811b709683da16b4dea36be9672c1340fab8ea authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Annotation for vector uses dots. Breaking change.

ddcb1e944933c2126792b800a431cc12009bfecb authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
vector annotation uses PolyDots. Breaking change if manually inst'ing vector.

84816cb000936c115c739b682216bfa2ce8cf76f authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Remove comments

75fb9e7cacc496f5956ec9e6ba206268c75f2be8 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add juxt

a6a9adf116343696f0b603b7e26c94ed9cabffb3 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
It's ok to give zero args to inst, assuming we have a PolyDots with 0 fixed vars

3ddb9faa3be588f83e5837938d58cc77f916bbbf authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Tests for trans-dots. HSequential test NYI, and fails

0baf46cb74c3f2c2b0b4d323180aca0c6f74defe authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Comment out clojure.core.typed/def

e5ac744efe6564d042b7e0615c774fa11b7bae22 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
fully-resolve-type is more comprehensive here

4e91fbf0808ddeff623ccb5c547d7212f3edf912 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
This is unchecked atm, but an incorrect local instantiation.

102c4a68efbf837468ffa55a5fc6f79b5163fd61 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
trans-dots uses fold. Add HVec case. HSequential throws NYI.

d3f50f834a3dae70bc9e2da80e804cfd3c3678d6 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add instantiate-many case for HVec/HSequential

ab437c800dbd43bfd4a04c7625079d4a9b1e6d9c authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add abstract-many case for HSequential

a04f4e2e7ee98ec7319e44479f4be335cd863d90 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add abstract-many case for HVec

e16f102b66f468f115edfd6778f0152f9fad9ebf authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
t.a.j has file name in (:file env)

15c4b2f6ed47840d2405955191d7d849efde0e8a authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Missing else branch. Protected by a postcondition already.

d4c8dd86bb9c19a8e2cb4a994582d23a70c89b3f authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add substitute-dotted case for HSequential

0020c3141dbd4aa32f6b8b22dec219a490e45f71 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add substitute-dots case for HSequential

c036582f998f31b6c44d541870952c2fa63ef8f5 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Better nyi error

2b97763d51ccc5f7d6c158a6e49153559a3a9f8f authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Fix substitute case for HVec

e233810eecdfae6805b8e81bb1b01056f990572c authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add promote/demote cases for HSequential

30a360b11d327253485bb24db90a8f2db14824e1 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Fix promote/demote cases for HVec

f7988fc29f4430c2c213fa1662637e61edaa299a authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Better nyi errors

8bdc23f6f65a6ac3f5e73e141ae84ee892aed222 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Print dotted bounds properly, and handle printing DeBruijn indices

ed621bc3969348b0477bedf42746f162a3054503 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Fix HVec dotted type syntax (pretype & bound were swapped)

4d846066f0b927aa01e6c0faf6780b8bb6e18e98 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add shorthand for (FS top top)

c2f068929be929cb0a20b1d2636939fc3fc1ad99 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Better NYI errors

0b334f89ce48c6daec961e543d3eb123fc09300a authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Fix PolyDots case in abstract-many + tests

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

6ac2a0eefdbee2d3e5079cd79af82bceae148a7f authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Tests for new defprotocol

ef08ffb42f4596d80f97ff6e677cabd51c72298d authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Infrastructure to support flat polymorphic binding syntax

dd0e6645b6f8a7c825a37bd95f4a48d48012f999 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Set literal is nicer

df116755e0b0f839041ed4f7dcbb26b985116491 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add loop/dotimes/let/for/doseq/def, and API stub for definterface

db88615fca6153fb468d48b9064ad1c0cfee1dcf authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Fix nth type

9d2f9ca42d270a88e86d74d6e4ab3fbe246e9b93 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Propagate expected type in a t/fn if it looks unannotated.

faadfafabd4d97f63126f5dd1168f7fa16a2faa5 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Update reflection test

ca684b0382d008548a8ad127518925f4b24fdcc8 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Actually update ann-form this time

6ebc9d39807a786325c944ae2037bb7c2fb668d9 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Use alias for clojure.core

4ff26129bca2c98898ecc706d04747e4716980ca authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add clojure.core.typed/fn. Deprecate clojure.core.typed/fn>

08b71091e3eb7fb1e27b0054e9c198a3741df74a authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Remove old ann-form* check case

dfd1e0cfa8b2eb9de2a294635524c643247eaf84 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Remove dead code

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

724f3b1668af13b444e5a9310a6158dae9002e5c authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Print type hint suggestions with int[] instead of int<>

06b9347d5cf07b195a96919daffc487bca7bd1cf authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
test for graceful reflection

5d9ce623fc0f4066cdcec270a6b3edcd32ce38f3 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Re-add support for non-polymorphic multi-arity keyword functions

e47a9c9bafd91fab1c3e78d4dbb67cd246c2cca6 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
ann-form is equivalent to (do ::special-form ::ann-form {:type t} expr)

2174fd1297ad301151f7e1fe447f18577bcd8d90 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Remove some actually unhelpful error message improvements

82cc14db0dd5dd63748f136b6f7b7b5195c3ce3a authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
tc-ignore implemented as a `do` is good. Now extensible for other ops.

5bc5659c12f7371a6c346cccc86a9671859b427e authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Improve error messages on reflective calls.

- Suggest likely type hints
- prefer top level errors

39989251d485f07ce03045875ce1eb38671328bb authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Force checking

0b8de1f25e2565559a98d63d3dee9b69def2a334 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Remove a :refer :all

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

266e18d38db932cf81ecb7fc3a2ac5b001ce559e authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Resolving interop calls is more robust

4de37e2ce06d4591d5865e0c6a53f46df77822ba authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Fix CTYP-132. Type checking doesn't blow up on unresolved reflection

fa22d52d8e9855ebbaf2593ec5e848ba714b25fc authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Note clojure compatibility

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

53f8533360c9a5951dc40989c5081970a28282d6 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
rest argument must be nilable non-empty seq.

Recur rest arg should reflect this, I don't we gain anything from using
HSeq here over ISeq.

Si...

155f5bf0e1f0fa46015613858ffc120668dfea09 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Fix cs-gen cases for HSequential.

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

6cf53f82b1187a202efd68387085e98a64d7b0c2 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
add rest/drest support in HeterogeneousSeq, and change result type of *check-fn-method1-rest-type* from HSequential to HeterogeneousSeq type variable in HSequential is remain unsolved

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

f87d10df8a0a11d4997d93cb71c16a3d6d9ebf03 authored over 10 years ago by Di Xu <[email protected]>
add {HVec,Hlist,HSeq}->HSequential

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

368cb53e209e223ce34a258e85e0cbdf86de0524 authored over 10 years ago by Di Xu <[email protected]>
Fix subtype cases for HSequential

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

96c61b0eee3eb00064e327e81c5657bd3394f79b authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Towards HSequential + bug fixes

- Fix unparse of HVec et al. drest args
- Move HSequential case to the top of `empty?`
- Fix HSe...

437174d881df15532ad24d90ee90da6c403c2633 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
add HSequential type to rule HVec, HSeq and HList all

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

efa86b1e4232adc2fc09a705c404a285dfd78816 authored over 10 years ago by Di Xu <[email protected]>
Add Nicola Mometto to contributors

d07f90d9c548e0223a294ed1b456376f98e65142 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
fix deftype issue

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

6d3d0213918ed66db5a05803eb50cb5ca027b9fe authored over 10 years ago by Nicola Mometto <[email protected]>
Refresh the stub class given in a :deftype node

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

68327496e8ce124db910ead646b01f81a51453df authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
document 0.2.44 release

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

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

6a19615eceaf99aec65a36e720c6f976f3cffe4b authored over 10 years ago by Hudson @ build.clojure.org <[email protected]>
Revert back to a dirty AOT jar including transitive deps.

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

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

a1725ee221152c7f083f0ea9045ab12f353d9ad5 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
note about 0.2.42

f1a62ca6bb5f582074a32ed9de55b075b5f47c9c authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
[maven-release-plugin] prepare release core.typed-0.2.43

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

7fb05cd0fead5572680f98fe5f342d1d17e31420 authored over 10 years ago by Hudson @ build.clojure.org <[email protected]>
Merge branch 'master' of github.com:clojure/core.typed

9480fa6feaf90e0bb047f4d0c5b9ffd82a1062fa authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Merge branch 'tools-analyzer'

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

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

67f7755814d68f9d160758e30d61c260e6ec3c70 authored over 10 years ago by Hudson @ build.clojure.org <[email protected]>
bump project.clj version

98bd863a82d5308269273dd3fc84679903508b28 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Merge branch 'tools-analyzer'

7b015fddaa23ab7762d0ff1bd851f47550de4ab6 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Merge branch 'master' of /home/ambrose/Projects/core.typed-branches/../core.typed into tools-analyzer

199f51a46c9fecc85efa022e379855248e661059 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
bind *file* in analyze pass

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

699ad8310ef26b6dd390ed7a0a46f390a1f5ec48 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
bump readme version

cdc0c2d081ca25812b1f23d23f5768cfeb29261a authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
move to t.a.j beta10

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