Carl Eastlund de9ecf5437 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. original commit: 2e6a608539f5ef39a9ff821d95163ea4660da952		2011-07-09 14:46:58 -04:00
..
base-env	Add types for `check-in-{port,bytes,bytes-lines}'.	2011-07-07 14:24:28 -04:00
env	A long overdue scan to eliminate files without terminating newlines.	2011-06-28 02:01:41 -04:00
infer	Added types for security operations.	2011-06-24 20:10:37 -04:00
lang	rename to rkt	2010-04-30 09:51:32 -04:00
no-check/lang	typed/racket/no-check	2010-06-09 12:51:27 -04:00
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	A long overdue scan to eliminate files without terminating newlines.	2011-06-28 02:01:41 -04:00
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-09 14:46:58 -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	Remove trailing whitespace.	2011-05-18 17:09:45 -04:00
main.rkt	Added legacy support for require/typed and require-typed-struct.	2011-06-29 17:38:05 -04:00
minimal.rkt	Avoid providing renamed identifiers.	2011-06-22 12:40:51 -04:00
no-check.rkt	Remove trailing whitespace.	2011-05-18 17:09:45 -04:00
tc-setup.rkt	remove syntax certificates; add syntax taints	2011-06-29 19:15:48 -06:00
typed-reader.rkt	Remove trailing whitespace.	2011-05-18 17:09:45 -04:00
typed-scheme.rkt	Make sure type environment is only initialized once	2011-06-07 21:15:17 -04:00