Ecosyste.ms: OpenCollective

An open API service for software projects hosted on Open Collective.

Typed Clojure

An optional type system for Clojure
Collective - Host: opensource - https://opencollective.com/typedclojure - Website: https://typedclojure.org - Code: https://github.com/typedclojure/typedclojure

c.c.t/doseq docstring

github.com/typedclojure/typedclojure - 18f3f726b379ae4737f9dd297bc0e3592099e409 authored over 10 years ago
Clean up doseq> body

github.com/typedclojure/typedclojure - 0e3520da782440a244911fdfedba7097e4249ffa authored over 10 years ago
Use core/loop inside loop>

github.com/typedclojure/typedclojure - 3f5bcb4adef238ac1b0be107e3de1e9c39a6f987 authored over 10 years ago
Remove unused type variable

github.com/typedclojure/typedclojure - b6451885189c7b40e48662d61756cfcdac4d3c4f authored over 10 years ago
Add trans-dots test file

github.com/typedclojure/typedclojure - 172838608e4ca0de9d75db2cf29fbda0d5db2bfa authored over 10 years ago
apply is more accurate

github.com/typedclojure/typedclojure - 99e2fe5ccd99b3ce6c03e78a4db8cf1f8315f502 authored over 10 years ago
Better type for partial

github.com/typedclojure/typedclojure - 482f871bdd591fb98b26e9e389e9e8ac2ad1291a authored over 10 years ago
Irrelevant comments

github.com/typedclojure/typedclojure - 808b681258f91475973d8e7fc28d31fc8d4787bc authored over 10 years ago
Forgot to add nth-type helper

github.com/typedclojure/typedclojure - 2fdb0f4e153b4a9b94df9dbcf2036534e9d5bf36 authored over 10 years ago
Tests for instantiating PolyDots

github.com/typedclojure/typedclojure - a1b9d5e86da7ed07cebefa858ab03e6b56b9a7a6 authored over 10 years ago
nth needs Sequential things as last resort.

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

github.com/typedclojure/typedclojure - 78811b709683da16b4dea36be9672c1340fab8ea authored over 10 years ago
Annotation for vector uses dots. Breaking change.

github.com/typedclojure/typedclojure - ddcb1e944933c2126792b800a431cc12009bfecb authored over 10 years ago
vector annotation uses PolyDots. Breaking change if manually inst'ing vector.

github.com/typedclojure/typedclojure - 84816cb000936c115c739b682216bfa2ce8cf76f authored over 10 years ago
It's ok to give zero args to inst, assuming we have a PolyDots with 0 fixed vars

github.com/typedclojure/typedclojure - 3ddb9faa3be588f83e5837938d58cc77f916bbbf authored over 10 years ago
Tests for trans-dots. HSequential test NYI, and fails

github.com/typedclojure/typedclojure - 0baf46cb74c3f2c2b0b4d323180aca0c6f74defe authored over 10 years ago
Comment out clojure.core.typed/def

github.com/typedclojure/typedclojure - e5ac744efe6564d042b7e0615c774fa11b7bae22 authored over 10 years ago
fully-resolve-type is more comprehensive here

github.com/typedclojure/typedclojure - 4e91fbf0808ddeff623ccb5c547d7212f3edf912 authored over 10 years ago
This is unchecked atm, but an incorrect local instantiation.

github.com/typedclojure/typedclojure - 102c4a68efbf837468ffa55a5fc6f79b5163fd61 authored over 10 years ago
trans-dots uses fold. Add HVec case. HSequential throws NYI.

github.com/typedclojure/typedclojure - d3f50f834a3dae70bc9e2da80e804cfd3c3678d6 authored over 10 years ago
Add instantiate-many case for HVec/HSequential

github.com/typedclojure/typedclojure - ab437c800dbd43bfd4a04c7625079d4a9b1e6d9c authored over 10 years ago
Add abstract-many case for HSequential

github.com/typedclojure/typedclojure - a04f4e2e7ee98ec7319e44479f4be335cd863d90 authored over 10 years ago
Add abstract-many case for HVec

