rust/src/test/compile-fail
Tim Chevalier 6b742aec91 Enforce in typechecker that preds return a bool
as well as a test case
2011-05-05 11:26:07 -07:00
..
alt-tag-nullary.rs Typecheck tags in "alt" patterns 2010-10-14 15:08:19 -07:00
alt-tag-unary.rs Typecheck tags in "alt" patterns 2010-10-14 15:08:19 -07:00
arg-count-mismatch.rs Populate tree. 2010-06-23 21:03:09 -07:00
arg-type-mismatch.rs Populate tree. 2010-06-23 21:03:09 -07:00
bad-alt.rs Change two compile-fail patterns to match rustc output. 2011-05-04 11:20:47 -07:00
bad-env-capture.rs Assume xfail-stage0 implies stage1 and stage2 in tests, for now. 2011-05-03 18:14:02 -07:00
bad-expr-path.rs Switch xfail system to use comments embedded in source files. 2011-03-25 12:19:20 -07:00
bad-expr-path2.rs Print an error if we try to refer to a module in an expr_path. 2011-01-25 18:16:52 -05:00
bad-main.rs Assume xfail-stage0 implies stage1 and stage2 in tests, for now. 2011-05-03 18:14:02 -07:00
bad-name.rs Change two compile-fail patterns to match rustc output. 2011-05-04 11:20:47 -07:00
bad-recv.rs Assume xfail-stage0 implies stage1 and stage2 in tests, for now. 2011-05-03 18:14:02 -07:00
bad-send.rs Assume xfail-stage0 implies stage1 and stage2 in tests, for now. 2011-05-03 18:14:02 -07:00
bad-type-env-capture.rs Assume xfail-stage0 implies stage1 and stage2 in tests, for now. 2011-05-03 18:14:02 -07:00
bind-alias.rs Assume xfail-stage0 implies stage1 and stage2 in tests, for now. 2011-05-03 18:14:02 -07:00
bogus-tag.rs Further corrections to the Makefile rules covering failing tests. 2011-01-10 14:53:20 -08:00
break-uninit.rs Enable typestate_check 2011-04-28 13:26:19 -07:00
break-uninit2.rs Enable typestate_check 2011-04-28 13:26:19 -07:00
capture1.rs Implement the "attempted dynamic environment-capture" error in rustc. 2011-04-11 15:35:01 -04:00
capture2.rs Implement the "attempted dynamic environment-capture" error in rustc. 2011-04-11 15:35:01 -04:00
constructor-as-cast.rs Assume xfail-stage0 implies stage1 and stage2 in tests, for now. 2011-05-03 18:14:02 -07:00
dead-code-be.rs Assume xfail-stage0 implies stage1 and stage2 in tests, for now. 2011-05-03 18:14:02 -07:00
dead-code-ret.rs Assume xfail-stage0 implies stage1 and stage2 in tests, for now. 2011-05-03 18:14:02 -07:00
direct-obj-fn-call.rs Assume xfail-stage0 implies stage1 and stage2 in tests, for now. 2011-05-03 18:14:02 -07:00
does-nothing.rs Assume xfail-stage0 implies stage1 and stage2 in tests, for now. 2011-05-03 18:14:02 -07:00
export-boot.rs Assume xfail-stage0 implies stage1 and stage2 in tests, for now. 2011-05-03 18:14:02 -07:00
export-fully-qualified.rs Add missing ret statements to check_mod 2011-05-04 19:29:27 -04:00
export-import.rs Add missing ret statements to check_mod 2011-05-04 19:29:27 -04:00
export-no-tag-variants.rs Add missing ret statements to check_mod 2011-05-04 19:29:27 -04:00
export-tag-variant.rs Add missing ret statements to check_mod 2011-05-04 19:29:27 -04:00
export.rs Add missing ret statements to check_mod 2011-05-04 19:29:27 -04:00
export2.rs Add missing ret statements to check_mod 2011-05-04 19:29:27 -04:00
fru-extra-field.rs Further corrections to the Makefile rules covering failing tests. 2011-01-10 14:53:20 -08:00
fru-typestate.rs Enable typestate_check 2011-04-28 13:26:19 -07:00
import-loop-2.rs Catch cyclic imports harder. Add 2 tests to confirm. 2010-07-09 11:59:00 -07:00
import-loop.rs Catch cyclic imports harder. Add 2 tests to confirm. 2010-07-09 11:59:00 -07:00
import.rs Switch xfail system to use comments embedded in source files. 2011-03-25 12:19:20 -07:00
import2.rs Switch xfail system to use comments embedded in source files. 2011-03-25 12:19:20 -07:00
import3.rs Switch xfail system to use comments embedded in source files. 2011-03-25 12:19:20 -07:00
import4.rs Switch xfail system to use comments embedded in source files. 2011-03-25 12:19:20 -07:00
impure-pred.rs Test cases for pred / check stuff 2011-05-05 11:26:07 -07:00
infinite-tag-type-recursion.rs Assume xfail-stage0 implies stage1 and stage2 in tests, for now. 2011-05-03 18:14:02 -07:00
infinite-vec-type-recursion.rs Assume xfail-stage0 implies stage1 and stage2 in tests, for now. 2011-05-03 18:14:02 -07:00
item-name-overload.rs Assume xfail-stage0 implies stage1 and stage2 in tests, for now. 2011-05-03 18:14:02 -07:00
missing-return.rs Assume xfail-stage0 implies stage1 and stage2 in tests, for now. 2011-05-03 18:14:02 -07:00
multiline-comment-line-tracking.rs Fix test now that we look at the full error-pattern. Also enable it for rustc. 2011-01-26 12:06:19 -05:00
no-self-dispatch.rs Assume xfail-stage0 implies stage1 and stage2 in tests, for now. 2011-05-03 18:14:02 -07:00
not-a-pred-2.rs Test cases for pred / check stuff 2011-05-05 11:26:07 -07:00
not-a-pred-3.rs Test cases for pred / check stuff 2011-05-05 11:26:07 -07:00
not-a-pred-check.rs Test cases for pred / check stuff 2011-05-05 11:26:07 -07:00
not-a-pred.rs Un-XFAILed not-a-pred in stage0 (it fails correctly) 2011-05-05 11:26:07 -07:00
not-pred-args.rs Test cases for pred / check stuff 2011-05-05 11:26:07 -07:00
output-type-mismatch.rs Populate tree. 2010-06-23 21:03:09 -07:00
pred-not-bool.rs Enforce in typechecker that preds return a bool 2011-05-05 11:26:07 -07:00
pred-on-wrong-slots.rs Assume xfail-stage0 implies stage1 and stage2 in tests, for now. 2011-05-03 18:14:02 -07:00
put-in-fn.rs Assume xfail-stage0 implies stage1 and stage2 in tests, for now. 2011-05-03 18:14:02 -07:00
rec-missing-fields.rs Further corrections to the Makefile rules covering failing tests. 2011-01-10 14:53:20 -08:00
reserved-dec.rs Teach rustc about reserved keywords 2011-02-22 21:52:23 -05:00
reserved-f16.rs Teach rustc about reserved keywords 2011-02-22 21:52:23 -05:00
reserved-f80.rs Teach rustc about reserved keywords 2011-02-22 21:52:23 -05:00
reserved-f128.rs Teach rustc about reserved keywords 2011-02-22 21:52:23 -05:00
reserved-m32.rs Teach rustc about reserved keywords 2011-02-22 21:52:23 -05:00
reserved-m64.rs Teach rustc about reserved keywords 2011-02-22 21:52:23 -05:00
reserved-m128.rs Teach rustc about reserved keywords 2011-02-22 21:52:23 -05:00
return-uninit.rs Enable typestate_check 2011-04-28 13:26:19 -07:00
self-missing-method.rs Beginnings of support for magical self prefix; nothing profound happening yet. 2011-03-29 15:59:15 -07:00
slot-as-pred.rs Assume xfail-stage0 implies stage1 and stage2 in tests, for now. 2011-05-03 18:14:02 -07:00
spawn-non-nil-fn.rs Assume xfail-stage0 implies stage1 and stage2 in tests, for now. 2011-05-03 18:14:02 -07:00
tail-non-call.rs Switch xfail system to use comments embedded in source files. 2011-03-25 12:19:20 -07:00
tail-typeck.rs Cleanup for 'be' statement and comments about future typestate 2011-02-10 12:12:10 -08:00
type-shadow.rs Populate tree. 2010-06-23 21:03:09 -07:00
unbalanced-comment.rs Assume xfail-stage0 implies stage1 and stage2 in tests, for now. 2011-05-03 18:14:02 -07:00
use-uninit-2.rs Enable typestate_check 2011-04-28 13:26:19 -07:00
use-uninit-3.rs Enable typestate_check 2011-04-28 13:26:19 -07:00
use-uninit-dtor.rs Enable typestate_check 2011-04-28 13:26:19 -07:00
use-uninit.rs Enable typestate_check 2011-04-28 13:26:19 -07:00
while-bypass.rs Enable typestate_check 2011-04-28 13:26:19 -07:00
while-expr.rs Enable typestate_check 2011-04-28 13:26:19 -07:00
while-type-error.rs Populate tree. 2010-06-23 21:03:09 -07:00
writing-through-read-alias.rs Assume xfail-stage0 implies stage1 and stage2 in tests, for now. 2011-05-03 18:14:02 -07:00
writing-through-uninit-vec.rs Enable typestate_check 2011-04-28 13:26:19 -07:00
writing-to-immutable-obj.rs Assume xfail-stage0 implies stage1 and stage2 in tests, for now. 2011-05-03 18:14:02 -07:00
writing-to-immutable-rec.rs Assume xfail-stage0 implies stage1 and stage2 in tests, for now. 2011-05-03 18:14:02 -07:00
writing-to-immutable-tup.rs Assume xfail-stage0 implies stage1 and stage2 in tests, for now. 2011-05-03 18:14:02 -07:00
writing-to-immutable-vec.rs Assume xfail-stage0 implies stage1 and stage2 in tests, for now. 2011-05-03 18:14:02 -07:00
wrong-ret-type.rs Missing semicolon in type.ml, plus test to catch regression. Closes #113. 2010-07-19 11:50:41 -07:00