Carl Eastlund 0911365403 Corrected documentation of quote-module-name to indicate that it does not ... produce collection and planet-relative paths on its own. Deprecated quote-module-path, and replaced existing uses of it with quote-module-name. (cherry picked from commit 2e6a608539)		2011-07-11 21:29:54 -04:00
..
base-env	Add types for `check-in-{port,bytes,bytes-lines}'.	2011-07-07 14:24:28 -04:00
env
infer
lang
no-check/lang
optimizer	Do partial bounds checking elimination for flvector operations.	2011-07-06 18:09:31 -04:00
private	".ss" -> ".rkt" scan done.	2011-07-02 10:37:53 -04:00
rep
scribblings	docs reorganization	2011-07-01 17:16:53 -06:00
typecheck	Corrected documentation of quote-module-name to indicate that it does not	2011-07-11 21:29:54 -04:00
types	Remove trailing whitespace.	2011-06-30 14:01:47 -04:00
utils	Don't export required bindings with all-defined-out and require/typed.	2011-07-01 16:06:15 -04:00
core.rkt	remove syntax certificates; add syntax taints	2011-06-29 19:15:48 -06:00
info.rkt	moved typed racket docs up within section	2011-07-07 14:00:22 -06:00
language-info.rkt
main.rkt	Added legacy support for require/typed and require-typed-struct.	2011-06-29 17:38:05 -04:00
minimal.rkt
no-check.rkt
tc-setup.rkt	remove syntax certificates; add syntax taints	2011-06-29 19:15:48 -06:00
typed-reader.rkt
typed-scheme.rkt