github.com/typedclojure/typedclojure commits | Ecosyste.ms: OpenCollective

Fully resolve operators of TApp and App

db13b5fb950aea3fb30fc01b35e117f8f446fe19 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

changelog

37946674fb5d57189e461d749ff294ffd9fbf733 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

changelog

50c47a67b27b730ac9353c73ff325e8f7ed7282c authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Replace assert with int-error

7f3968f644a92ba61c208bcf45db75dad1e3be6f authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

More flexible with datatype ancestors

681435bb3585ef8f57055942af6491799d4d9783 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Move F subtyping cases near the top

8182a0def89bcc2ddc36b72d7d5883e38c9a66ba authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Better error for TypeFn variance check

20dda9fbcd24c89cebea265a6e4a6ac7233d6d29 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

We can find corresponding bounds for any type

01a321cfd7691f69423d72002b2c6693f458fea9 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Use metadata to store original type variable names

04a3c1942c1c2adb238b67b11fee7a7e9304eb3e authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Check deftype methods by reusing the infrastructure for checking fn

3ecfc74820ac62714f0781e9756f9bc5b0618e33 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Move find-bounds to type-ctors namespace

ab0926b73983abf07b791aa81c227d98bf3229cb authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

better error

fe38ad5ccaeb884e361e54b08dbae09921fb15de authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Better formatting for misuse of inst

05da4c6c09160813da19708455754c429e4c6c6f authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Fix IMapEntry ancestor typo

8a6a28ea29ff50cf61e3cbc02513d488778a5b2e authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Docs for inst and inst-ctor

2df4358229a5c69120a5d3b47664dbe4ed3d4a95 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Reset multimethod dispatch env with check-ns

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

Correctly print the result of cf

0bdb39eaf6a0b452b798f88b27f8217386a11aed authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Handle keyword arguments to check-ns correctly

742a4fce85e074a44fc5efdcb0a231c22ff772c7 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Instantiate any abstract objects in a result type before checking fn body

6e56d88feccdac8140cc7c9e94f6cb5d04baf04d authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

[maven-release-plugin] prepare for next development iteration

4f009f8f0ae1bf52581b7cc104f6aa5260fde34c authored about 11 years ago by Hudson @ build.clojure.org <[email protected]>

[maven-release-plugin] prepare release core.typed-0.2.20

4d937f2ccba7d1a64fffc36a87fa7404df3bada3 authored about 11 years ago by Hudson @ build.clojure.org <[email protected]>

changelog

f5999c5aa6ccec7126855fb37c099c4a3210f7a4 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

changelog

6ac89297cd0e521742242fa387fcd34765b26c0a authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Faster internal type checking

73f9624a624291dded4cfea8c018dad61656c6ea authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Better error on unresolved protocol type

2cf9b1b87e86fb82ef57a636d61e8a5b174ef6c1 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

check-ns supports a collection of namespaces

6d2684f05822e0582877e15dc2218d85d61b9dd6 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Change for> return type to Seq

faa2c9443f7da98b74634bb6837768e3f255d138 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

int-error annotation

2730f60b6b7a96f2e8f9da9e0adbcf782fc1164a authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

tests

8a87a1eea940a85324ae922fe0497902623fd56e authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Abstract about parsing a TFn binder

fb6b31a8c37de42ec441ac66df0409b2c2afe3d3 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Scope type variable bounds in fold

2b97fd40b60e42eab1dbd73a80311700ea72404a authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Don't simplify intersections in fold in case of undefined types

642159f5822478083202446c65013258e089e294 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Fully support all binder options with protocols

b1c65b08f39c5e319b982da581a511704dbe0c1e authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Better line numbers in CLJS

7179c4503af824306a319ccfc1a96c2e63ef4533 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Propagate type variable names

49a733255b59a4c4472457becf780cfb6a70ee4b authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

precondition

a6e9de769731323d6e3de61d1cfa014be4d55b73 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Simplify intersections lazily in subtyping and cs-gen

d19b70e4c788e8cbbe345b133aad9873beff40f0 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

More flexible contracts for TApp operator

7c90f863535b975e8f145706d26fd00adab49a99 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Just ignore frees without bounds in subtyping

77255dd6ddea0dbd6cceb5feec66ae5573240816 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Better internal validation in macro

fab90012131b7379d3d98e2d1041d0f171524c73 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Print the original name of free where possible in errors.

032bc3d897d9d5510d9af52b450d11c98ce7efe3 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Improve some types from Seqable to Seq return types

e6859354128550c3a97b8b03c7e408c3bca01e6f authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Datatype ancestors for CLJS aren't supported yet.

6fb43ed08d6792aaa4d5d4af4a816aa2f234ee4e authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Add conj notes

495a5e0e84407e94d77334ffcbcf9e5593af3682 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Fix CTYP-86 - Fix interleave annotation

b8c53c3c82f5b1a14222820185240d72db4e3cb7 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Line numbers in errors

8c8ad8a649be9c17675d653bb37c91f8604f8f1f authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Correctly scope tvar bounds in PolyDots parser

7fa6a732d77d3569b93a79d5c4cd32d2a1820993 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Use int-error instead of assert for better errors

395ea7d64aa6fe2a721844cbd29b209ed99f1aae authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Remove dead code

81f350e007e9f2feb664273bb45c55197a7f6299 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Type errors with type variables now print x :> Lower :< Upper

Old behaviour was Lower :< x :< Upper, but is unclear when Lower
is a type variable.

1594ef79888471482cf8a8db2b63ce166b7b798a authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Use not-any? over (not (some ..))

1018f673c5fdd9449557d39fba69f5792368f74d authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Remember the current namespase when parsing binders

