| .. |
|
env
|
Fixes more spelling errors.
|
2011-02-04 19:44:13 -07:00 |
|
infer
|
Take the meet of constraints earlier in the inference process.
|
2011-03-18 10:25:19 -04:00 |
|
lang
|
|
|
|
no-check/lang
|
typed/racket/no-check
|
2010-06-09 12:51:27 -04:00 |
|
optimizer
|
Copy properties when optimizing bodies of lambda/define-values.
|
2011-04-19 09:31:10 -04:00 |
|
private
|
Remove unused code.
|
2011-04-19 09:31:06 -04:00 |
|
rep
|
created racket/syntax from parts of unstable/syntax
|
2011-04-07 09:47:20 -06:00 |
|
scribblings
|
Added some examples to to the TR reference docs.
|
2011-04-19 09:31:03 -04:00 |
|
typecheck
|
moved unstable/{location,srcloc} to syntax collection
|
2011-04-08 08:25:22 -06:00 |
|
types
|
Optimize filter operations.
|
2011-04-19 09:30:58 -04:00 |
|
utils
|
moved unstable/{location,srcloc} to syntax collection
|
2011-04-08 08:25:22 -06:00 |
|
core.rkt
|
created racket/syntax from parts of unstable/syntax
|
2011-04-07 09:47:20 -06:00 |
|
info.rkt
|
move Typed Racket manuals to the Languages section
|
2010-11-27 19:01:17 -07:00 |
|
language-info.rkt
|
Use current-readtable as the base for the TR readtable.
|
2010-08-21 14:05:46 -04:00 |
|
main.rkt
|
Add `defined?' assertions to fix DrRacket.
|
2010-12-08 18:53:56 -05:00 |
|
minimal.rkt
|
|
|
|
no-check.rkt
|
Provide -> in typed-scheme/no-check.
|
2010-08-18 16:37:32 -04:00 |
|
tc-setup.rkt
|
Added another tracing option to TR.
|
2010-08-05 09:04:24 -04:00 |
|
typed-reader.rkt
|
Make syntax of #{} less accepting of errors.
|
2010-09-08 10:24:58 -04:00 |
|
typed-scheme.rkt
|
Abstract the initialization stuff into a separate function.
|
2011-01-14 08:35:55 -05:00 |
