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

fix CTYP-185 - base-env load ordering gives inconsistent errors

425e97e3fb211a7d5a628a895a54b116f5d0e2f1 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
clean up rbt test. Might need refinement types to represent ins1 type

53e0267db94a41c8d72231ff5a47f34dee069519 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
clean up rbt test. Might need refinement types to represent ins1 type

f038c1fe7e7aab90c0a4c4c1ac1b5bdf7f5d0453 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
rbt restore-right now type checks!

- use or-simplification in implied-atomic? and combine-props
- if we find a disjunction of same-...

fdf88e29e0933017227e088ff6b407b0f4196858 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
rbt restore-right now type checks!

- use or-simplification in implied-atomic? and combine-props
- if we find a disjunction of same-...

99170a5037b09093d1166ee37aff25dd4d61d7ff authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
bump readme version

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

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

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

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

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

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

a7dee0f42b3f7e27797c010096f152ae44bf7d79 authored about 10 years ago by Hudson @ build.clojure.org <[email protected]>
improve flatten type

1919c0e71a3116c5ffbc4b53bf1e33b817e88827 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
improve flatten type

6ce9d3a026981c4a25a4cc8059c4eb0706848277 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
add another aliasing test

b8c4f6c2423adf92546e614ae00921885232fc74 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
add another aliasing test

596b78eacf1872f196e24b26be802a1daee8f7f0 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
aliasing tests

55d1b9039025b46910498d11ee9cdaef76ea6555 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
aliasing tests

9c7230d16db65554dfd0fd8f8ff9f5a779a7f459 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
bump readme version

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

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

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

14d02a1bc7e40b6292ad076166fafe1ca6b606df authored about 10 years ago by Hudson @ build.clojure.org <[email protected]>
[maven-release-plugin] prepare release core.typed-pom-0.2.75

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

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

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

50c7e4c96fbb85dbfa5131ff2cca135aa65916a7 authored about 10 years ago by Hudson @ build.clojure.org <[email protected]>
[maven-release-plugin] prepare release core.typed-pom-0.2.75

07a01caaa1b046f5211571f8192843e84c4d4df4 authored about 10 years ago by Hudson @ build.clojure.org <[email protected]>
changelog

fac5bcd241d4df60e11c51a23a1361c34ef7ae5e authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
enable aliasing support

9608027bfaf4be268cfa12486c5ae6615d8517f1 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
enable aliasing support

56a9e849eed99a452460e5acdd31ab56c9c1096b authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
obviously true local bindings are give a true filter set

prepare for aliasing

797e4f31cb5fd135e27e910431cc095db5be059f authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
obviously true local bindings are give a true filter set

prepare for aliasing

a1bd9c9ca4a2385704c030278f414c9b40356c17 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
obviously true local bindings are give a true filter set

prepare for aliasing

376d84cf32d869fdff344b8229fd9749bc5eeb9e authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
fix path-type tests

5a86d143893ba393572654da7dc2ea6d42d1ca17 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
fix path-type tests

e89892cdb52485d89269250fe450c8456f4b65a6 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
add path-type with tests

37d407be32f00be4a98babaa43c2ebf0a92647e9 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
add path-type with tests

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

88c616cf144a2d370ed9af32b9e434e8b0dc6617 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
add update*, like update but takes better arguments

This is like update in Typed Racket now.

6fc6dcf3d8b1d36d5d5ab8ba67daa6465f29def9 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
add update*, like update but takes better arguments

This is like update in Typed Racket now.

1520f142539df719a16afea88130f1e3ca57a734 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Fix CTYP-169

be515584b5937782a0ce0124a1aae28b48f86672 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Fix CTYP-169

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

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

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

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

6722c6eb1641ecab68448a144e4c74f38081bfdc authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
bump README version

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

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

1764dc4a47e484d79611967cda0e9940a56634da authored about 10 years ago by Hudson @ build.clojure.org <[email protected]>
[maven-release-plugin] prepare release core.typed-pom-0.2.74

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

7c9cbaf7279eb26e69ecd66f09336d4e7dc2a487 authored about 10 years ago by Hudson @ build.clojure.org <[email protected]>
[maven-release-plugin] prepare release core.typed-pom-0.2.74

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

546f1b66c8a243e44859a9ef870615ac3a1e8c22 authored about 10 years ago by Hudson @ build.clojure.org <[email protected]>
correct check-below checking on :monitor-{enter,exit}

81a3bc793db822eaeee5d59f1498fbaa24639cdd authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
correct check-below checking on :monitor-{enter,exit}

a35e9af834506f861be652da2f51cb7c1d33510e authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
[maven-release-plugin] prepare release core.typed-pom-0.2.73

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

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

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

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

