typed-racket/typed-racket-lib/typed-racket
Asumu Takikawa ca26d22d1c Fix optimizer fix
Fixed spurious syntax quoting and a test
2016-06-22 00:24:31 -04:00
..
base-env Add types for combinations, in-combinations 2016-06-15 09:58:36 -04:00
env Improve how memoization in init-envs is done 2016-06-21 16:37:17 -04:00
infer use match*/no-order to reduce manual code duplication 2016-05-23 18:13:28 -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 Improve contract inlining 2016-06-13 14:55:08 -04:00
rep use match*/no-order to reduce manual code duplication 2016-05-23 18:13:28 -04:00
static-contracts Improve contract inlining 2016-06-13 14:55:08 -04:00
typecheck Improve how memoization in init-envs is done 2016-06-21 16:37:17 -04:00
types Add more predefined types 2016-06-21 16:37:17 -04:00
utils Avoid doing require lifting repeatedly 2016-06-13 16:05:40 -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 Significantly reduce dependencies. 2015-04-03 12:50:55 -04:00
typed-reader.rkt Disable the #{} reader macro if a dispatch macro already exists on #\{ 2015-05-14 14:35:30 -07:00