Eric Dobson 01a88f8db1 Make scoped type vars work only for explict Alls and annotations. ... Solves major issue disscussed on PR 13586. Closes PR 13622. Solves issue when typechecking lambdas with types like (All (a) Any). Closes PR 13596. Closes PR 13539. Closes PR 13703.		2013-05-25 13:01:02 -07:00
..
base-env	Refactor to reduce right-ward drift	2013-05-14 15:25:44 -04:00
env	Make scoped type vars work only for explict Alls and annotations.	2013-05-25 13:01:02 -07:00
infer	Massive cleanup of requriements in TR.	2013-05-15 23:18:29 -07: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	Make scoped type vars work only for explict Alls and annotations.	2013-05-25 13:01:02 -07:00
rep	Massive cleanup of requriements in TR.	2013-05-15 23:18:29 -07:00
scribblings	Document :type better	2013-05-22 09:31:37 -04:00
typecheck	Make scoped type vars work only for explict Alls and annotations.	2013-05-25 13:01:02 -07:00
types	Expend printing fuel in all branches	2013-05-21 11:19:49 -04:00
utils	Massive cleanup of requriements in TR.	2013-05-15 23:18:29 -07:00
core.rkt	Cue user about unexpanded type aliases	2013-05-21 11:19:02 -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-05-20 16:14:14 -04:00
typed-racket.rkt	Massive cleanup of requriements in TR.	2013-05-15 23:18:29 -07:00
typed-reader.rkt	scheme -> racket	2012-06-25 13:39:07 -04:00