suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
4866ff825b
typed-racket/typed-racket-test/unit-tests
History
Asumu Takikawa 33543ce054 Use absent in some row poly class contracts 
When exporting row polymorphic functions from TR, just
use absent clauses to ensure that TR won't accidentally
try to add pre-existing fields/methods. No sealing is
needed because the typechecker enforces parameteric use
of the class.
2015-03-04 16:26:35 -05:00
..
all-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
check-below-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
class-tests.rkt Improve types for private field accessors 2015-02-23 15:38:28 -05:00
class-util-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
contract-tests.rkt Use absent in some row poly class contracts 2015-03-04 16:26:35 -05:00
evaluator.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
filter-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
generalize-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
infer-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
init-env-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
interactive-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
keyword-expansion-test.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
metafunction-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
parse-type-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
prims-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
remove-intersect-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
rep-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
special-env-typecheck-tests.rkt Add support for use-dir? param of in-directory 2015-01-31 09:34:01 -05:00
static-contract-conversion-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
static-contract-optimizer-tests.rkt Use absent in some row poly class contracts 2015-03-04 16:26:35 -05:00
subst-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
subtype-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
test-utils.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
tooltip-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
type-alias-helper.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
type-equal-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
type-printer-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
typecheck-tests.rkt Make type of division more lenient. 2015-02-04 14:06:54 -05:00