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

Add unit tests for update and filter-ops

632faba56641efcc11717a72ce9c21c8c5d8d289 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Really add def-filter

c8846fcaf00a57f67e5d53c6d653db3d29ac0154 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Merge branch 'master' of /home/ubuntu/Projects/core.typed-branches/../core.typed into update

41edfee8c70a6c032337145862ef02be91d24588 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add def-filter

e37c420839264e035a099f98abd282c594fdd8a8 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add profiling for defn

30daf4b46c8613c6e1837d5b6e6d604cc879fd0f authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Fix CTYP-153, dodgy &form arg name renamed to form

3b7a1a1d0405d89ad17fccfa6b86feea0ba3c094 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Fix shuffle annotation

59ba9e878c26aad2fbbce6a2b70ea194ce30ad65 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Move RClass annotations.

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

fad36f33757f2731ce71fc470a5edbcc082afbd6 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Support HVec inference in CLJS

9ec0fc19d9ec77446b90b4d0b6ff4de7f3a2543d authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Move the rest of cs-gen* into cs-gen

aab2a9cc4f4c5d00b1da6ba7aacb05b445d0dbb3 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Some fixes for problems found by Eastwood

Mostly doc strings in wrong place relative to arg vectors, and wrong
numbers of args to function...

bfa5b29115a69681bcb5ee657a677911ade9c41a authored over 10 years ago by Andy Fingerhut <[email protected]>
Move Function/FnIntersection csgen cases

193c9b027bd08e796855cbc962630511bd345130 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Move TApp csgen case

958f2e9d2c6cc4a263f3121c0ab1881e4b9f6bc2 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add infer indirect-op

378987ba4f5c6f95e5da62e44a94ad01b68a3a3a authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add indirect ops for -FS, -top and -empty

39e2032f9b895b257a5f0c20891fb3d9f81f4b0c authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Move assoc-like ops. Add platform-independent var indirection.

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

b5037266472b2bd8918c4b24d5f5306c373c78cf authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Comment out randomly failing tests. See CTYP-150

fe91e01855ec387ed5d1e30f4fe079d70782ffa7 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Make HSequential overlap case more accurate.

Handles complex cases like (overlap '[Num Int] '[Int Num]) => false

623bfe0918036ea8aa1f5496e268d8b1dfdf0db5 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Scope types in overlap tests

68a1d21a816815f5ecd92fee1922aae58998ebec authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Rename test.type-ctors-test to test.overlap

a7a02bb0098afddb51fb2bb8d71cd4e2ab55411b authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Index needs to be a nat to enter special nth case.

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

6a4c9c5d6ffaad8a742f196db2ca69b84a86d96f authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Remove update-composite

5557575d850f384cb999f3dd14b0121e826af11a authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
`nth` now uses a path expression

This allows code like `(= :foo (nth x 5))` to refine the type of `x`.

Signed-off-by: Ambrose Bo...

b0e4818bc53ec59267dfb2f1e11d8ed1be09286b authored over 10 years ago by Jake Goulding <[email protected]>
`second` now uses a path expression

This allows code like `(= :foo (second x))` to refine the type of `x`.

Signed-off-by: Ambrose B...

a53696553438bddeaee99579a67a1581803d9e51 authored over 10 years ago by Jake Goulding <[email protected]>
Rename FirstPE to NthPE

Since it no longer can be assumed to operate on the first item, we
also add an index identifying...

5167276fea9afc25fc80cde74eed5de83b478a6c authored over 10 years ago by Jake Goulding <[email protected]>
Correct `update`s calls to `restrict`; the existing type should be first, the restricting type second

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

1341bce05b29be73931be75de1af1d59c381d917 authored over 10 years ago by Jake Goulding <[email protected]>
Get nth's index once at the top

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

52562856d3de219666ab6ee3acca1c86762a2830 authored over 10 years ago by Jake Goulding <[email protected]>
Helpers for converting expressions to objects/types

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

35f123f7012683967b4b23441f4704e93cc68662 authored over 10 years ago by Jake Goulding <[email protected]>
Make nth helper function's variable names more verbose

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

