suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
master
typed-racket/typed-racket-test/fail
History
Asumu Takikawa 43dc59bea2 Restrict struct predicate when parent is mutable 
Correctly restrict the struct predicate's filter type when
a parent struct is mutable but the child is not and they both
have polymorphic type variables.

See the discussion in GH issue #205
2016-05-20 16:56:49 -04:00
..
all-bad-syntax.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
ann-map-funcs.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
apply-dots.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
assoc-with-is-equal-argument.rkt 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
async-channel-contract.rkt Fix TR's async-channel-contract test 2015-01-20 14:23:38 -05:00
back-and-forth.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
bad-ann-from-macro-in-unit.rkt Initial support for typed units in typed racket. 2015-09-10 16:32:11 -05:00
bad-ann.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
bad-any.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
bad-first.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
bad-hash-ref.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
bad-map-poly.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
bad-struct-top.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
bad-type-app.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
bind-anyvalues.rkt Fix missing match cases when trying to bind AnyValues typed "results" 2015-07-29 11:44:29 -04:00
box-fail.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
case-lambda1.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
case-lambda2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
case-lambda3.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
case-lambda4.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
case-union-subtype.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
cast-mod1.rkt Add srcloc instead of a quoted syntax for casts 2015-03-06 16:09:31 -05:00
cast-mod2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
cast-mod3.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
cast-top-level1.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
cast-top-level2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
channel-contract.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
check-expect-fail.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
cl-bug.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
class-contract-1.rkt Fix augment/inner contract generation 2015-02-28 14:02:57 -05:00
cnt-err1.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
cnt-struct-err.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
contract-conversion-error.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
control-test-1.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
control-test-2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
control-test-3.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
control-test-4.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
control-test-5.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
control-test-6.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
dead-substruct.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
def-val-inv-unit-sig-mismatch.rkt Fix Unit integration tests to match AnyValues in error messages 2015-09-11 15:43:51 -05:00
define-new-subtype.rkt Add error message specifications 2015-08-14 21:42:21 -05:00
define-values-bottom.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
define-zero-values.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
div-0-complex.rkt Avoid suppressing divide-by-0 errors. 2015-11-09 17:16:09 -06:00
div-0-complex2.rkt Actual fix for not suppressing divide-by-0 errors. 2015-11-09 17:16:10 -06:00
dup-ann.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
duplicate-ann.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
dviu-has-imports.rkt Fix Unit integration tests to match AnyValues in error messages 2015-09-11 15:43:51 -05:00
dviu-infer-deps-bad.rkt Initial support for typed units in typed racket. 2015-09-10 16:32:11 -05:00
dviu-infer-fact-no-link.rkt Initial support for typed units in typed racket. 2015-09-10 16:32:11 -05:00
dviu-not-a-unit.rkt Initial support for typed units in typed racket. 2015-09-10 16:32:11 -05:00
dviu-not-subtype.rkt Initial support for typed units in typed racket. 2015-09-10 16:32:11 -05:00
error-pruning1.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
error-pruning2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
error-pruning3.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
even-odd-recursive-contract.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
explicit-fail.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
extend-untyped-signature.rkt Initial support for typed units in typed racket. 2015-09-10 16:32:11 -05:00
flat-contract-name.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
for-multiple-annotations.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
formal-len-mismatches.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
gadt.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
gh-issue-165.rkt Fix handling of let rhs that don't return 2015-08-11 12:07:27 -04:00
gh-issue-271.rkt Fix GH issue #271 2015-12-18 18:10:48 -05:00
gh-issue-293.rkt Ensure define-typed-struct/exec has a Procedure 2016-01-22 13:43:03 -05:00
gh-issue-342.rkt Avoid internal error on mismatched values 2016-05-09 18:03:17 -04:00
heterogeneous-vector-bad-ann.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
ht-infer.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
inexact-complex.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
infer-dots.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
internal-ann.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
internal-vector-error.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
issue-169-1.rkt Add error message specifications 2015-08-14 21:42:21 -05:00
issue-169-2.rkt Add error message specifications 2015-08-14 21:42:21 -05:00
issue-215-2.rkt Fix equality handling on literals. 2015-10-20 15:56:07 -04:00
issue-215.rkt Fix equality handling on literals. 2015-10-20 15:56:07 -04:00
let-internal-nameleak.rkt Prevent -let-internal name from leaking to users 2015-07-29 11:07:54 -04:00
log-not-complex.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
make-predicate-mod1.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
make-predicate-mod2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
make-predicate-top-level1.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
make-predicate-top-level2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
mandatory-kw.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
member-with-is-equal-argument.rkt 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
missing-rest-arguments.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
multiple-annotations-define.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
nested-tvars.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
no-setters-for-built-in-structs.rkt Don't assume built-in structs are mutable 2016-05-20 16:55:23 -04:00
non-portable-fixnum-singleton.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
non-productive-rec.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
non-productive-rec2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
nonnegative-float.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
opaque-object-contract-2.rkt Add a custom object contract for use in TR 2015-03-04 16:26:35 -05:00
opaque-object-contract.rkt Add a custom object contract for use in TR 2015-03-04 16:26:35 -05:00
opaque-overlap.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
other-module-mutation.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
plambda-dup-tvar.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
poly-dup-name.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
poly-expect-error.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
poly-struct-mutable-parent.rkt Restrict struct predicate when parent is mutable 2016-05-20 16:56:49 -04:00
poly-struct-parent.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
poly-struct-parent2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
poly-struct-parent3.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
polydots-dup-name.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
polymorphic-recursion-2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
polymorphic-recursion-3.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
polymorphic-recursion-4.rkt Fix polymorphic recursion check for type aliases 2015-08-07 19:05:13 -04:00
polymorphic-recursion.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
port-to-list.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr10350.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr10594.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr10936.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr11560.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr11686.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr11772.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr11998.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr12706.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr12985.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13123.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13209.rkt Changed how arguments and other pieces of information are printed, to follow the error message conventions, as suggested by samth in PR #250 . 2016-03-01 15:19:09 -06:00
pr13218.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13233-2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13233-3.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13233-4.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13233.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13274.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13289.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13365-variation-1.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13365-variation-2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13365-variation-3.rkt Remove redundant values checks 2016-05-09 18:03:17 -04:00
pr13365.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13446.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13448.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13526.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13562.rkt Adjust error message for test 2016-04-07 00:58:09 -04:00
pr13577.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13581.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13588.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13662.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13663.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13664.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13665.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13746.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13815.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13893.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr13962.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr14121.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr14144.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr14173.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr14246-2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr14246.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr14389.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr14508.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr14544.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr14568.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr14615.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
pr14973.rkt Handles expansion of internal forms inside splicing-syntax-parameterize 2015-02-21 15:40:23 -05:00
predicate-box.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
procedure-top.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
promise-any.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
promise-delay-name.rkt Don't allow promises created with delay/name as (Promise T). 2015-07-22 14:22:34 -04:00
recursive-type-application.rkt Changed how arguments and other pieces of information are printed, to follow the error message conventions, as suggested by samth in PR #250 . 2016-03-01 15:19:09 -06:00
require-typed-missing.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
require-typed-wrong.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
require-untyped-signature.rkt Raise errors when signatures are not in the signature environment while typechecking 2016-03-12 16:39:39 -06:00
reverse-special.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
rts-prov.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
safe-letrec.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
same-name-struct-type.rkt Better error msg for structs with the same name 2015-02-13 00:10:19 -05:00
same-type-variable-error-msg.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
sandboxed-unsafe-ops.rkt Increase memory limit to avoid spurious failures. 2015-12-31 11:34:23 -05:00
sealing-contract-1.rkt Add sealing contracts for row polymorphic types 2015-05-13 20:52:32 -04:00
sealing-contract-2.rkt Add sealing contracts for row polymorphic types 2015-05-13 20:52:32 -04:00
sealing-contract-3.rkt Add sealing contracts for row polymorphic types 2015-05-13 20:52:32 -04:00
sealing-contract-4.rkt Add sealing contracts for row polymorphic types 2015-05-13 20:52:32 -04:00
set-struct.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
set-tests.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
signature-escape.rkt Initial support for typed units in typed racket. 2015-09-10 16:32:11 -05:00
single-letrec.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
struct-extra-constructor.rkt Update docs & tests for struct constructor options 2015-12-08 00:33:45 -05:00
struct-provide.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
submod-req-cnt.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
subtype-int-err.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
tc-error-format.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
too-many-errors.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
top-level-srcloc.rkt Fix source location tracking for top-level forms 2015-09-30 17:03:22 -04:00
top-level-unit-and-class.rkt Avoid ignoring class/unit forms at the top-level 2015-10-21 13:33:30 -04:00
type-variable-scope-1.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
type-variable-scope-2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
type-variable-scope-3.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
unbound-non-reg.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
unbound-type.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
undefined.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
union-or-exclusive.rkt Add test for or/c problem. 2015-11-06 14:35:46 -05:00
unit-contract-missing-init-depends.rkt Initial support for typed units in typed racket. 2015-09-10 16:32:11 -05:00
unit-ctc-init-depends.rkt Initial support for typed units in typed racket. 2015-09-10 16:32:11 -05:00
unit-import-wrong-type.rkt Initial support for typed units in typed racket. 2015-09-10 16:32:11 -05:00
unit-typed-untyped-1.rkt Initial support for typed units in typed racket. 2015-09-10 16:32:11 -05:00
unit-typed-untyped-2.rkt Initial support for typed units in typed racket. 2015-09-10 16:32:11 -05:00
unsafe-struct-parent.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
unsafe-struct.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
untyped-srfi1.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
user-filter-with-bad-index-object.rkt filter -> prop 2016-04-25 18:36:12 -04:00
values-dots.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
values-int-err.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
with-asserts.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
with-asserts2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
with-asserts3.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
with-type-bug.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
with-type-unregister.rkt unstable/macro-testing -> syntax/macro-testing 2015-08-05 13:13:50 -05:00
with-type1.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
with-type2.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
with-type3.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
wrong-arity.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00