typed-racket/collects/typed-scheme/typecheck
Sam Tobin-Hochstadt 0550dd15d2 Make environments much lazier about computing types; remove useless requires.
Allow duplicate type annotations when they are the same type.

original commit: 3e1eb67336617150b546841a0c1c3d2793385b06
2011-08-30 11:33:40 -04:00
..
check-below.rkt TR: Produce better error messages with values. Closes PR11772. 2011-07-14 17:06:51 -04:00
check-subforms-unit.rkt Fix Typed Racket handling of exception handling with multiple return values. 2011-07-18 17:42:28 -04:00
def-binding.rkt Give more meaningful names to conditional contract forms. 2011-05-18 17:09:45 -04:00
def-export.rkt A long overdue scan to eliminate files without terminating newlines. 2011-06-28 02:01:41 -04:00
find-annotation.rkt Remove trailing whitespace. 2011-05-18 17:09:45 -04:00
internal-forms.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
provide-handling.rkt Make TR provided struc-infos act like constructors. Closes PR11578. 2011-06-29 17:38:05 -04:00
renamer.rkt A long overdue scan to eliminate files without terminating newlines. 2011-06-28 02:01:41 -04:00
signatures.rkt Make environments much lazier about computing types; remove useless requires. 2011-08-30 11:33:40 -04:00
tc-app-helper.rkt Fix for empty case-lambdas. 2011-07-22 17:24:14 -04:00
tc-app.rkt Add a type for #%kernel's reverse. 2011-07-29 12:54:29 -04:00
tc-apply.rkt Handle apply for functions with no rest arguments. 2011-08-17 18:19:47 -04:00
tc-envops.rkt Remove trailing whitespace. 2011-05-18 17:09:45 -04:00
tc-expr-unit.rkt Fix typechecking of `#%variable-reference' 2011-08-14 13:40:42 -04:00
tc-funapp.rkt Break long lines. 2011-08-03 17:39:16 -04:00
tc-if.rkt Remove trailing whitespace. 2011-05-18 17:09:45 -04:00
tc-lambda-unit.rkt Initial support for standard optional arguments. 2011-08-25 19:00:49 -04:00
tc-let-unit.rkt Have letrec build unions in canonical form. 2011-07-01 16:06:15 -04:00
tc-metafunctions.rkt Remove trailing whitespace. 2011-05-18 17:09:45 -04:00
tc-structs.rkt Make environments much lazier about computing types; remove useless requires. 2011-08-30 11:33:40 -04:00
tc-subst.rkt Remove trailing whitespace. 2011-05-18 17:09:45 -04:00
tc-toplevel.rkt Fixes error messages for unsupported provide forms 2011-07-14 17:06:52 -04:00
typechecker.rkt Make environments much lazier about computing types; remove useless requires. 2011-08-30 11:33:40 -04:00