Asumu Takikawa 664a370a1b Cue user about unexpanded type aliases ... This tells the user that more type aliases are available for expansion. For example, (Listof Number) has the alias Number still unexpanded into the union that it represents. (cherry picked from commit 19c5d3eaad)		2013-07-08 10:34:10 -04:00
..
base-env	Make require/typed work at top-level	2013-07-08 10:34:09 -04:00
env	Replace uses of Type? with Type/c?.	2013-01-15 12:23:42 -05:00
infer	Reduce unnecessarily complicated restrict case.	2013-03-06 08:48:44 -08:00
minimal/lang	Move typed-scheme to typed-racket collection.	2011-09-03 20:49:39 -04:00
optimizer	Have Optimization Coach report unsound float division missed optimizations.	2013-04-04 15:31:50 -04:00
private	Fix parsing of (Struct ...) types.	2013-07-08 10:34:10 -04:00
rep	Fix contracts in TR.	2013-04-04 07:43:08 -07:00
scribblings	Fix docs for Opaque	2013-07-08 10:34:08 -04:00
typecheck	Fix regression for (begin) and simplify	2013-07-08 10:34:10 -04:00
types	Cue user about unexpanded type aliases	2013-07-08 10:34:10 -04:00
utils	Make require/typed work at top-level	2013-07-08 10:34:09 -04:00
core.rkt	Cue user about unexpanded type aliases	2013-07-08 10:34:10 -04:00
info.rkt	Move Optimization Coach to PLaneT 2.	2013-01-11 18:40:23 -05:00
language-info.rkt	Move typed-scheme to typed-racket collection.	2011-09-03 20:49:39 -04:00
minimal.rkt	Minor refactorings.	2012-06-25 18:07:45 -04:00
tc-setup.rkt	Cut off type printing with :type at one level	2013-07-08 10:34:10 -04:00
typed-racket.rkt	Turn dynamic-requires into lazy-requires in TR.	2013-04-03 09:49:40 -07:00
typed-reader.rkt	scheme -> racket	2012-06-25 13:39:07 -04:00