99cc65bbc63dae400003553d8b2f7f4e3df39b0e authored over 10 years ago by Jake Goulding <[email protected]>
Extract nth helper functions for filters

The comments became redundant between the implementation and function
names.

Signed-off-by: Amb...

81e2b250221b21c32809133288d6c7854bba733d authored over 10 years ago by Jake Goulding <[email protected]>
Move unit tests for `overlap` to their own file

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

af7a8954e95986eca5c09a2f339dd3a55330f362 authored over 10 years ago by Jake Goulding <[email protected]>
`first` now uses a path expression

This allows code like `(= :foo (first x))` to refine the type of `x`.

Signed-off-by: Ambrose Bo...

ae61c54ed330d8acde3e4fd64d5a3bd7860d1f8b authored over 10 years ago by Jake Goulding <[email protected]>
Extract nth helper functions for return type and filters

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

8fe532715622e21dfa059f2bb6a3d1c3c23dab6d authored over 10 years ago by Jake Goulding <[email protected]>
Add :checked-ast option to check-ns-form

7c3a1c9c32adddc1c9e67bd09afa209835d69420 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Move to tools.analyzer.jvm 0.2.20

8c567c9a83a01f94e40cea6c1eb81e2644f56ee1 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Wrap macroexpand in tools.analyzer's env

5723f79fbe2afa3b9600a7b77be56e70c9c86c7f authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add test for CLJS namespace deps. Update old some old syntax.

3621a7b191ff6dda19267ba7cbd5f61bd3978cca authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Revert this file.

857b643dfb082047009e5e4099f108c37d38f7d7 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Clarify referring `def` is only impossible in Clojure

4c2e0d41c033e148e2a8e0e83474a3ff4b9eba15 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Implement env-for-error without impl-case (used by core.typed.rt)

45bac04e6f04f0ffd78e2db173fb8785c4d57a6f authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add def/loop macros to cljs

b65d11546828f2e992e78ffdc5e764d44c323a99 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Fix CLJS includes in core.typed.rt jar

c38b159a60eec013558568410ebc7fa153198a10 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Fix CLJS includes in core.typed.rt jar

62b31ba42307876ac0902e1ed4f9f5a94318fdd4 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Big fixes for CLJS checking/collecting/resolution/ns-deps. Seems to work.

a37ca6bfc891ea06c4a8d6013e500209f90c6daf authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Don't do pretty printing of cljs types yet.

950f60e0817cce3433438ee430b3f4c1b15e60e6 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Don't print :ns in CLJS errors, it's a map of info.

9db8b7c03640fe54fe3e31004707bfadc52f26f7 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add tc-e/tc-err for CLJS.

6a33a69f7cbcaebfac8117087765ef544140ae1f authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add :result return key to check-form-info.

Bump tools.analyzer.

1032422f68408280f7d137931552cb044826128c authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Make sure the config-map is always fresh by making a function.

f5fe87544dff25ef02893f4b9f46b141c39dd65d authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Fix bug in last commit

61407444627bdf3d37fb2b37681cfe5bc4c02f52 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Don't let cljs.core.typed depend on clojure.core.typed

9d7c42eb8d9d614cbd9313fd7eb6dde7532ff42c authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add check-form-common

f764d5063c458c18ae87ea9349f665e501fb12ed authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add :skip-wiki to internal namespaces.

3563487530dc5070a33d0c7e8e3593a36661c2fd authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add Andy to contributors

8c7b3267ee8e4af859b14eaa8cd35a01b58e47b9 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Remove redundant dependency

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

e940a3506df463f253bde39877ca3af517d0ca7e authored over 10 years ago by Andy Fingerhut <[email protected]>
Change tc-e/tc-err to take an implicit second parameter as an expected type.

TODO: return type checking

aad5ffbd1545c285c3835fea9618f8a314b8ba4c authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Fix file-mapping

2a734d4c7bfc45bcecf4be740a9570e6faa907f2 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
`nthnext` of nil always returns nil

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

1540beb70086d4a5d42c462398e937d62b67bf93 authored over 10 years ago by Jake Goulding <[email protected]>
`nthnext` now properly refines a union of HSequentials

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

