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 deprecations to changelog
3f7d22c6c40511c8e70e61cb6bb2964b275d3d0b authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
3f7d22c6c40511c8e70e61cb6bb2964b275d3d0b authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
[maven-release-plugin] prepare for next development iteration
113c2ef53beb792619cdda1dc893350ac30f5256 authored over 10 years ago by Hudson @ build.clojure.org <[email protected]>
113c2ef53beb792619cdda1dc893350ac30f5256 authored over 10 years ago by Hudson @ build.clojure.org <[email protected]>
[maven-release-plugin] prepare release core.typed-0.2.46
9541d62366b2205dd0ea1429f406532bce7b84f9 authored over 10 years ago by Hudson @ build.clojure.org <[email protected]>
9541d62366b2205dd0ea1429f406532bce7b84f9 authored over 10 years ago by Hudson @ build.clojure.org <[email protected]>
changelog
b38ac764bb338ce5287cfbd614fd019afdc37629 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
b38ac764bb338ce5287cfbd614fd019afdc37629 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Scratch files for file mapping
165cdffd819a85a53d9d02500226e12dd39caf4f authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
165cdffd819a85a53d9d02500226e12dd39caf4f authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add support for namespaced special types.
ClojureScript NYI
3ab971ff86acb943f407910d7f3df3cbe8e948c0 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Specify implementation in unit tests
845c2b103372524cc7c424c06efd9554ecc18799 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
845c2b103372524cc7c424c06efd9554ecc18799 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add Str alias
d739d9620e2792d56242ee2c366cd202d3801642 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
d739d9620e2792d56242ee2c366cd202d3801642 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add :file-mapping option to check-{form,ns}-info
e195bd50a10b93bb8e8b05fb7d0bde6af7365bfa authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
e195bd50a10b93bb8e8b05fb7d0bde6af7365bfa authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Attach local type information to function expressions
5529d588740f946965a500d10459b66177765b46 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
5529d588740f946965a500d10459b66177765b46 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Merge branch 'editor-info'
a52249fa6924d315061f9d009a33016627e83a2c authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
a52249fa6924d315061f9d009a33016627e83a2c authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Prepare for clojure.core/update
d1e1186e39bc361d867e37c85be2118ccd6098d7 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
d1e1186e39bc361d867e37c85be2118ccd6098d7 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Prepare for local type mapping. Need to handle function intersections.
8eb367272f2e798f703173559f3864cd3bd66ea5 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
8eb367272f2e798f703173559f3864cd3bd66ea5 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add protocol var to var env, with type Any.
77efb66949157d10368cf150286376c8adce57a8 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
77efb66949157d10368cf150286376c8adce57a8 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add vars corresponding to special types.
8eda7d8877fa1ff9dcb6ab195fce33e391f75514 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
8eda7d8877fa1ff9dcb6ab195fce33e391f75514 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Deprecate Seq* and Vector* syntax.
71e15b35d989280c81164ed377fd2336343762a7 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
71e15b35d989280c81164ed377fd2336343762a7 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Better syntax error for Pred
d04b4187fd4cf9cce7f17266ea2ceb40f42c6107 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
d04b4187fd4cf9cce7f17266ea2ceb40f42c6107 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Better syntax error for Count constructors
4537f46f99f113e6cffadd6a1f9caac70a6b05d1 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
4537f46f99f113e6cffadd6a1f9caac70a6b05d1 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Better syntax errors for Rec
567f94e6a100a55ae02ebff64646742702cb64b5 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
567f94e6a100a55ae02ebff64646742702cb64b5 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Use deprecated-warn consistently
e0706f2e23fb14299f606ad6880d681caefba173 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
e0706f2e23fb14299f606ad6880d681caefba173 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Date 0.2.45 release
0d2e481ac07e96906ffde100080ac8ed942273be authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
0d2e481ac07e96906ffde100080ac8ed942273be authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Specify deprecation version.
303c0c81325a50d0271d37baf43aeed38ef23b8f authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
303c0c81325a50d0271d37baf43aeed38ef23b8f authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Don't autodoc internals
6b4946918222cd599cbc1b21f1e3f0b70f256e7a authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
6b4946918222cd599cbc1b21f1e3f0b70f256e7a authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
bump README version
7a1b4ee88bc967615fc4d331034e50d44d73b3d2 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
7a1b4ee88bc967615fc4d331034e50d44d73b3d2 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
[maven-release-plugin] prepare for next development iteration
5b592840a3331df3ff60d6a9d038d2c554cc4368 authored over 10 years ago by Hudson @ build.clojure.org <[email protected]>
5b592840a3331df3ff60d6a9d038d2c554cc4368 authored over 10 years ago by Hudson @ build.clojure.org <[email protected]>
[maven-release-plugin] prepare release core.typed-0.2.45
4a935fa1ae931f4099d3cf9b7b32a7fc71efc839 authored over 10 years ago by Hudson @ build.clojure.org <[email protected]>
4a935fa1ae931f4099d3cf9b7b32a7fc71efc839 authored over 10 years ago by Hudson @ build.clojure.org <[email protected]>
Move to CLJS 0.0-2202
30a65147d87f3bef3ee6a93505516d509fb1ecaa authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
30a65147d87f3bef3ee6a93505516d509fb1ecaa authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Tests for `for`
6f6f9a1990a0be6d670e2c13416772769a5b7ea7 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
6f6f9a1990a0be6d670e2c13416772769a5b7ea7 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Remove stray `
4da9fa1d7a638ab427ff30a0baf021f08b755c87 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
4da9fa1d7a638ab427ff30a0baf021f08b755c87 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
changelog
bc98faae24276ecf8abe711658e8892dc0b495ad authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
bc98faae24276ecf8abe711658e8892dc0b495ad authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Number -> Num
ac6809088d162a420a75b4367cb946e3881a2bf9 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
ac6809088d162a420a75b4367cb946e3881a2bf9 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add Kw/Sym aliases
a7eb05ca7efae5045cd9deb4cf8514ec3ce619de authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
a7eb05ca7efae5045cd9deb4cf8514ec3ce619de authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Upgrade to tools.analyzer.jvm 0.1.0-beta13
8fdf533b487720a97c4c6b63ba695ba138705454 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
8fdf533b487720a97c4c6b63ba695ba138705454 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Avoid extra special pretty printing. Need a general solution.
d80380ea63cb477329e6541536e677cfa50da832 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
d80380ea63cb477329e6541536e677cfa50da832 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
pr-str type in error message
fea7f85f7bbf6f537e91b4ef78ffe9fbaeea6b09 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
fea7f85f7bbf6f537e91b4ef78ffe9fbaeea6b09 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Use annotated type for apply
0fd535ca388c60430b94ae8b4769781be73d6424 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
0fd535ca388c60430b94ae8b4769781be73d6424 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Make sure we always do an expected check for a top level check-form
7218840422d48467744018fa313e02d139471ac7 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
7218840422d48467744018fa313e02d139471ac7 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Preliminary macros for filter/remove. Pending CTYP-141
02a0335afc81d77fea3c95502c11e4db2cb5b3b7 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
02a0335afc81d77fea3c95502c11e4db2cb5b3b7 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Disable tests related to CTYP-140
d0237e3a4f7f11c416587f52ecc717a529d289c6 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
d0237e3a4f7f11c416587f52ecc717a529d289c6 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Clean up internal local annotations
b0b55d3ac4a9d657854cca4683eec9c827169f9e authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
b0b55d3ac4a9d657854cca4683eec9c827169f9e authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
More useful Union simplification.
From Typed Racket: https://github.com/plt/racket/commit/beefe73f7e7b6fbb547f327e206f447e4f6815b0
75c09dbfd830763d5081775b66486c5a9d98aa57 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add filter-identity, remove-{nil,false}
daffffe2e74453249d84fdb9768a6e3bce6c572e authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
daffffe2e74453249d84fdb9768a6e3bce6c572e authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Remove scratch code
91402288dbeee95f693ee74d509e4d98b3c49814 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
91402288dbeee95f693ee74d509e4d98b3c49814 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Note warn-on-unannotated-vars's interaction with automatic def inference
da1c0ca74f93af9c8371d6467a4e4fca476ae596 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
da1c0ca74f93af9c8371d6467a4e4fca476ae596 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Depreate def-alias, add defalias
edea2f7fdb3d24d633465960634e4e59fbc00f8c authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
edea2f7fdb3d24d633465960634e4e59fbc00f8c authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add `def` macro. Note that def is a special form
9d665f98267033fb3f1b4268de30f6eebf336de5 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
9d665f98267033fb3f1b4268de30f6eebf336de5 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
changelog
b7f39d555bec1fd780b5506dce88e68679776ec8 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
b7f39d555bec1fd780b5506dce88e68679776ec8 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Don't compile any tests since all tests load the entire checker.
3519ea27c40e2ab061d58a48136fb9f42538a77b authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
3519ea27c40e2ab061d58a48136fb9f42538a77b authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Better RClass-supers*
Collects recursive ancestors and does a bit of error checking.
be6acf42e4ddf67b8e7715a9409f588e0c3a1324 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Refactor out logic for dispatching on a :do expression for special ops
2300deb637158300c718e2707268ebc8719f41c6 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
2300deb637158300c718e2707268ebc8719f41c6 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Use file name over namespace name in runtime parse errors
d40fe2fe21c026e4a6ab9c6cfeb4f6cee21d2a33 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
d40fe2fe21c026e4a6ab9c6cfeb4f6cee21d2a33 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add precondition, prefer kw in function position
5ece241a92f8a6d7f015afba6deebd25df39ec58 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
5ece241a92f8a6d7f015afba6deebd25df39ec58 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Better errors for runtime parsing of types.
0b7303417b7c429578ba474a378f7d8b75c36a83 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
0b7303417b7c429578ba474a378f7d8b75c36a83 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Better line numbers with internal parse errors via u/ann-record
7e22ccf5ccfe6295c6785de56e1d89f1fa4df430 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
7e22ccf5ccfe6295c6785de56e1d89f1fa4df430 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
make-cset-entry no longer has a 3-arity version
c41d3d2685b1e9046df7a7a9e0f967c701959047 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
c41d3d2685b1e9046df7a7a9e0f967c701959047 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add beginnings of a Difference type. See difference.clj for failing tests
8966547345502e53792839bc287b5441c6aeb147 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
8966547345502e53792839bc287b5441c6aeb147 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Rearrange tests into smaller namespaces.
85e540f40d239ab8fa2a3260351efacb29db5dbe authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
85e540f40d239ab8fa2a3260351efacb29db5dbe authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Make some common Java interfaces RClasses, update clojure.lang ancestors
Added:
- Iterable
- RandomAccess
- java.util.List
- java.util.Collection
- java.util.Set
Better internal annotation for `statistics`
d7c6ae5fb4ce206148fd5ca7d712320fe3e3de2a authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
d7c6ae5fb4ce206148fd5ca7d712320fe3e3de2a authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Test for String as Indexed
07bfd320084ff28f06916d4e58bd9d968366334f authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
07bfd320084ff28f06916d4e58bd9d968366334f authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Can't destructure a Seqable with vector notation (needs to be Sequential)
1e29d64187e86b34d3678c5dac560f075dccc4af authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
1e29d64187e86b34d3678c5dac560f075dccc4af authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
CTYP-135: Fix static checking of pred
ebaedae46704e40aa9479c457e88ca4536eeb232 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
ebaedae46704e40aa9479c457e88ca4536eeb232 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Base-env scope (forgot to commit)
c8f32feea6f49d97bd9aadd310cbb4bb577b079b authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
c8f32feea6f49d97bd9aadd310cbb4bb577b079b authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Fix HSequential test
604aef00f7cb5d6b0eada1c13a6b2acb7936c44e authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
604aef00f7cb5d6b0eada1c13a6b2acb7936c44e authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
We don't need to skip the first form of a file; `ns` is friendly now.
b173ec50efd887b35edb4748007f6466e57da962 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
b173ec50efd887b35edb4748007f6466e57da962 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
This looks a little nicer with inline annotations
8a277aff39960f7dabb33ebf650e67c02c78243b authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
8a277aff39960f7dabb33ebf650e67c02c78243b authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Correctly handle constraint case with HMap on the left
f0c53c889c8ffc3f248c93ccc24e363f2c21af15 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
f0c53c889c8ffc3f248c93ccc24e363f2c21af15 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
`ref` returns a Ref
85fb2156c3072f16237b7c7b2ba97f1a43f7b458 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
85fb2156c3072f16237b7c7b2ba97f1a43f7b458 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add core vars annotations
- clojure.core/refer
- clojure.core/*loaded-libs* (private)
perform ns inference only when actually inspecting a ns form.
This might fix the issues with using tools.namespace's `scan`,
since it doesn't look inside jars.
Something flushed out this error, should instantiate args to polymorphic HOF
53bf5545360312860afe09f438db9dd38c2b4923 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
53bf5545360312860afe09f438db9dd38c2b4923 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Clean up internal annotations
e1103e4126392f2836e0290a8da2101e01c9489a authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
e1103e4126392f2836e0290a8da2101e01c9489a authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Comment: Pred seems like a better name for predicate?
07cbb754f7be64c7767d905d29b6b2441766aa71 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
07cbb754f7be64c7767d905d29b6b2441766aa71 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Old comment
ce11f2be561badae39e3b80483f6d74768e88d62 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
ce11f2be561badae39e3b80483f6d74768e88d62 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
ns-name not needed here
7261d2ad19321b5add02e5de6c9ac6b6afe26904 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
7261d2ad19321b5add02e5de6c9ac6b6afe26904 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Clean up check-form-info, and bind ns management vars as in check-ns
784e3f7968a2c6f30b18a20b5b75473bc42c3494 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
784e3f7968a2c6f30b18a20b5b75473bc42c3494 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Override macroexpansion for clojure.core/ns before checking
179df4667a26027df3b4380f93bafb84c32c063c authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
179df4667a26027df3b4380f93bafb84c32c063c authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Delete delayed constraint approach.
eb389ed935565c0e9a3180e08ecb03eab4174098 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
eb389ed935565c0e9a3180e08ecb03eab4174098 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add internal utils
36787cc5adae87b27c3ebd8907147075c8f36d94 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
36787cc5adae87b27c3ebd8907147075c8f36d94 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Cleaner code for intern-id calculation
cd8b6514ac1015de263efee4a68b8d5ce63304b7 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
cd8b6514ac1015de263efee4a68b8d5ce63304b7 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Warn for RClass-with-unknown-params. RClass-supers* returns recursive ancestors
dc16f72dcb016082c7ee06dd8f33299682f5a0f7 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
dc16f72dcb016082c7ee06dd8f33299682f5a0f7 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
debug
f22e0cd964d5a6ec023f7c5646a8777c25021c62 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
f22e0cd964d5a6ec023f7c5646a8777c25021c62 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Call Un/In constructors in promote/demote
e6d3e59b73b1f61064f753e21fdc1a5c5b09d278 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
e6d3e59b73b1f61064f753e21fdc1a5c5b09d278 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add missing ARef ancestor for Var
a16296b1e775d0ec0ffe0c1d422c8672ad53f4db authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
a16296b1e775d0ec0ffe0c1d422c8672ad53f4db authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Implement trans-dots for HSequential
949d959cba059dc6bb095d5a67a978a1ecc6a784 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
949d959cba059dc6bb095d5a67a978a1ecc6a784 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
fix previous misused parse-HVec
Signed-off-by: Ambrose Bonnaire-Sergeant <[email protected]>
2e1a377884e36f0bcae248846ccb0c1e88b1a857 authored over 10 years ago by Di Xu <[email protected]>
changelog
6e3a6d9df1688ffcedd2ff7a0eb545b1a17065f4 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
6e3a6d9df1688ffcedd2ff7a0eb545b1a17065f4 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add ast-for-file helper
709faab11e0331d1a6217a695c7a0412174e9903 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
709faab11e0331d1a6217a695c7a0412174e9903 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Qualify types in unit tests
ab29b75d608e0e8d1efd6e90ed59234d62330639 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
ab29b75d608e0e8d1efd6e90ed59234d62330639 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Port ... <: * inference case from Typed Racket
5fec9b79905bda0877ceb715510f3e31c92ee059 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
5fec9b79905bda0877ceb715510f3e31c92ee059 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Cleaner code in cs-gen dotted cases
5d736be0bc100491ecf7993603a4803815253de9 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
5d736be0bc100491ecf7993603a4803815253de9 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add some HSequential dotted inference cases
0a9939ecefa8cd3b4de53ada4ac10a04a200e776 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
0a9939ecefa8cd3b4de53ada4ac10a04a200e776 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Prepare for nested PolyDots
8d4cf6b71d8c592f04a436d7e69efcf31fb83912 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
8d4cf6b71d8c592f04a436d7e69efcf31fb83912 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Basic pruning of arities in error messages
6e9bfe94b9539e87bed49e27239fb26ddb023f21 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
6e9bfe94b9539e87bed49e27239fb26ddb023f21 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
In nested PolyDots we often find symbols as a drest name.
d80a661c99e2097203b40988240dc395c0c39eff authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
d80a661c99e2097203b40988240dc395c0c39eff authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
sub/unify takes a dotted map arg
01698b355e3f7076070bd4264cfb3071a1964257 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
01698b355e3f7076070bd4264cfb3071a1964257 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Fix annotation typo
001684150e0c59119198ee02bcd7c6f1a83e1b43 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
001684150e0c59119198ee02bcd7c6f1a83e1b43 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
Add 1-arity version of partial
92972715158e520c2e5573843637bbfa0d703104 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
92972715158e520c2e5573843637bbfa0d703104 authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
wishful thinking for apply
af9ff0e35de70c6285fa853cb62a0ba9a63818be authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
af9ff0e35de70c6285fa853cb62a0ba9a63818be authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
comment out juxt
ea8d044fdc3b1bdf6c0c35c78bf4c00ff76d7e5c authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>
ea8d044fdc3b1bdf6c0c35c78bf4c00ff76d7e5c authored over 10 years ago by Ambrose Bonnaire-Sergeant <[email protected]>