github.com/typedclojure/typedclojure - e16f102b66f468f115edfd6778f0152f9fad9ebf authored over 10 years ago
t.a.j has file name in (:file env)

github.com/typedclojure/typedclojure - 15c4b2f6ed47840d2405955191d7d849efde0e8a authored over 10 years ago
Missing else branch. Protected by a postcondition already.

github.com/typedclojure/typedclojure - d4c8dd86bb9c19a8e2cb4a994582d23a70c89b3f authored over 10 years ago
Add substitute-dotted case for HSequential

github.com/typedclojure/typedclojure - 0020c3141dbd4aa32f6b8b22dec219a490e45f71 authored almost 11 years ago
Add substitute-dots case for HSequential

github.com/typedclojure/typedclojure - c036582f998f31b6c44d541870952c2fa63ef8f5 authored almost 11 years ago
Better nyi error

github.com/typedclojure/typedclojure - 2b97763d51ccc5f7d6c158a6e49153559a3a9f8f authored almost 11 years ago
Fix substitute case for HVec

github.com/typedclojure/typedclojure - e233810eecdfae6805b8e81bb1b01056f990572c authored almost 11 years ago
Add promote/demote cases for HSequential

github.com/typedclojure/typedclojure - 30a360b11d327253485bb24db90a8f2db14824e1 authored almost 11 years ago
Fix promote/demote cases for HVec

github.com/typedclojure/typedclojure - f7988fc29f4430c2c213fa1662637e61edaa299a authored almost 11 years ago
Better nyi errors

github.com/typedclojure/typedclojure - 8bdc23f6f65a6ac3f5e73e141ae84ee892aed222 authored almost 11 years ago
Print dotted bounds properly, and handle printing DeBruijn indices

github.com/typedclojure/typedclojure - ed621bc3969348b0477bedf42746f162a3054503 authored almost 11 years ago
Fix HVec dotted type syntax (pretype & bound were swapped)

github.com/typedclojure/typedclojure - 4d846066f0b927aa01e6c0faf6780b8bb6e18e98 authored almost 11 years ago
Add shorthand for (FS top top)

github.com/typedclojure/typedclojure - c2f068929be929cb0a20b1d2636939fc3fc1ad99 authored almost 11 years ago
Better NYI errors

github.com/typedclojure/typedclojure - 0b334f89ce48c6daec961e543d3eb123fc09300a authored almost 11 years ago
Fix PolyDots case in abstract-many + tests

github.com/typedclojure/typedclojure - 8b5b7253e75f3ffa5513a7cd1669036c310346bf authored almost 11 years ago
Tests for new defprotocol

github.com/typedclojure/typedclojure - ef08ffb42f4596d80f97ff6e677cabd51c72298d authored almost 11 years ago
Infrastructure to support flat polymorphic binding syntax

github.com/typedclojure/typedclojure - dd0e6645b6f8a7c825a37bd95f4a48d48012f999 authored almost 11 years ago
Set literal is nicer

github.com/typedclojure/typedclojure - df116755e0b0f839041ed4f7dcbb26b985116491 authored almost 11 years ago
Add loop/dotimes/let/for/doseq/def, and API stub for definterface

github.com/typedclojure/typedclojure - db88615fca6153fb468d48b9064ad1c0cfee1dcf authored almost 11 years ago
Propagate expected type in a t/fn if it looks unannotated.

github.com/typedclojure/typedclojure - faadfafabd4d97f63126f5dd1168f7fa16a2faa5 authored almost 11 years ago
Update reflection test

github.com/typedclojure/typedclojure - ca684b0382d008548a8ad127518925f4b24fdcc8 authored almost 11 years ago
Actually update ann-form this time

github.com/typedclojure/typedclojure - 6ebc9d39807a786325c944ae2037bb7c2fb668d9 authored almost 11 years ago
Use alias for clojure.core

github.com/typedclojure/typedclojure - 4ff26129bca2c98898ecc706d04747e4716980ca authored almost 11 years ago
Add clojure.core.typed/fn. Deprecate clojure.core.typed/fn>