555f40e9066f319cff8faaaacdd2221c7396bf92 authored over 10 years ago by Jake Goulding <[email protected]>
Enhance `nthnext` to understand HSequential inputs

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

54fe7d8e39230f12d20de65c5ca38ca70d154676 authored over 10 years ago by Jake Goulding <[email protected]>
Comment out test for Hudson build

f131a73ee39b7a1aa5f12bbe82734d822191bcc0 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Try again with Hudson workaround

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

cc16d3318a66f8ef6b27e537bd32d101ca0397ab authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Try this instead for Hudson

9745919f864ef9f386395e1655cbfd3056c762ba authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
There are memory errors when running tests in Hudson. Give up for now.

194b56b5cadaa74ad33dc70426d9a5047b262f5a authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
`last` never returns nil for non-empty sequences

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

472c7a1e1648f0aed3ee21d3a354e7cc162e3d64 authored over 10 years ago by Jake Goulding <[email protected]>
Thank my contributors

d350eb14a37857a56ae9ae0c19f0f592654c7e0a authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add shepmaster to contributor list

f4778909e6e25fdfd540345f7e26e9c8705d795d authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add AVec and use it instead of APersistentVector

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

d523551cd179d63060e9b63475259c18a731c340 authored over 10 years ago by Jake Goulding <[email protected]>
Enhance `mapv` for non-empty sequences

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

9ce9d50501e336c7f1aaa4dee4c3fd602a342222 authored over 10 years ago by Jake Goulding <[email protected]>
Remove redundant gen-protocol implementation

d3da626c7d436374d7098a82d6646177369b8800 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Move gen-protocol

53d444335dfc055dd7f8ae73c2dd3336bd511df5 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Move gen-datatype

fa1530d14a745b0d7d1b7d7bd27b30a3aba7f65b authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Move typed-deps collect

e57ed0f27fef1ccdf65f8778333ed938bb2cbb32 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Use def-method-generator in CLJS collect

9d3cf766bb937ece1f36aa1b12e90036e5a889a0 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Remove debug prints

482d9cc8d7f95e9ee2cac0d715f0eabb30718c2a authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
CLJS's check-ns uses check-ns-common. Add CLJS check-ns-info.

74d39a918e9ec11dd638d37057f824483e8d8578 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Move CLJS special check-ns functions

3fce8f469a27859da19c42708064277a31af705e authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Refactor check-ns body into common implementation

0d3e167bd043cfce60b65dc57bdd61e7867bea01 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Include CLJS rt files in core.typed.rt

6aed5e11d40e3c1507032096b50d8f4297bc91fb authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Include CLJS rt files in core.typed.rt

126bd881a9117da2371f31dca59f2a97ea4e77ba authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Move CLJS's check-form

d38f096f27764d90f54acb98a3bc5a9fbe6bdb9b authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Move CLJS's check-ns

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

60db884f2ac4651b171452b81681a58c14cfd53d authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Use fn, tc-ignore, ann-form macros in CLJS

afef56ec6bb0fb6608c2e5770260d51353e1da2d authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Move collect utils out of collect_phase.clj. Make special forms portable

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

74c6ac215725939b9576f2f72ca4bcf9eed0fdb0 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Consolidate CLJ/CLJS checking flag to vs/*checking*

99072604dd90a0f565846ff9d1a6680647fb48e2 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Move special loop and tc-ignore

4c8678013aeb2a115727591988e6425267d14f3c authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Move special fn op

cb284eb11f56c85cd231b6057005d67e5f92e9c5 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Move ann-form checking

6a4e9ff21e0da1e470f4300f759d9c28f0248cad authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Move more macros out of c.c.t

ede7a62565534ff7e6728566e2a914a007e95b97 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Move ann-form. Don't emit type annotations if checker isn't running.

bd95b721fced876414350de1b45559dfc8549607 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Move let macro to separate file

4d2199ea37f5915f822252e770c07771f2d33871 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Move loop macro into separate file

fe1e0639c650224dac31c5186ebd6ca392feed1d authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Move fn macro to separate file

91d716a8cb4df95d0a5f3ddd464ae223c47a790a authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Move def macro to new file

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