typed-racket/typed-racket-lib
Sam Tobin-Hochstadt 5cd5f772d6 Don't allow promises created with delay/name as (Promise T).
Since these promises re-evaluate their bodies every time they
are forced, allowing them makes `force` not idempotent and not
safe to treat as a path.

This change is slightly backwards-incompatible, since programs
that previously passed `delay/name` promises across the typed
boundary will now fail at runtime. The alternative is also
incompatible: stop treating `force` as a path. Since `delay/name`
is quite obscure, this approach seems like the safer choice.
2015-07-22 14:22:34 -04:00
..
typed adapt to letrec-syntaxes+values removal and quote-syntax extension 2015-07-16 08:40:34 -06:00
typed-racket Don't allow promises created with delay/name as (Promise T). 2015-07-22 14:22:34 -04:00
unstable Remove extra directories. 2014-12-02 00:53:36 -05:00
info.rkt Fix base version dependency. 2015-07-20 16:17:39 -05:00
LICENSE.txt Remove extra directories. 2014-12-02 00:53:36 -05:00