github.com/typedclojure/typedclojure - 08b71091e3eb7fb1e27b0054e9c198a3741df74a authored almost 11 years ago
Remove old ann-form* check case

github.com/typedclojure/typedclojure - dfd1e0cfa8b2eb9de2a294635524c643247eaf84 authored almost 11 years ago
Remove dead code

github.com/typedclojure/typedclojure - f363bceb109e32c3ecde3e53d16a74c57c442271 authored almost 11 years ago
Print type hint suggestions with int[] instead of int<>

github.com/typedclojure/typedclojure - 06b9347d5cf07b195a96919daffc487bca7bd1cf authored almost 11 years ago
test for graceful reflection

github.com/typedclojure/typedclojure - 5d9ce623fc0f4066cdcec270a6b3edcd32ce38f3 authored almost 11 years ago
Re-add support for non-polymorphic multi-arity keyword functions

github.com/typedclojure/typedclojure - e47a9c9bafd91fab1c3e78d4dbb67cd246c2cca6 authored almost 11 years ago
ann-form is equivalent to (do ::special-form ::ann-form {:type t} expr)

github.com/typedclojure/typedclojure - 2174fd1297ad301151f7e1fe447f18577bcd8d90 authored almost 11 years ago
Remove some actually unhelpful error message improvements

github.com/typedclojure/typedclojure - 82cc14db0dd5dd63748f136b6f7b7b5195c3ce3a authored almost 11 years ago
tc-ignore implemented as a `do` is good. Now extensible for other ops.

github.com/typedclojure/typedclojure - 5bc5659c12f7371a6c346cccc86a9671859b427e authored almost 11 years ago
Improve error messages on reflective calls.

- Suggest likely type hints
- prefer top level errors

github.com/typedclojure/typedclojure - 39989251d485f07ce03045875ce1eb38671328bb authored almost 11 years ago
Remove a :refer :all

github.com/typedclojure/typedclojure - c7c4d53712da00712283208ab8aa37f3c26dac3e authored almost 11 years ago
Resolving interop calls is more robust

github.com/typedclojure/typedclojure - 4de37e2ce06d4591d5865e0c6a53f46df77822ba authored almost 11 years ago
Fix CTYP-132. Type checking doesn't blow up on unresolved reflection

github.com/typedclojure/typedclojure - fa22d52d8e9855ebbaf2593ec5e848ba714b25fc authored almost 11 years ago
Note clojure compatibility

github.com/typedclojure/typedclojure - 52e3b0978a16c4402f2bfde2ee83a004e4dcf184 authored almost 11 years ago
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...

github.com/typedclojure/typedclojure - 155f5bf0e1f0fa46015613858ffc120668dfea09 authored almost 11 years ago
Fix cs-gen cases for HSequential.

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

github.com/typedclojure/typedclojure - 6cf53f82b1187a202efd68387085e98a64d7b0c2 authored almost 11 years ago
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]>

github.com/typedclojure/typedclojure - f87d10df8a0a11d4997d93cb71c16a3d6d9ebf03 authored almost 11 years ago
add {HVec,Hlist,HSeq}->HSequential

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

github.com/typedclojure/typedclojure - 368cb53e209e223ce34a258e85e0cbdf86de0524 authored almost 11 years ago
Fix subtype cases for HSequential

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

github.com/typedclojure/typedclojure - 96c61b0eee3eb00064e327e81c5657bd3394f79b authored almost 11 years ago
Towards HSequential + bug fixes

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

github.com/typedclojure/typedclojure - 437174d881df15532ad24d90ee90da6c403c2633 authored almost 11 years ago
add HSequential type to rule HVec, HSeq and HList all

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

github.com/typedclojure/typedclojure - efa86b1e4232adc2fc09a705c404a285dfd78816 authored almost 11 years ago
Add Nicola Mometto to contributors

github.com/typedclojure/typedclojure - d07f90d9c548e0223a294ed1b456376f98e65142 authored almost 11 years ago
fix deftype issue

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