2378431f2e4fc8b9263edef9d53e73f10e642c0a authored about 10 years ago by Hudson @ build.clojure.org <[email protected]>
[maven-release-plugin] prepare release core.typed-pom-0.2.73

793774a4a7fc41c0fbdc6eaa36cd8d83a7dedabb authored about 10 years ago by Hudson @ build.clojure.org <[email protected]>
remove pfn. implement :forall syntax for defn/fn

7f5a9828cb2fc4dc438e056e0ca61c67c2065e64 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
remove pfn. implement :forall syntax for defn/fn

c993687258c597b40a027b05beea7ebe008c122c authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
remove pfn. implement :forall syntax for defn/fn

92f59fda3bd6cf404c7f16185a2e656c4ccbef24 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
propagate if expected type

f443634d4afe91e6038e539c2ab7e20a7b02d16f authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
propagate if expected type

006e0997b1e54f20b4098ee70c69bbcbb933bff1 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Merge branch 'master' into anon-fn

Conflicts:
module-check/src/test/clojure/clojure/core/typed/test/core.clj

b63d1fd29e65fc64cbd44267fe3c942927482f85 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Merge branch 'master' into anon-fn

Conflicts:
module-check/src/test/clojure/clojure/core/typed/test/core.clj

301a3561083039dbb73112bd740a59f3f3cb75b2 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
an ann-form should fill in trivial expected filters etc. if no expected

0a8b143ad56ac9395b5a1d1ddbf2b8f7e36b4e3e authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
an ann-form should fill in trivial expected filters etc. if no expected

6f1d3c83316b7459e183234e42786ffdec9ec010 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
fix test

cd00a195d120f044b6281d20c9fca701f6df2f6f authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
fix test

948e7c076c179011fa7ce616c5b3899ab45dee16 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
case for NoFilter in subst-filter

e883b3a47059f0a6f47fd8910c343d3215fea9fb authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
case for NoFilter in subst-filter

8d0cf46f8ab019834e8fb3c554a9c0ce0057c429 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
fix doseq macroexpansion

d766ea0a1842cc4cdfaa9222190e660372cb6c19 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
fix doseq macroexpansion

2a2166789095fb7e8db274ca59f70ff8126610f6 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
fix doseq macroexpansion

ed431d7357f15a4e0a0ea90bfe6f34052cde980a authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
fix doseq macroexpansion

34b2d56a015a438e5aea4a8e11df997f4d643544 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
fix doseq macroexpansion

e5f8e9d2c906f3a3e4aa0dc65f676830bb2b64fa authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
more check-below cases

56dbff94a6a6ce01f46ba91422305fba91d14348 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
more check-below cases

c36a90c658df9737cd13390cfb1af7b8c754917b authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
more check-below cases

a0901385b6b95f87d0d676f807f9b664d9fcc36f authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
check below for var and set!

53025a03f1ded17bb2dd780057c2a00b483ecd51 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
check below for var and set!

8e196d58ba20e96c7334ebdc42053edc3279c9d0 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
don't check filters twice in check-fn-method1

bdba8bf6d350ee9593aa17f6ec00d1d712c047c8 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
don't check filters twice in check-fn-method1

83d9f588b43b99269eed9899b8c5061facdee5d3 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
don't simplify filter sets based on -bot

e87fcbe7d96f061db9b7c6fc38e031534b68e281 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
don't simplify filter sets based on -bot

551d3557eff7431456df31fbbd7634a74e21295b authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
standardise :path in TypeFilter

489a2842910052ebc6bcc3e2545a769a4e9773ae authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
standardise :path in TypeFilter

6dfb5280dabbc5228a7e5034b974bc8e43bc2c52 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
more tests

c2b80d459f60104c51c7a830767eedb252ef5e38 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
more tests

e702396f565db591edd401cbd8592ed115dc5e5d authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
use check-below in more places

97e21b3f2285c1a2b4934c6205e3ee6afd794bd4 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
use check-below in more places

4873e60f9f4c9cb4bd3361da43886eacd08d9819 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
pfn actually returns a poly type

1b799bc78b3944ed193200c47e1fd087752dbe6a authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
pfn actually returns a poly type

254665cbbb83c69a8ad8c87010aa7c2cbed79945 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
add travis.yml

e729ef469fedc9ed4903c1c47acecfdbb4497771 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
3 tests fail

e1be930db29eb51566e2a41cdb906856a8604961 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
3 tests fail

f329ff722e9f6b39662df74de72963c6f4e53da5 authored about 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
3 tests fail

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