Commit Graph

10 Commits

Author SHA1 Message Date
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
e01a5f21e1 Compatibility with Racket >= 6.4 and <= 6.7 2021-02-26 15:29:07 +00:00
Suzanne Soy
afb3be6829 backward compatibility using version-case 2021-02-26 15:05:08 +00:00
Suzanne Soy
1077eadde3 Fixed incompatibility with recent versions 2021-02-26 03:07:19 +00: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
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
fb38440010 Squashed old commits. 2017-03-31 20:02:15 +02:00