| .. |
|
base-env
|
warning instead of error on opaque structs passed to #:opaque predicates
|
2016-07-08 23:04:31 -04:00 |
|
env
|
Decide to lift common types based on popularity
|
2016-06-22 18:53:04 -04:00 |
|
infer
|
better rec type intersection
|
2016-07-07 12:53:31 -04:00 |
|
minimal/lang
|
Remove extra directories.
|
2014-12-02 00:53:36 -05:00 |
|
optimizer
|
Fix optimizer fix
|
2016-06-22 00:24:31 -04:00 |
|
private
|
call compute-constraints instead of sc->constraints in get-max-contract-kind (#382)
|
2016-07-07 12:16:15 -04:00 |
|
rep
|
use match*/no-order to reduce manual code duplication
|
2016-05-23 18:13:28 -04:00 |
|
static-contracts
|
implement sc->constraints for recursive-sc (#381)
|
2016-07-03 22:47:52 -04:00 |
|
typecheck
|
don't throw internal errors for unreachable cast exprs (#386)
|
2016-07-07 16:51:08 -04:00 |
|
types
|
Support environment variable procedures.
|
2016-07-08 16:27:16 -04:00 |
|
utils
|
warning instead of error on opaque structs passed to #:opaque predicates
|
2016-07-08 23:04:31 -04:00 |
|
core.rkt
|
Add timing for contract generation.
|
2015-09-11 13:39:03 -05:00 |
|
HISTORY.txt
|
Update HISTORY for 6.5.
|
2016-04-18 17:29:37 -04:00 |
|
info.rkt
|
Remove extra directories.
|
2014-12-02 00:53:36 -05:00 |
|
language-info.rkt
|
Remove extra directories.
|
2014-12-02 00:53:36 -05:00 |
|
minimal.rkt
|
Remove extra directories.
|
2014-12-02 00:53:36 -05:00 |
|
standard-inits.rkt
|
Remove extra directories.
|
2014-12-02 00:53:36 -05:00 |
|
tc-setup.rkt
|
Fix source location tracking for top-level forms
|
2015-09-30 17:03:22 -04:00 |
|
typed-racket.rkt
|
fix any-wrap/c unsoundness on opaque structures (#385)
|
2016-07-07 20:58:26 -04:00 |
|
typed-reader.rkt
|
Disable the #{} reader macro if a dispatch macro already exists on #\{
|
2015-05-14 14:35:30 -07:00 |
50aab9806f