Georges Dupéron f992786243 Fixes GH issue #268 “Can't provide promise for polymorphic struct”. ... See also commit 5cd5f77 “Don't allow promises created with `delay/name` as `(Promise T)`.”. The contracts in `typed-racket-lib/typed-racket/static-contracts/combinators/structural.rkt` should be just a single identifier, not a lambda expression, because `typed-racket-lib/typed-racket/private/type-contract.rkt` relies on that, and passes the contract name to free-identifier=?, which won't work on a lambda.		2015-12-17 14:52:40 +01:00
..
fail	Update docs & tests for struct constructor options	2015-12-08 00:33:45 -05:00
gui/succeed	Fix first-order check for TR's opaque object/c	2015-03-13 16:52:34 -04:00
optimizer	Fix magnitude on numbers with negative components.	2015-11-23 14:30:20 -06:00
performance	Add a performance test for function contracts	2015-10-01 18:04:20 -04:00
succeed	Fixes GH issue #268 “Can't provide promise for polymorphic struct”.	2015-12-17 14:52:40 +01:00
unit-tests	Relax type of expt.	2015-12-02 15:44:23 -06: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	Increase with-tr-contracts timeout.	2015-11-12 18:41:52 -05:00
LICENSE.txt	Remove extra directories.	2014-12-02 00:53:36 -05:00
main.rkt	Remove use of this-expression-source-directory.	2015-12-11 10:12:33 -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	Be more robust against one of {TR,R} erroring.	2015-11-10 16:39:18 -06:00
with-tr-contracts.rkt	Fix more collection paths.	2014-12-18 09:30:17 -05:00