github.com/typedclojure/typedclojure - 6d3d0213918ed66db5a05803eb50cb5ca027b9fe authored almost 11 years ago
Refresh the stub class given in a :deftype node

github.com/typedclojure/typedclojure - abe6444d2ae96a7c27d46706d8e21756f31f7d23 authored almost 11 years ago
Merge branch 'master' of github.com:clojure/core.typed

github.com/typedclojure/typedclojure - 68327496e8ce124db910ead646b01f81a51453df authored almost 11 years ago
document 0.2.44 release

github.com/typedclojure/typedclojure - 228f833fd7d7fb4844c183d29dad48567798ec6e authored almost 11 years ago
[maven-release-plugin] prepare for next development iteration

github.com/typedclojure/typedclojure - 7b7ac0ff9efffe35e2408743c63a5c9dfad93701 authored almost 11 years ago
[maven-release-plugin] prepare release core.typed-0.2.44

github.com/typedclojure/typedclojure - 6a19615eceaf99aec65a36e720c6f976f3cffe4b authored almost 11 years ago
Revert back to a dirty AOT jar including transitive deps.

github.com/typedclojure/typedclojure - f533098e0c95610085f608b7a59e72257e35e215 authored almost 11 years ago
bump README version

github.com/typedclojure/typedclojure - 3258de4521e742e73958033418fc9513436c8c40 authored almost 11 years ago
Merge branch 'master' of github.com:clojure/core.typed

github.com/typedclojure/typedclojure - a1725ee221152c7f083f0ea9045ab12f353d9ad5 authored almost 11 years ago
note about 0.2.42

github.com/typedclojure/typedclojure - f1a62ca6bb5f582074a32ed9de55b075b5f47c9c authored almost 11 years ago
[maven-release-plugin] prepare release core.typed-0.2.43

github.com/typedclojure/typedclojure - 92339004e0e84d089923c382d1e146eff36f11fa authored almost 11 years ago
[maven-release-plugin] prepare for next development iteration

github.com/typedclojure/typedclojure - 7fb05cd0fead5572680f98fe5f342d1d17e31420 authored almost 11 years ago
Merge branch 'master' of github.com:clojure/core.typed

github.com/typedclojure/typedclojure - 9480fa6feaf90e0bb047f4d0c5b9ffd82a1062fa authored almost 11 years ago
Merge branch 'tools-analyzer'

github.com/typedclojure/typedclojure - c1f172059f9b7bd901ef4948f17d7552a962d028 authored almost 11 years ago
[maven-release-plugin] prepare for next development iteration

github.com/typedclojure/typedclojure - acca5ee57b079f247ed5cab2e88f44c5bbdedc3b authored almost 11 years ago
[maven-release-plugin] prepare release core.typed-0.2.42

github.com/typedclojure/typedclojure - 67f7755814d68f9d160758e30d61c260e6ec3c70 authored almost 11 years ago
bump project.clj version

github.com/typedclojure/typedclojure - 98bd863a82d5308269273dd3fc84679903508b28 authored almost 11 years ago
Merge branch 'tools-analyzer'

github.com/typedclojure/typedclojure - 7b015fddaa23ab7762d0ff1bd851f47550de4ab6 authored almost 11 years ago
Merge branch 'master' of /home/ambrose/Projects/core.typed-branches/../core.typed into tools-analyzer

github.com/typedclojure/typedclojure - 199f51a46c9fecc85efa022e379855248e661059 authored almost 11 years ago
bind *file* in analyze pass

github.com/typedclojure/typedclojure - 45ccd2f2d87fa96e9f8bb5f424a291a070eb1061 authored almost 11 years ago
bump readme version

github.com/typedclojure/typedclojure - cdc0c2d081ca25812b1f23d23f5768cfeb29261a authored almost 11 years ago
move to t.a.j beta10

github.com/typedclojure/typedclojure - 2ebabc117b857a38a93ff378d0d597542b849a49 authored almost 11 years ago