Commit Graph

29 Commits

Author SHA1 Message Date
Suzanne Soy
919a52ef18
Merge pull request #2 from capfredf/fix-types
replace Promise with (Promise Any) due to kinding
2022-01-19 16:05:33 +00:00
Fred Fu
1e774e5304 replace Promise with (Promise Any) due to kinding
`Promise` is now a type constructor

related to https://github.com/racket/typed-racket/pull/1143
2021-11-30 18:33:00 -05:00
Suzanne Soy
19541b8094 Renamed main branch 2021-04-04 07:22:20 +01:00
Suzanne Soy
7d4b3e58ff Fixed syntax 2021-03-04 21:29:07 +00:00
Suzanne Soy
3a8ff62a31 Turn off coverage in older versions 2021-02-26 16:27:29 +00:00
Suzanne Soy
e01a5f21e1 Compatibility with Racket >= 6.4 and <= 6.7 2021-02-26 15:29:07 +00:00
Suzanne Soy
84a49d7cc3 Indentation 2021-02-26 15:20:57 +00:00
Suzanne Soy
02a38dc35e Disabled code coverage on old versions where there is a conflict 2021-02-26 15:15:33 +00:00
Suzanne Soy
afb3be6829 backward compatibility using version-case 2021-02-26 15:05:08 +00:00
Suzanne Soy
971d7e05a1 try both non-cs and -cs versions in .travis-ci.yml 2021-02-26 14:58:00 +00:00
Suzanne Soy
f7fa729166 typo in .travis-ci.yml 2021-02-26 14:48:18 +00:00
Suzanne Soy
60e70b2039 include Racket 8.0 in install-racket.sh script 2021-02-26 13:05:21 +00:00
Suzanne Soy
1136642b8d Changed my name :) 2021-02-26 03:09:13 +00:00
Suzanne Soy
1077eadde3 Fixed incompatibility with recent versions 2021-02-26 03:07:19 +00:00
Suzanne Soy
69ec8b1248 Add more versions to the Travis build 2021-02-26 02:57:48 +00:00
Georges Dupéron
98766ec627 Updated Racket versions in .travis.yml 2019-04-22 00:06:37 +02:00
Georges Dupéron
e1a94bea86 Added missing dependency on version-case 2018-06-03 12:47:48 +02:00
Georges Dupéron
559e5b7075 Temporary hack: allow unsafe-undefined
We should really roll our own optional-arguments mechanism, to prevent that value from causing issues
2018-06-03 12:29:28 +02:00
Georges Dupéron
06407a46e3 Docs: define can be either from typed/racket or type-expander 2018-06-02 21:08:41 +02:00
Georges Dupéron
b3fb9e6b27 Fixed raco test command (-x -> -r) 2018-05-31 19:54:53 +02:00
Georges Dupéron
e656f75169 Updated maintenance badge for 2018 2018-01-27 12:35:12 +01:00
Georges Dupéron
7e3fa40496 Improve srcloc of error messages on λ 2017-05-20 02:57:48 +02:00
Georges Dupéron
baf7434c7f Fixed issue with recursive functions defined with define-pure/stateless and define-pure/stateful
Rhe immutabile-value check was happening before the actual production of the lambda bound to the ID, and therefore an "undefined variable" error was raised.
2017-05-19 04:16:26 +02:00
Georges Dupéron
397260eb13 Circumvent https://github.com/racket/racket/issues/1697 2017-05-19 00:01:10 +02:00
Georges Dupéron
f3d357943a Fixed loophole which allowed external mutation of free variables (the shadowing copy was made at each call of the lambda, instead of being outside of it). 2017-05-18 20:56:12 +02:00
Georges Dupéron
3d8b7cf0be Changed badge URL to CodeCov 2017-04-21 14:02:48 +02:00
Georges Dupéron
f9ce736030 Added maintenance badge (2017) 2017-04-19 20:00:32 +02:00
Georges Dupéron
1dcbcd5f8e Fixed name of project in license file 2017-04-13 18:24:48 +02:00
Georges Dupéron
fb38440010 Squashed old commits. 2017-03-31 20:02:15 +02:00