Sam Tobin-Hochstadt da574a47d0 Handle in-vector with range arguments. ... * Add `normalise-inputs` to special function env. * Treat eta-expansion specially. Now `(lambda (x ...) (f x ...))` will typecheck like `f` but with a type restricted to the size of `x ...`. Currently, this special case only works for non-polymorphic functions.		2015-11-09 19:04:14 -05:00
..
base-env	Handle in-vector with range arguments.	2015-11-09 19:04:14 -05:00
env	Fix incorrect serialization of signature environment	2015-10-29 01:35:33 -05:00
infer	fix inference with define-new-subtype	2015-08-15 14:36:45 -05:00
minimal/lang	Remove extra directories.	2014-12-02 00:53:36 -05:00
optimizer	Abstract over operations properly.	2015-11-09 17:16:10 -06:00
private	safe & efficient (-> Any Boolean) contract	2015-11-09 19:04:02 -05:00
rep	Remove not-actually-unsafe unsafe operations.	2015-11-03 14:34:39 -06:00
static-contracts	Initial support for typed units in typed racket.	2015-09-10 16:32:11 -05:00
typecheck	Handle in-vector with range arguments.	2015-11-09 19:04:14 -05:00
types	Remove unsafety altogether.	2015-11-03 20:11:46 -06:00
utils	safe & efficient (-> Any Boolean) contract	2015-11-09 19:04:02 -05:00
core.rkt	Add timing for contract generation.	2015-09-11 13:39:03 -05:00
HISTORY.txt	Update history.	2015-10-20 11:20:46 -05:00
info.rkt	Remove extra directories.	2014-12-02 00:53:36 -05:00
language-info.rkt	Remove extra directories.	2014-12-02 00:53:36 -05:00
minimal.rkt	Remove extra directories.	2014-12-02 00:53:36 -05:00
standard-inits.rkt	Remove extra directories.	2014-12-02 00:53:36 -05:00
tc-setup.rkt	Fix source location tracking for top-level forms	2015-09-30 17:03:22 -04:00
typed-racket.rkt	Significantly reduce dependencies.	2015-04-03 12:50:55 -04:00
typed-reader.rkt	Disable the #{} reader macro if a dispatch macro already exists on #\{	2015-05-14 14:35:30 -07:00