Sam Tobin-Hochstadt 005923c284 Only generalize #t, not #f.		2011-08-26 14:08:40 -04:00
..
base-env	Generalize #t and #f to `Boolean'.	2011-08-26 08:05:44 -04:00
env	Rename a parameter to better reflect what it's for.	2011-08-11 18:25:46 -04:00
infer	Conditionalize use of contract.	2011-07-19 16:47:13 -04:00
lang
no-check/lang
optimizer	Fixed a bug with delete, undo and clickbacks in DrRacket	2011-08-26 06:07:57 -06:00
private	Initial support for standard optional arguments.	2011-08-25 19:00:49 -04:00
rep	Intern based on sequence numbers for values that have them.	2011-08-26 14:08:40 -04:00
scribblings	Revise `require/typed' docs. Closes PR 11890.	2011-08-25 14:10:05 -04:00
typecheck	Initial support for standard optional arguments.	2011-08-25 19:00:49 -04:00
types	Only generalize #t, not #f.	2011-08-26 14:08:40 -04:00
utils	Much more infrastructure for timing typed racket passes.	2011-08-26 14:08:39 -04:00
core.rkt	Much more infrastructure for timing typed racket passes.	2011-08-26 14:08:39 -04:00
info.rkt	Remove highlights after editing.	2011-07-15 15:04:52 -04:00
language-info.rkt
main.rkt	Simplify definition of (legacy) `typed-scheme' language.	2011-08-16 14:54:46 -04:00
minimal.rkt
no-check.rkt
tc-setup.rkt	Much more infrastructure for timing typed racket passes.	2011-08-26 14:08:39 -04:00
typed-reader.rkt
typed-scheme.rkt	Much more infrastructure for timing typed racket passes.	2011-08-26 14:08:39 -04:00