diff options
| author | Graydon Hoare <[email protected]> | 2011-03-25 12:19:20 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2011-03-25 12:19:20 -0700 |
| commit | 49d9d5688e12a7874cd6e06c0122577e6b7d1167 (patch) | |
| tree | 8149415e7b553a5f85b1f15eb56cca581373d1aa /src/test/compile-fail | |
| parent | Parse FP literals without coercing to int. This allows parsing 64-bit (diff) | |
| download | rust-49d9d5688e12a7874cd6e06c0122577e6b7d1167.tar.xz rust-49d9d5688e12a7874cd6e06c0122577e6b7d1167.zip | |
Switch xfail system to use comments embedded in source files.
Diffstat (limited to 'src/test/compile-fail')
51 files changed, 55 insertions, 0 deletions
diff --git a/src/test/compile-fail/bad-alt.rs b/src/test/compile-fail/bad-alt.rs index f2582879..0b5dbbfe 100644 --- a/src/test/compile-fail/bad-alt.rs +++ b/src/test/compile-fail/bad-alt.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: Unexpected token 'x' fn main() { diff --git a/src/test/compile-fail/bad-env-capture.rs b/src/test/compile-fail/bad-env-capture.rs index 013bb56e..8e30ac44 100644 --- a/src/test/compile-fail/bad-env-capture.rs +++ b/src/test/compile-fail/bad-env-capture.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: attempted dynamic environment-capture fn foo() { let int x; diff --git a/src/test/compile-fail/bad-expr-path.rs b/src/test/compile-fail/bad-expr-path.rs index 97c95c01..01e27c5a 100644 --- a/src/test/compile-fail/bad-expr-path.rs +++ b/src/test/compile-fail/bad-expr-path.rs @@ -1,3 +1,4 @@ +// xfail-boot // error-pattern: unresolved name: a mod m1 { diff --git a/src/test/compile-fail/bad-main.rs b/src/test/compile-fail/bad-main.rs index 8e3fa503..d1a5203f 100644 --- a/src/test/compile-fail/bad-main.rs +++ b/src/test/compile-fail/bad-main.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: bad type signature fn main(int x) { diff --git a/src/test/compile-fail/bad-name.rs b/src/test/compile-fail/bad-name.rs index 44a30219..99324ce1 100644 --- a/src/test/compile-fail/bad-name.rs +++ b/src/test/compile-fail/bad-name.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: malformed name diff --git a/src/test/compile-fail/bad-recv.rs b/src/test/compile-fail/bad-recv.rs index cccb735d..031d1059 100644 --- a/src/test/compile-fail/bad-recv.rs +++ b/src/test/compile-fail/bad-recv.rs @@ -1,3 +1,5 @@ +// xfail-boot +// xfail-stage0 // error-pattern: mismatched types fn main() { diff --git a/src/test/compile-fail/bad-send.rs b/src/test/compile-fail/bad-send.rs index e699b4e3..4a97539f 100644 --- a/src/test/compile-fail/bad-send.rs +++ b/src/test/compile-fail/bad-send.rs @@ -1,3 +1,5 @@ +// xfail-boot +// xfail-stage0 // error-pattern: mismatched types fn main() { diff --git a/src/test/compile-fail/bad-type-env-capture.rs b/src/test/compile-fail/bad-type-env-capture.rs index e18e63a7..53b96278 100644 --- a/src/test/compile-fail/bad-type-env-capture.rs +++ b/src/test/compile-fail/bad-type-env-capture.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: attempted dynamic environment-capture fn foo[T]() { obj bar(T b) {} } fn main() {}
\ No newline at end of file diff --git a/src/test/compile-fail/bind-alias.rs b/src/test/compile-fail/bind-alias.rs index b2f53252..7d85d07f 100644 --- a/src/test/compile-fail/bind-alias.rs +++ b/src/test/compile-fail/bind-alias.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: binding alias slot fn f(&int x) {} diff --git a/src/test/compile-fail/comm-makes-io.rs b/src/test/compile-fail/comm-makes-io.rs index 57a8e6e8..4a0f704a 100644 --- a/src/test/compile-fail/comm-makes-io.rs +++ b/src/test/compile-fail/comm-makes-io.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: calculated effect is 'impure' fn main() { diff --git a/src/test/compile-fail/constructor-as-cast.rs b/src/test/compile-fail/constructor-as-cast.rs index 2374cd2c..6d81b693 100644 --- a/src/test/compile-fail/constructor-as-cast.rs +++ b/src/test/compile-fail/constructor-as-cast.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: non-type context type base = obj { diff --git a/src/test/compile-fail/dead-code-be.rs b/src/test/compile-fail/dead-code-be.rs index af1456a4..5a069c5a 100644 --- a/src/test/compile-fail/dead-code-be.rs +++ b/src/test/compile-fail/dead-code-be.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // -*- rust -*- // error-pattern: dead diff --git a/src/test/compile-fail/dead-code-ret.rs b/src/test/compile-fail/dead-code-ret.rs index 4c52fcaa..c992e4e5 100644 --- a/src/test/compile-fail/dead-code-ret.rs +++ b/src/test/compile-fail/dead-code-ret.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // -*- rust -*- // error-pattern: dead diff --git a/src/test/compile-fail/direct-obj-fn-call.rs b/src/test/compile-fail/direct-obj-fn-call.rs index fa067725..e4184ccd 100644 --- a/src/test/compile-fail/direct-obj-fn-call.rs +++ b/src/test/compile-fail/direct-obj-fn-call.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: is not a mod diff --git a/src/test/compile-fail/does-nothing.rs b/src/test/compile-fail/does-nothing.rs index 805d3142..e6680193 100644 --- a/src/test/compile-fail/does-nothing.rs +++ b/src/test/compile-fail/does-nothing.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: does nothing fn main() { log "doing"; diff --git a/src/test/compile-fail/export.rs b/src/test/compile-fail/export.rs index 7a00f221..84e87c2e 100644 --- a/src/test/compile-fail/export.rs +++ b/src/test/compile-fail/export.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: unknown module item mod foo { export x; diff --git a/src/test/compile-fail/fru-typestate.rs b/src/test/compile-fail/fru-typestate.rs index 86c68e5b..74fcdb26 100644 --- a/src/test/compile-fail/fru-typestate.rs +++ b/src/test/compile-fail/fru-typestate.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // -*- rust -*- // error-pattern: precondition diff --git a/src/test/compile-fail/import.rs b/src/test/compile-fail/import.rs index 71ef0dec..db1eac5c 100644 --- a/src/test/compile-fail/import.rs +++ b/src/test/compile-fail/import.rs @@ -1,3 +1,4 @@ +// xfail-boot // error-pattern: unresolved name: baz import zed.bar; import zed.baz; diff --git a/src/test/compile-fail/import2.rs b/src/test/compile-fail/import2.rs index 5a9ddcbd..91d2ade3 100644 --- a/src/test/compile-fail/import2.rs +++ b/src/test/compile-fail/import2.rs @@ -1,3 +1,4 @@ +// xfail-boot // error-pattern: unresolved name: zed import baz.zed.bar; mod baz { diff --git a/src/test/compile-fail/import3.rs b/src/test/compile-fail/import3.rs index 16aa43ea..eede7626 100644 --- a/src/test/compile-fail/import3.rs +++ b/src/test/compile-fail/import3.rs @@ -1,3 +1,4 @@ +// xfail-boot // error-pattern: main is not a module or crate import main.bar; diff --git a/src/test/compile-fail/import4.rs b/src/test/compile-fail/import4.rs index 3e1208f5..bbef8d53 100644 --- a/src/test/compile-fail/import4.rs +++ b/src/test/compile-fail/import4.rs @@ -1,3 +1,4 @@ +// xfail-boot // error-pattern: cyclic import import zed.bar; diff --git a/src/test/compile-fail/impure-pred.rs b/src/test/compile-fail/impure-pred.rs index c322850b..17a651ca 100644 --- a/src/test/compile-fail/impure-pred.rs +++ b/src/test/compile-fail/impure-pred.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // -*- rust -*- // error-pattern: impure function used in constraint diff --git a/src/test/compile-fail/infinite-tag-type-recursion.rs b/src/test/compile-fail/infinite-tag-type-recursion.rs index 17f8f594..8ba0e25b 100644 --- a/src/test/compile-fail/infinite-tag-type-recursion.rs +++ b/src/test/compile-fail/infinite-tag-type-recursion.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // -*- rust -*- // error-pattern: tag of infinite size diff --git a/src/test/compile-fail/infinite-vec-type-recursion.rs b/src/test/compile-fail/infinite-vec-type-recursion.rs index 9315488b..4534f119 100644 --- a/src/test/compile-fail/infinite-vec-type-recursion.rs +++ b/src/test/compile-fail/infinite-vec-type-recursion.rs @@ -1,3 +1,5 @@ +// xfail-boot +// xfail-stage0 // -*- rust -*- // error-pattern: infinite recursive type definition diff --git a/src/test/compile-fail/io-infects-caller.rs b/src/test/compile-fail/io-infects-caller.rs index b07f46e6..5e8281c5 100644 --- a/src/test/compile-fail/io-infects-caller.rs +++ b/src/test/compile-fail/io-infects-caller.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: calculated effect is 'impure' impure fn foo() { diff --git a/src/test/compile-fail/item-name-overload.rs b/src/test/compile-fail/item-name-overload.rs index f0f585f5..5cff8b98 100644 --- a/src/test/compile-fail/item-name-overload.rs +++ b/src/test/compile-fail/item-name-overload.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // -*- rust -*- // error-pattern: name diff --git a/src/test/compile-fail/missing-return.rs b/src/test/compile-fail/missing-return.rs index 34fb4105..4c73a4fd 100644 --- a/src/test/compile-fail/missing-return.rs +++ b/src/test/compile-fail/missing-return.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: return fn f() -> int { diff --git a/src/test/compile-fail/native-makes-unsafe.rs b/src/test/compile-fail/native-makes-unsafe.rs index d6e77b0d..d158f563 100644 --- a/src/test/compile-fail/native-makes-unsafe.rs +++ b/src/test/compile-fail/native-makes-unsafe.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: calculated effect is 'unsafe' native mod foo { diff --git a/src/test/compile-fail/no-self-dispatch.rs b/src/test/compile-fail/no-self-dispatch.rs index be90c12f..96089e67 100644 --- a/src/test/compile-fail/no-self-dispatch.rs +++ b/src/test/compile-fail/no-self-dispatch.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: unresolved identifier obj oT() { fn get() -> int { diff --git a/src/test/compile-fail/not-a-pred.rs b/src/test/compile-fail/not-a-pred.rs index 4a899512..c599f3bc 100644 --- a/src/test/compile-fail/not-a-pred.rs +++ b/src/test/compile-fail/not-a-pred.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // -*- rust -*- // error-pattern: mismatched types diff --git a/src/test/compile-fail/pred-on-wrong-slots.rs b/src/test/compile-fail/pred-on-wrong-slots.rs index cf31b8bd..7106df5c 100644 --- a/src/test/compile-fail/pred-on-wrong-slots.rs +++ b/src/test/compile-fail/pred-on-wrong-slots.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // -*- rust -*- // error-pattern: Unsatisfied .* lt(a, c) diff --git a/src/test/compile-fail/put-in-fn.rs b/src/test/compile-fail/put-in-fn.rs index 9f704bc3..22882ff2 100644 --- a/src/test/compile-fail/put-in-fn.rs +++ b/src/test/compile-fail/put-in-fn.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: iterator function fn f() -> int { diff --git a/src/test/compile-fail/return-uninit.rs b/src/test/compile-fail/return-uninit.rs index 37117169..047db518 100644 --- a/src/test/compile-fail/return-uninit.rs +++ b/src/test/compile-fail/return-uninit.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: precondition constraint fn f() -> int { diff --git a/src/test/compile-fail/slot-as-pred.rs b/src/test/compile-fail/slot-as-pred.rs index 1da8df84..2ba4a30c 100644 --- a/src/test/compile-fail/slot-as-pred.rs +++ b/src/test/compile-fail/slot-as-pred.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // -*- rust -*- // error-pattern: mismatched types diff --git a/src/test/compile-fail/spawn-non-nil-fn.rs b/src/test/compile-fail/spawn-non-nil-fn.rs index 4d869bba..bd7d7d9f 100644 --- a/src/test/compile-fail/spawn-non-nil-fn.rs +++ b/src/test/compile-fail/spawn-non-nil-fn.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: mismatched types fn f(int x) -> int { diff --git a/src/test/compile-fail/tail-non-call.rs b/src/test/compile-fail/tail-non-call.rs index 00a451f6..e2dbc381 100644 --- a/src/test/compile-fail/tail-non-call.rs +++ b/src/test/compile-fail/tail-non-call.rs @@ -1,3 +1,4 @@ +// xfail-boot // error-pattern: Non-call expression in tail call fn f() -> int { diff --git a/src/test/compile-fail/unbalanced-comment.rs b/src/test/compile-fail/unbalanced-comment.rs index a1916fdc..f49e7447 100644 --- a/src/test/compile-fail/unbalanced-comment.rs +++ b/src/test/compile-fail/unbalanced-comment.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // -*- rust -*- // error-pattern: token diff --git a/src/test/compile-fail/unnecessary-io.rs b/src/test/compile-fail/unnecessary-io.rs index fb50a54c..64784661 100644 --- a/src/test/compile-fail/unnecessary-io.rs +++ b/src/test/compile-fail/unnecessary-io.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: calculated effect is '' impure fn main() { log "hi"; diff --git a/src/test/compile-fail/unnecessary-unsafe.rs b/src/test/compile-fail/unnecessary-unsafe.rs index 6705bf34..9d48f164 100644 --- a/src/test/compile-fail/unnecessary-unsafe.rs +++ b/src/test/compile-fail/unnecessary-unsafe.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: calculated effect is '' unsafe fn main() { log "hi"; diff --git a/src/test/compile-fail/unsafe-infects-caller.rs b/src/test/compile-fail/unsafe-infects-caller.rs index 28daea6c..532024e5 100644 --- a/src/test/compile-fail/unsafe-infects-caller.rs +++ b/src/test/compile-fail/unsafe-infects-caller.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: calculated effect is 'unsafe' native mod foo { diff --git a/src/test/compile-fail/use-uninit-2.rs b/src/test/compile-fail/use-uninit-2.rs index 79cebe28..c77676b8 100644 --- a/src/test/compile-fail/use-uninit-2.rs +++ b/src/test/compile-fail/use-uninit-2.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern:Unsatisfied precondition fn foo(int x) { diff --git a/src/test/compile-fail/use-uninit-3.rs b/src/test/compile-fail/use-uninit-3.rs index e6545451..5dd3926b 100644 --- a/src/test/compile-fail/use-uninit-3.rs +++ b/src/test/compile-fail/use-uninit-3.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern:Unsatisfied precondition fn foo(int x) { diff --git a/src/test/compile-fail/use-uninit.rs b/src/test/compile-fail/use-uninit.rs index 03dafdcc..bd2e9f41 100644 --- a/src/test/compile-fail/use-uninit.rs +++ b/src/test/compile-fail/use-uninit.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern:Unsatisfied precondition fn foo(int x) { diff --git a/src/test/compile-fail/while-bypass.rs b/src/test/compile-fail/while-bypass.rs index 1de89e90..b49152b3 100644 --- a/src/test/compile-fail/while-bypass.rs +++ b/src/test/compile-fail/while-bypass.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: precondition constraint fn f() -> int { diff --git a/src/test/compile-fail/while-expr.rs b/src/test/compile-fail/while-expr.rs index 9077c18f..295752f8 100644 --- a/src/test/compile-fail/while-expr.rs +++ b/src/test/compile-fail/while-expr.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: precondition constraint fn main() { diff --git a/src/test/compile-fail/writing-through-read-alias.rs b/src/test/compile-fail/writing-through-read-alias.rs index 2a8ec11e..373c6082 100644 --- a/src/test/compile-fail/writing-through-read-alias.rs +++ b/src/test/compile-fail/writing-through-read-alias.rs @@ -1,3 +1,5 @@ +// xfail-boot +// xfail-stage0 // -*- rust -*- // error-pattern: writing to immutable type diff --git a/src/test/compile-fail/writing-through-uninit-vec.rs b/src/test/compile-fail/writing-through-uninit-vec.rs index 55edbf87..7757609d 100644 --- a/src/test/compile-fail/writing-through-uninit-vec.rs +++ b/src/test/compile-fail/writing-through-uninit-vec.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: Unsatisfied precondition constraint fn test() { diff --git a/src/test/compile-fail/writing-to-immutable-obj.rs b/src/test/compile-fail/writing-to-immutable-obj.rs index ffa2cebe..563fc9cd 100644 --- a/src/test/compile-fail/writing-to-immutable-obj.rs +++ b/src/test/compile-fail/writing-to-immutable-obj.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: writing to immutable type obj objy(int x) { fn foo() -> () { diff --git a/src/test/compile-fail/writing-to-immutable-rec.rs b/src/test/compile-fail/writing-to-immutable-rec.rs index 42206fe4..8e94dfd9 100644 --- a/src/test/compile-fail/writing-to-immutable-rec.rs +++ b/src/test/compile-fail/writing-to-immutable-rec.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: writing to immutable type fn main() { let rec(int x) r = rec(x=1); diff --git a/src/test/compile-fail/writing-to-immutable-tup.rs b/src/test/compile-fail/writing-to-immutable-tup.rs index bd974dcc..e05aa55b 100644 --- a/src/test/compile-fail/writing-to-immutable-tup.rs +++ b/src/test/compile-fail/writing-to-immutable-tup.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: writing to immutable type fn main() { let tup(int) t = tup(1); diff --git a/src/test/compile-fail/writing-to-immutable-vec.rs b/src/test/compile-fail/writing-to-immutable-vec.rs index 341037c3..dac122b8 100644 --- a/src/test/compile-fail/writing-to-immutable-vec.rs +++ b/src/test/compile-fail/writing-to-immutable-vec.rs @@ -1,3 +1,4 @@ +// xfail-stage0 // error-pattern: writing to immutable type fn main() { let vec[int] v = vec(1, 2, 3); |