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
..
fail	Fixes type of member and assoc, plus some tests for them. See github bug #223: “(member) has wrong type, exploiting the hole causes segfault”.	2015-11-09 19:04:02 -05:00
gui/succeed	Fix first-order check for TR's opaque object/c	2015-03-13 16:52:34 -04:00
optimizer	Abstract over operations properly.	2015-11-09 17:16:10 -06:00
performance	Add a performance test for function contracts	2015-10-01 18:04:20 -04:00
succeed	Handle in-vector with range arguments.	2015-11-09 19:04:14 -05:00
unit-tests	safe & efficient (-> Any Boolean) contract	2015-11-09 19:04:02 -05:00
xfail	Initial support for typed units in typed racket.	2015-09-10 16:32:11 -05:00
historical-counterexamples.rkt	More drdr-found counterexamples.	2015-11-09 17:24:12 -06:00
info.rkt	Ignore random testing running out of resources.	2015-10-06 11:44:27 -05:00
LICENSE.txt	Remove extra directories.	2014-12-02 00:53:36 -05:00
main.rkt	Reduce directory nesting for tests.	2014-12-16 10:07:25 -05:00
nightly-run.rkt	Reduce directory nesting for tests.	2014-12-16 10:07:25 -05:00
places.rkt	Rename open-place to place/context.	2015-07-28 16:15:08 -05:00
random-real.rkt	Use math/flonum instead of unstable/flonum.	2015-08-27 14:14:51 -05:00
run.rkt	Reduce directory nesting for tests.	2014-12-16 10:07:25 -05:00
send-places.rkt	Reduce directory nesting for tests.	2014-12-16 10:07:25 -05:00
test-docs-complete.rkt	Reduce directory nesting for tests.	2014-12-16 10:07:25 -05:00
tr-random-testing.rkt	Add a regression test suite with historical counterexamples found by DrDr.	2015-11-09 17:16:08 -06:00
with-tr-contracts.rkt	Fix more collection paths.	2014-12-18 09:30:17 -05:00