suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
6059fb481b
typed-racket/typed-racket-test/unit-tests
History
Asumu Takikawa 6059fb481b Check expected type before calling tc/funapp1 
This compensates for a change in commit bb3f446186
that made the possible-domains function more permissive
(possibly returning results that are inconsistent with the
 expected type).

Closes PR 14889
2015-01-01 00:03:23 -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 Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
class-util-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
contract-tests.rkt Add missing contract generation error cases 2014-12-27 05:31:46 -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 Reduce directory nesting for tests. 2014-12-16 10:07:25 -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 Reduce directory nesting for tests. 2014-12-16 10:07:25 -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 Check expected type before calling tc/funapp1 2015-01-01 00:03:23 -05:00