Tim Chevalier 3060eadcba Check well-formedness of constraints ...

Check that the operand in a constraint is an explicit name,
and that the operands are all local variables or literals. Still need
to check that the name refers to a pure function.

2011-05-05 11:26:07 -07:00

..

alt-tag-nullary.rs

…

alt-tag-unary.rs

…

arg-count-mismatch.rs

…

arg-type-mismatch.rs

…

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-path2.rs

…

bad-expr-path.rs

…

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

…

break-uninit2.rs

Enable typestate_check

2011-04-28 13:26:19 -07:00

break-uninit.rs

Enable typestate_check

2011-04-28 13:26:19 -07:00

capture1.rs

…

capture2.rs

…

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

export2.rs

Add missing ret statements to check_mod

2011-05-04 19:29:27 -04: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

fru-extra-field.rs

…

fru-typestate.rs

Enable typestate_check

2011-04-28 13:26:19 -07:00

import2.rs

…

import3.rs

…

import4.rs

…

import-loop-2.rs

…

import-loop.rs

…

import.rs

…

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

…

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

Check that the operand in a check is a call

2011-05-05 11:26:07 -07:00

not-a-pred-3.rs

Check well-formedness of constraints

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

Check well-formedness of constraints

2011-05-05 11:26:07 -07:00

output-type-mismatch.rs

…

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

…

reserved-dec.rs

…

reserved-f16.rs

…

reserved-f80.rs

…

reserved-f128.rs

…

reserved-m32.rs

…

reserved-m64.rs

…

reserved-m128.rs

…

return-uninit.rs

Enable typestate_check

2011-04-28 13:26:19 -07:00

self-missing-method.rs

…

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

…

tail-typeck.rs

…

type-shadow.rs

…

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

…

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

…