98f2dcf616862f07e0ccabe6aeb6d0d5994116e2 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Guessing upper/lower bounds handles a few more cases

2d6cd07ddd7febc3a2017eb6553d43400f934a30 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

TypeFn variances are only checked at instantiation time.

Eagerly checking TypeFn variances are consistent at *parse*
time is problematic. Often types (ie...

f9c107615d94bcbeacf993e8a2f94ff49896735e authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Remove reflection

a503cea1921c841bf9a9e4410627057723b2f1da authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Complain loudly if type variable bounds are not in scope

234f2d2aea3cab4d414602c34a1434ecb25c6f30 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Scope type variable bounds when parsing All forms

40d514e31babd4e99b5e7c8e6770060a905a903d authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Typo

9efe4945edcb5c0a415b8c6d0f7c0056f97dd14b authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Correctly scope tvars and bounds with inst

dfa9bfc83ad3f5b866f8934a268a851c2be5e5a2 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Change LazySeq return values to Seq

ae715a4839c2ff379622d821dbe2ba0b1bf17116 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Add frees case for Protocol

5989508818e61c439336a4d1137ab744ff6435cc authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Fix Associative ancestor for APersistentMap and PersistentHashMap

09a79f5e53c8ede046d71e984a5c02a946e40744 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Fix CTYP-95 wrong annotation for reset!

56366cfd9382253d0e67439d7937b55f75e215c6 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

bump version

f82fdfefcfdef69109d750dd4fe4fd27a18c323d authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

fix bad args to subtype

27db92c6b990f26a4d3a5bad4af46dc9ef6d93d9 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Update version

0b889b6a7a3240bfeb162de502af77ccd8644b8d authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Notes on regression fixed in 0.2.19

1df6dea354541f69bf6a522fe84e02f06b959db6 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

[maven-release-plugin] prepare release core.typed-0.2.19

f7ac7457100688a0b73dfe68590d595e1cbd2b51 authored about 11 years ago by Hudson @ build.clojure.org <[email protected]>

[maven-release-plugin] prepare for next development iteration

88135b779eb62adb1a32030e94f74296f8d349c4 authored about 11 years ago by Hudson @ build.clojure.org <[email protected]>

remove post condition

ef008ea99b4f660290d10287730ead8f2d9d1224 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Fix CTYP-94 - correct return type for derive

da457a8f9aa74f5b4631db961e2550633cf77a68 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

[maven-release-plugin] prepare for next development iteration

7a406d3448931e1e14aa756a00b902318395ffef authored about 11 years ago by Hudson @ build.clojure.org <[email protected]>

[maven-release-plugin] prepare release core.typed-0.2.18

7dbbaca2e957d27f97751aecc1cd7b8b8007f70f authored about 11 years ago by Hudson @ build.clojure.org <[email protected]>

changelog

930ed36a349940e2a8e0e3e311e53a11af9d8ed6 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Update tests to use the smarter :absent-keys updating

081a636c182a172cce1d0780f10ead27ebda88e3 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

A little smarter with handling absent keys

779df41dd3b641aad19755053f9a2acf6807f319 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

add internal annotations

4d9eaf9b95a411e4b3ac5779db970d4c05a64f13 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

correct groupid in project.clj

18558bf0503f507588ae246a84f81d8941f1df35 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Better error reporting for HMap syntax

f4b7fc54861548b61741f8f0ea925b20529c2327 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Better occurrence typing updates for maps

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

Forgot to add str around args

a55989c17cf3a77017f0a0b006cc1e12593227c7 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Fix lower bound docstring

6c4c9b901f5ef0bef56580b0a69e10555b2cd579 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

correct dev version

bff25525f9a7eb5652647fa073b286c113b7ac1b authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Revert "latest release is 0.2.16, not 0.2.17"

Hudson commits were lost in a merge.

This reverts commit 7a905fa05a06a4caebd6a193683fd6fea0f46e70.

ad69cd50fe1af03af0e58ac829f62e4be940bbbc authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

latest release is 0.2.16, not 0.2.17

7a905fa05a06a4caebd6a193683fd6fea0f46e70 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Add fold case for KwArgsSeq

2d93506550d5ea544b6c3cf93818c9c287911cfb authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

changelog

01827afe1e288cce1cf577dfe67e58ab5c60e5c3 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

formatting

6c4539c496130694f117eaaf4df5cccd7fe8571c authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

bump latest current version

b6d14fb12df02c645cf3e0337b65e2e01c2bb0c6 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

formatting

cb7b84d1d79ea241e375fd6e1a2fc843bc240074 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

add Reid to contributors

c43e8ae16fd456fed3086a9ecaf9efaffd075a97 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Merge branch 'defnarrow'

11f29c818355da6c01367946e42325b2b2db76ec authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

project.clj version

f7a83c89c5aa1d78795f28063e1795d6fb1d801b authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Merge branch 'master' of github.com:clojure/core.typed

101c54c835665a84a0a65583babdc2f075193c0d authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

changelog

5690a35017c0a6aad9eba71a994fd1427af0a87e authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Rearrange tests for defn>

caeeb77f26bb26a2182a03c48c13a98e3a33fb8e authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Return correct Var type from def

3aa94b12b503364b215d0a9790564c9995790479 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Add def>

6556ad853d71044129f4a99370508d56765cd620 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

Don't wrap syntax in ann-form with cf et al.

4f261d0e6016c758c0775d99ab828a0420adaa17 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>

changelog

9fca49bb11c1398974b81f56dacfd59f980eb7f0 authored about 11 years ago by Ambrose Bonnaire-Sergeant <[email protected]>