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

Remove reflection

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

Bugfix: Rename for std. compliance

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

a69b8bd4ff1e4681425c1f37913f35d58c705502 authored about 11 years ago by Reid McKenzie <[email protected]>

Implement tests for defn>

Currently only testing the argument parsing for defn>

Signed-off-by: Ambrose Bonnaire-Sergeant ...

6066551df220f0a277dbc7214f532c91f9510f85 authored about 11 years ago by Reid McKenzie <[email protected]>

Bugfix: body forms were not spliced in within defn>

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

58fd1960b34b5918996ba19a123f1a99229b68a6 authored about 11 years ago by Reid McKenzie <[email protected]>

Improvement: Add two examples of defn> showing different syntax

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

9654f4c0827cd3f560d6bc282e719fb65c7252a6 authored about 11 years ago by Reid McKenzie <[email protected]>

Include testing of defn> as part of the core test sequence

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

92bb8f3571110ec3ae6a8568ef9cc13c1c86db3d authored about 11 years ago by Reid McKenzie <[email protected]>

Implement a defn> macro

Provide a defn> macro with the same syntax as fn>

Signed-off-by: Ambrose Bonnaire-Sergeant <abo...

3b7bae7f694b01eac6c3a1635a369273d11f78d1 authored about 11 years ago by Reid McKenzie <[email protected]>

Add debug utility functions

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

Propagate more expected type information to :map literals

Added some pre/post conditions to weed out bugs related to
bad arguments to subtype.

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

Better errors for case forms with expected types

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

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

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

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

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

typo

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

changelog

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

doc

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

Correctly instantiate protocol in test

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

Fix example of ann-protocol. More details.

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

Fix CTYP-91

Correctly instantiate polymorphic Protocol instances.

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

Separate scoped tvar and tvar bounds environments.

tvar-env holds an environment mapping scoped symbols to
free variables.

tvar-bnds holds an envi...

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

Add missing promote/demote case for KwArgsSeq

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

Fix typo in Number usage

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

Properly handle free variable name scoping

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

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

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

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

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

Assoc is recognised by keyword-invoke

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

changelog

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

changelog

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

changelog

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

changelog

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

changelog

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

readme

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

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

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

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

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

changelog

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

Comment out problematic test

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

Assoc on the type level.

eg. (Assoc '{} ':a Number) <: '{:a Number}

Also works with type variables.

(fn [a] (assoc a ...

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

CTYP-89: Add rest arguments to heterogeneous vectors. Dotted vector WIP

New HVec constructor: (HVec [Number Long])

Syntax for rest args: '[Number Long *]

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

Refactor for clarity. free-ops is unchecked, explicit because of typed deps

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

alter-var-root annotation

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

Add Keyword and Symbol aliases

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

Use core.cache for caching.

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

Fix CTYP-85.

Using abstract-type in abstract-result means we could try
and abstract the same filter/object tw...

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

add ref> and Ref1

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

typed clojure image

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

changelog for snapshot

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

unparse filters when printing

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

remove file

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

trans case

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

Fix CTYP-77

Nonliteral keyword as function

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

Better types for AReference

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

Better error for TApp arity mismatch

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

Var has 2 parameters

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

Fix CTYP-73

Support reduced

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

Fix CTYP-74

Better error with malformed TApp

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

Fix CTYP-78

Expected type for finally

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

Fix CTYP-82

async annotations

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

bump lein-typed

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

Add value subtyping cases for CLJS

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

Fix CTYP-79

Resolve types properly in assoc

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

Fix CTYP-84

HList ancestors

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

This doesn't seem to ever get used, commenting out

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

Add Symbol, Keyword to CLJS env

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

Improve Java interop docs

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

Fix map type

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

Add campaign

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

irc logs

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

Remove comment

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

Fix derive type

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

Annotate more of core

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

More accurate type for ns-resolve

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

clean up error message

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

CTYP-67 compare inlining

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

Clarify var>

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

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

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

update readme

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

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

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

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

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

Don't deref the var with var>

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

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

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

Changelog

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

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

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

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

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

Re-renable type checking of the checker. Add var>

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

More line numbers in errors.

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

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

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

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

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

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

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

Update version

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

Be flexible enough to allow mutually recursive protocols/records.

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

Changelog

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

Fix CTYP-56, 3 argument isa?

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

Readme

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

Changelog

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

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

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

Changelog

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

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

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

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

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

Fix -true-filter references

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

Changelog

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

Better validation for function parsing

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