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