J. Ian Johnson 469a69772c For/product treated like for/sum for special annotation. Also allowed no annotation to be consistent with the docs.		2013-02-08 11:32:21 -05:00
..
base-env	For/product treated like for/sum for special annotation. Also allowed no annotation to be consistent with the docs.	2013-02-08 11:32:21 -05:00
env	Replace uses of Type? with Type/c?.	2013-01-15 12:23:42 -05:00
infer	Fix contracts and expected computation for tc-any-results.	2013-01-24 23:15:06 -05:00
minimal/lang
optimizer	Add missing pure functions.	2013-02-08 11:19:10 -05:00
private	Make generated contracts for Floats include NaN.	2013-02-04 14:32:44 -05:00
rep	Remove tc-results? and other minor improvements.	2013-01-23 18:15:21 -05:00
scribblings	Fix docs for text-based TR optimization logging.	2013-02-05 16:57:41 -05:00
typecheck	Don't special case typechecking of =.	2013-02-04 14:32:44 -05:00
types	Make overlap more precise.	2013-02-08 11:19:10 -05:00
utils	Support Any wrapping for promises	2012-12-03 17:59:55 -05:00
core.rkt	Fix :print-type. Closes PR13503.	2013-02-08 11:19:09 -05:00
info.rkt	Move Optimization Coach to PLaneT 2.	2013-01-11 18:40:23 -05:00
language-info.rkt
minimal.rkt
tc-setup.rkt
typed-racket.rkt	Apply Any wrappers for default-continuation-prompt-tag in TR	2012-11-30 17:37:33 -05:00
typed-reader.rkt