Switch xfail system to use comments embedded in source files.

This commit is contained in:
Graydon Hoare 2011-03-25 12:19:20 -07:00
parent a47cd50dfb
commit 49d9d5688e
162 changed files with 244 additions and 233 deletions

View File

@ -568,195 +568,17 @@ docsnap: doc/rust.pdf
# Testing variables
######################################################################
# Float doesn't work in boot
TEST_XFAILS_BOOT = $(shell grep \
--recursive \
--files-with-matches \
--include=*.rs --include=*.rc \
xfail-boot $(S)src/test)
FLOAT_XFAILS := $(S)src/test/run-pass/float.rs \
$(S)src/test/run-pass/float2.rs \
$(S)src/test/run-pass/float-signature.rs \
$(S)src/test/run-pass/floatlits.rs
# Temporarily xfail tests broken by the nominal-tags change.
NOMINAL_TAG_XFAILS := $(S)src/test/run-pass/mlist.rs
# Temporarily xfail tests broken by the constant-tags change.
CONST_TAG_XFAILS := $(S)src/test/run-pass/generic-tag.rs
# Temporarily xfail some of the task tests, while debugging the
# overhauled inter-domain messaging system.
TASK_XFAILS := $(addprefix $(S)src/test/run-pass/, \
task-comm-8.rs \
task-comm-10.rs \
task-comm-15.rs \
task-comm-12.rs \
task-comm-2.rs \
task-comm-9.rs \
task-comm-chan-nil.rs \
task-life-0.rs \
alt-type-simple.rs \
many.rs)
TEST_XFAILS_BOOT := $(TASK_XFAILS) \
$(NOMINAL_TAG_XFAILS) \
$(CONST_TAG_XFAILS) \
$(FLOAT_XFAILS) \
$(addprefix $(S)src/test/run-pass/, \
arith-unsigned.rs \
box-compare.rs \
child-outlives-parent.rs \
clone-with-exterior.rs \
constrained-type.rs \
destructor-ordering.rs \
obj-as.rs \
vec-slice.rs \
fn-lval.rs \
empty-mutable-vec.rs \
generic-bind-2.rs \
generic-fn-box.rs \
generic-tup.rs \
iter-ret.rs \
leak-tag-copy.rs \
lib-io.rs \
maybe-mutable.rs \
mlist-cycle.rs \
obj-as.rs \
seq-compare.rs \
task-comm.rs \
task-comm-3.rs \
vec-slice.rs \
while-and-do-while.rs) \
$(addprefix $(S)src/test/run-fail/, \
task-comm-14.rs) \
$(addprefix $(S)src/test/compile-fail/, \
bad-expr-path.rs \
import.rs \
import2.rs \
import3.rs \
import4.rs \
bad-recv.rs \
bad-send.rs \
infinite-vec-type-recursion.rs \
tail-non-call.rs \
writing-through-read-alias.rs) \
$(S)src/test/bench/shootout/nbody.rs
TEST_XFAILS_STAGE0 := $(addprefix $(S)src/test/run-pass/, \
acyclic-unwind.rs \
alt-pattern-drop.rs \
alt-type-simple.rs \
basic-1.rs \
basic-2.rs \
basic.rs \
child-outlives-parent.rs \
clone-with-exterior.rs \
comm.rs \
constrained-type.rs \
destructor-ordering.rs \
iter-ret.rs \
lazychan.rs \
lib-bitv.rs \
lib-deque.rs \
lib-int.rs \
lib-io.rs \
lib-map.rs \
lib-rand.rs \
lib-sha1.rs \
lib-sort.rs \
lib-str.rs \
lib-str-buf.rs \
lib-task.rs \
lib-uint.rs \
lib-vec-str-conversions.rs \
lib-vec.rs \
many.rs \
mlist-cycle.rs \
mlist.rs \
mutable-alias-vec.rs \
obj-as.rs \
obj-dtor.rs \
pred.rs \
preempt.rs \
rt-circular-buffer.rs \
size-and-align.rs \
spawn-fn.rs \
spawn-module-qualified.rs \
spawn.rs \
str-append.rs \
syntax-extension-fmt.rs \
syntax-extension-shell.rs \
task-comm-0.rs \
task-comm-1.rs \
task-comm-10.rs \
task-comm-11.rs \
task-comm-12.rs \
task-comm-13-thread.rs \
task-comm-13.rs \
task-comm-15.rs \
task-comm-2.rs \
task-comm-3.rs \
task-comm-7.rs \
task-comm-8.rs \
task-comm-9.rs \
task-comm.rs \
task-killjoin.rs \
task-life-0.rs \
threads.rs \
type-sizes.rs \
typestate-cfg-nesting.rs \
use.rs \
use-import-export.rs \
user.rs \
utf8.rs \
utf8_chars.rs \
vec-alloc-append.rs \
vec-append.rs \
vec-slice.rs \
while-with-break.rs \
yield.rs \
yield2.rs \
multi.rc \
native-mod.rc \
native.rc \
) \
$(filter-out \
$(addprefix $(S)src/test/compile-fail/, \
alt-tag-nullary.rs \
alt-tag-unary.rs \
arg-count-mismatch.rs \
arg-type-mismatch.rs \
bad-expr-path.rs \
bad-expr-path2.rs \
bogus-tag.rs \
fru-extra-field.rs \
import.rs \
import2.rs \
import3.rs \
import4.rs \
import-loop.rs \
import-loop-2.rs \
multiline-comment-line-tracking.rs \
output-type-mismatch.rs \
rec-missing-fields.rs \
reserved-dec.rs \
reserved-f128.rs \
reserved-f16.rs \
reserved-f80.rs \
reserved-m128.rs \
reserved-m32.rs \
reserved-m64.rs \
tail-non-call.rs \
tail-typeck.rs \
type-shadow.rs \
while-type-error.rs \
wrong-ret-type.rs \
), \
$(wildcard $(S)src/test/*fail/*.rs test/*fail/*.rc)) \
$(S)src/test/bench/shootout/fannkuchredux.rs \
$(S)src/test/bench/shootout/fasta.rs \
$(S)src/test/bench/shootout/binarytrees.rs \
$(wildcard $(S)src/test/bench/99-bottles/*rs)
TEST_XFAILS_STAGE0 = $(shell grep \
--recursive \
--files-with-matches \
--include=*.rs --include=*.rc \
xfail-stage0 $(S)src/test)
ifdef MINGW_CROSS
TEST_XFAILS_BOOT += $(S)src/test/run-pass/native-mod.rc
@ -767,106 +589,106 @@ TEST_XFAILS_BOOT += $(S)src/test/run-pass/native-mod.rc
TEST_XFAILS_STAGE0 += $(S)src/test/run-pass/native-mod.rc
endif
BENCH_RS := $(wildcard $(S)src/test/bench/shootout/*.rs) \
BENCH_RS = $(wildcard $(S)src/test/bench/shootout/*.rs) \
$(wildcard $(S)src/test/bench/99-bottles/*.rs)
RPASS_RC := $(wildcard $(S)src/test/run-pass/*.rc)
RPASS_RS := $(wildcard $(S)src/test/run-pass/*.rs) $(BENCH_RS)
RFAIL_RC := $(wildcard $(S)src/test/run-fail/*.rc)
RFAIL_RS := $(wildcard $(S)src/test/run-fail/*.rs)
CFAIL_RC := $(wildcard $(S)src/test/compile-fail/*.rc)
CFAIL_RS := $(wildcard $(S)src/test/compile-fail/*.rs)
RPASS_RC = $(wildcard $(S)src/test/run-pass/*.rc)
RPASS_RS = $(wildcard $(S)src/test/run-pass/*.rs) $(BENCH_RS)
RFAIL_RC = $(wildcard $(S)src/test/run-fail/*.rc)
RFAIL_RS = $(wildcard $(S)src/test/run-fail/*.rs)
CFAIL_RC = $(wildcard $(S)src/test/compile-fail/*.rc)
CFAIL_RS = $(wildcard $(S)src/test/compile-fail/*.rs)
ifdef CHECK_XFAILS
TEST_RPASS_CRATES_BOOT := $(filter $(TEST_XFAILS_BOOT), $(RPASS_RC))
TEST_RPASS_CRATES_STAGE0 := $(filter $(TEST_XFAILS_STAGE0), $(RPASS_RC))
TEST_RPASS_SOURCES_BOOT := $(filter $(TEST_XFAILS_BOOT), $(RPASS_RS))
TEST_RPASS_SOURCES_STAGE0 := $(filter $(TEST_XFAILS_STAGE0), $(RPASS_RS))
TEST_RPASS_CRATES_BOOT = $(filter $(TEST_XFAILS_BOOT), $(RPASS_RC))
TEST_RPASS_CRATES_STAGE0 = $(filter $(TEST_XFAILS_STAGE0), $(RPASS_RC))
TEST_RPASS_SOURCES_BOOT = $(filter $(TEST_XFAILS_BOOT), $(RPASS_RS))
TEST_RPASS_SOURCES_STAGE0 = $(filter $(TEST_XFAILS_STAGE0), $(RPASS_RS))
else
TEST_RPASS_CRATES_BOOT := $(filter-out $(TEST_XFAILS_BOOT), $(RPASS_RC))
TEST_RPASS_CRATES_STAGE0 := $(filter-out $(TEST_XFAILS_STAGE0), $(RPASS_RC))
TEST_RPASS_SOURCES_BOOT := $(filter-out $(TEST_XFAILS_BOOT), $(RPASS_RS))
TEST_RPASS_SOURCES_STAGE0 := $(filter-out $(TEST_XFAILS_STAGE0), $(RPASS_RS))
TEST_RPASS_CRATES_BOOT = $(filter-out $(TEST_XFAILS_BOOT), $(RPASS_RC))
TEST_RPASS_CRATES_STAGE0 = $(filter-out $(TEST_XFAILS_STAGE0), $(RPASS_RC))
TEST_RPASS_SOURCES_BOOT = $(filter-out $(TEST_XFAILS_BOOT), $(RPASS_RS))
TEST_RPASS_SOURCES_STAGE0 = $(filter-out $(TEST_XFAILS_STAGE0), $(RPASS_RS))
endif
TEST_RPASS_EXES_BOOT := \
TEST_RPASS_EXES_BOOT = \
$(subst $(S)src/,,$(TEST_RPASS_CRATES_BOOT:.rc=.boot$(X))) \
$(subst $(S)src/,,$(TEST_RPASS_SOURCES_BOOT:.rs=.boot$(X)))
TEST_RPASS_EXES_STAGE0 := \
TEST_RPASS_EXES_STAGE0 = \
$(subst $(S)src/,,$(TEST_RPASS_CRATES_STAGE0:.rc=.stage0$(X))) \
$(subst $(S)src/,,$(TEST_RPASS_SOURCES_STAGE0:.rs=.stage0$(X)))
TEST_RPASS_OUTS_BOOT := \
TEST_RPASS_OUTS_BOOT = \
$(TEST_RPASS_EXES_BOOT:.boot$(X)=.boot.out)
TEST_RPASS_OUTS_STAGE0 := \
TEST_RPASS_OUTS_STAGE0 = \
$(TEST_RPASS_EXES_STAGE0:.stage0$(X)=.stage0.out)
TEST_RPASS_TMPS_BOOT := \
TEST_RPASS_TMPS_BOOT = \
$(TEST_RPASS_EXES_BOOT:.boot$(X)=.boot$(X).tmp)
TEST_RPASS_TMPS_STAGE0 := \
TEST_RPASS_TMPS_STAGE0 = \
$(TEST_RPASS_EXES_STAGE0:.stage0$(X)=.stage0$(X).tmp)
TEST_RFAIL_CRATES_BOOT := $(filter-out $(TEST_XFAILS_BOOT), $(RFAIL_RC))
TEST_RFAIL_CRATES_STAGE0 := $(filter-out $(TEST_XFAILS_STAGE0), $(RFAIL_RC))
TEST_RFAIL_SOURCES_BOOT := $(filter-out $(TEST_XFAILS_BOOT), $(RFAIL_RS))
TEST_RFAIL_SOURCES_STAGE0 := $(filter-out $(TEST_XFAILS_STAGE0), $(RFAIL_RS))
TEST_RFAIL_CRATES_BOOT = $(filter-out $(TEST_XFAILS_BOOT), $(RFAIL_RC))
TEST_RFAIL_CRATES_STAGE0 = $(filter-out $(TEST_XFAILS_STAGE0), $(RFAIL_RC))
TEST_RFAIL_SOURCES_BOOT = $(filter-out $(TEST_XFAILS_BOOT), $(RFAIL_RS))
TEST_RFAIL_SOURCES_STAGE0 = $(filter-out $(TEST_XFAILS_STAGE0), $(RFAIL_RS))
TEST_RFAIL_EXES_BOOT := \
TEST_RFAIL_EXES_BOOT = \
$(subst $(S)src/,,$(TEST_RFAIL_CRATES_BOOT:.rc=.boot$(X))) \
$(subst $(S)src/,,$(TEST_RFAIL_SOURCES_BOOT:.rs=.boot$(X)))
TEST_RFAIL_EXES_STAGE0 := \
TEST_RFAIL_EXES_STAGE0 = \
$(subst $(S)src/,,$(TEST_RFAIL_CRATES_STAGE0:.rc=.stage0$(X))) \
$(subst $(S)src/,,$(TEST_RFAIL_SOURCES_STAGE0:.rs=.stage0$(X)))
TEST_RFAIL_OUTS_BOOT := \
TEST_RFAIL_OUTS_BOOT = \
$(TEST_RFAIL_EXES_BOOT:.boot$(X)=.boot.out)
TEST_RFAIL_OUTS_STAGE0 := \
TEST_RFAIL_OUTS_STAGE0 = \
$(TEST_RFAIL_EXES_STAGE0:.stage0$(X)=.stage0.out)
TEST_RFAIL_TMPS_BOOT := \
TEST_RFAIL_TMPS_BOOT = \
$(TEST_RFAIL_EXES_BOOT:.boot$(X)=.boot$(X).tmp)
TEST_RFAIL_TMPS_STAGE0 := \
TEST_RFAIL_TMPS_STAGE0 = \
$(TEST_RFAIL_EXES_STAGE0:.stage0$(X)=.stage0$(X).tmp)
TEST_CFAIL_CRATES_BOOT := $(filter-out $(TEST_XFAILS_BOOT), $(CFAIL_RC))
TEST_CFAIL_CRATES_STAGE0 := $(filter-out $(TEST_XFAILS_STAGE0), $(CFAIL_RC))
TEST_CFAIL_SOURCES_BOOT := $(filter-out $(TEST_XFAILS_BOOT), $(CFAIL_RS))
TEST_CFAIL_SOURCES_STAGE0 := $(filter-out $(TEST_XFAILS_STAGE0), $(CFAIL_RS))
TEST_CFAIL_CRATES_BOOT = $(filter-out $(TEST_XFAILS_BOOT), $(CFAIL_RC))
TEST_CFAIL_CRATES_STAGE0 = $(filter-out $(TEST_XFAILS_STAGE0), $(CFAIL_RC))
TEST_CFAIL_SOURCES_BOOT = $(filter-out $(TEST_XFAILS_BOOT), $(CFAIL_RS))
TEST_CFAIL_SOURCES_STAGE0 = $(filter-out $(TEST_XFAILS_STAGE0), $(CFAIL_RS))
TEST_CFAIL_EXES_BOOT := \
TEST_CFAIL_EXES_BOOT = \
$(subst $(S)src/,,$(TEST_CFAIL_CRATES_BOOT:.rc=.boot$(X))) \
$(subst $(S)src/,,$(TEST_CFAIL_SOURCES_BOOT:.rs=.boot$(X)))
TEST_CFAIL_EXES_STAGE0 := \
TEST_CFAIL_EXES_STAGE0 = \
$(subst $(S)src/,,$(TEST_CFAIL_CRATES_STAGE0:.rc=.stage0$(X))) \
$(subst $(S)src/,,$(TEST_CFAIL_SOURCES_STAGE0:.rs=.stage0$(X)))
TEST_CFAIL_OUTS_BOOT := \
TEST_CFAIL_OUTS_BOOT = \
$(TEST_CFAIL_EXES_BOOT:.boot$(X)=.boot.out)
TEST_CFAIL_OUTS_STAGE0 := \
TEST_CFAIL_OUTS_STAGE0 = \
$(TEST_CFAIL_EXES_STAGE0:.stage0$(X)=.stage0.out)
TEST_CFAIL_TMPS_BOOT := \
TEST_CFAIL_TMPS_BOOT = \
$(TEST_CFAIL_EXES_BOOT:.boot$(X)=.boot$(X).tmp)
TEST_CFAIL_TMPS_STAGE0 := \
TEST_CFAIL_TMPS_STAGE0 = \
$(TEST_CFAIL_EXES_STAGE0:.stage0$(X)=.stage0$(X).tmp)
ALL_TEST_CRATES := $(TEST_CFAIL_CRATES_BOOT) \
ALL_TEST_CRATES = $(TEST_CFAIL_CRATES_BOOT) \
$(TEST_RFAIL_CRATES_BOOT) \
$(TEST_RPASS_CRATES_BOOT) \
$(TEST_CFAIL_CRATES_STAGE0) \
$(TEST_RFAIL_CRATES_STAGE0) \
$(TEST_RPASS_CRATES_STAGE0)
ALL_TEST_SOURCES := $(TEST_CFAIL_SOURCES_BOOT) \
ALL_TEST_SOURCES = $(TEST_CFAIL_SOURCES_BOOT) \
$(TEST_RFAIL_SOURCES_BOOT) \
$(TEST_RPASS_SOURCES_BOOT) \
$(TEST_CFAIL_SOURCES_STAGE0) \
$(TEST_RFAIL_SOURCES_STAGE0) \
$(TEST_RPASS_SOURCES_STAGE0)
ALL_TEST_INPUTS := $(wildcard $(S)src/test/*/*.rs \
ALL_TEST_INPUTS = $(wildcard $(S)src/test/*/*.rs \
$(S)src/test/*/*/*.rs \
$(S)src/test/*/*.rc)
@ -1131,7 +953,7 @@ PKG_3RDPARTY := rt/valgrind.h rt/memcheck.h \
rt/bigint/bigint.h rt/bigint/bigint_int.cpp \
rt/bigint/bigint_ext.cpp rt/bigint/low_primes.h
PKG_FILES :=\
PKG_FILES = \
$(wildcard $(S)src/etc/*.*) \
$(S)LICENSE.txt $(S)README \
$(S)configure $(S)Makefile.in \

View File

@ -1,3 +1,4 @@
// xfail-stage0
/* -*- mode:rust;indent-tabs-mode:nil -*-
* Implementation of 99 Bottles of Beer
* http://99-bottles-of-beer.net/

View File

@ -1,3 +1,4 @@
// xfail-stage0
/* -*- mode:rust;indent-tabs-mode:nil -*-
* Implementation of 99 Bottles of Beer
* http://99-bottles-of-beer.net/

View File

@ -1,3 +1,4 @@
// xfail-stage0
/* -*- mode:rust;indent-tabs-mode:nil -*-
* Implementation of 99 Bottles of Beer
* http://99-bottles-of-beer.net/

View File

@ -1,3 +1,4 @@
// xfail-stage0
/* -*- mode:rust;indent-tabs-mode:nil -*-
* Implementation of 99 Bottles of Beer
* http://99-bottles-of-beer.net/

View File

@ -1,3 +1,4 @@
// xfail-stage0
use std;
import std._int;

View File

@ -1,3 +1,4 @@
// xfail-stage0
// Based on Isaac Gouy's fannkuchredux.csharp
use std;

View File

@ -1,3 +1,4 @@
// xfail-stage0
/* -*- mode: rust; indent-tabs-mode: nil -*-
* Implementation of 'fasta' benchmark from
* Computer Language Benchmarks Game

View File

@ -1,3 +1,4 @@
// xfail-boot
// based on:
// http://shootout.alioth.debian.org/u32/benchmark.php?test=nbody&lang=java

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: Unexpected token 'x'
fn main() {

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: attempted dynamic environment-capture
fn foo() {
let int x;

View File

@ -1,3 +1,4 @@
// xfail-boot
// error-pattern: unresolved name: a
mod m1 {

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: bad type signature
fn main(int x) {

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: malformed name

View File

@ -1,3 +1,5 @@
// xfail-boot
// xfail-stage0
// error-pattern: mismatched types
fn main() {

View File

@ -1,3 +1,5 @@
// xfail-boot
// xfail-stage0
// error-pattern: mismatched types
fn main() {

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: attempted dynamic environment-capture
fn foo[T]() { obj bar(T b) {} }
fn main() {}

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: binding alias slot
fn f(&int x) {}

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: calculated effect is 'impure'
fn main() {

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: non-type context
type base =
obj {

View File

@ -1,3 +1,4 @@
// xfail-stage0
// -*- rust -*-
// error-pattern: dead

View File

@ -1,3 +1,4 @@
// xfail-stage0
// -*- rust -*-
// error-pattern: dead

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: is not a mod

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: does nothing
fn main() {
log "doing";

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: unknown module item
mod foo {
export x;

View File

@ -1,3 +1,4 @@
// xfail-stage0
// -*- rust -*-
// error-pattern: precondition

View File

@ -1,3 +1,4 @@
// xfail-boot
// error-pattern: unresolved name: baz
import zed.bar;
import zed.baz;

View File

@ -1,3 +1,4 @@
// xfail-boot
// error-pattern: unresolved name: zed
import baz.zed.bar;
mod baz {

View File

@ -1,3 +1,4 @@
// xfail-boot
// error-pattern: main is not a module or crate
import main.bar;

View File

@ -1,3 +1,4 @@
// xfail-boot
// error-pattern: cyclic import
import zed.bar;

View File

@ -1,3 +1,4 @@
// xfail-stage0
// -*- rust -*-
// error-pattern: impure function used in constraint

View File

@ -1,3 +1,4 @@
// xfail-stage0
// -*- rust -*-
// error-pattern: tag of infinite size

View File

@ -1,3 +1,5 @@
// xfail-boot
// xfail-stage0
// -*- rust -*-
// error-pattern: infinite recursive type definition

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: calculated effect is 'impure'
impure fn foo() {

View File

@ -1,3 +1,4 @@
// xfail-stage0
// -*- rust -*-
// error-pattern: name

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: return
fn f() -> int {

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: calculated effect is 'unsafe'
native mod foo {

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: unresolved identifier
obj oT() {
fn get() -> int {

View File

@ -1,3 +1,4 @@
// xfail-stage0
// -*- rust -*-
// error-pattern: mismatched types

View File

@ -1,3 +1,4 @@
// xfail-stage0
// -*- rust -*-
// error-pattern: Unsatisfied .* lt(a, c)

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: iterator function
fn f() -> int {

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: precondition constraint
fn f() -> int {

View File

@ -1,3 +1,4 @@
// xfail-stage0
// -*- rust -*-
// error-pattern: mismatched types

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: mismatched types
fn f(int x) -> int {

View File

@ -1,3 +1,4 @@
// xfail-boot
// error-pattern: Non-call expression in tail call
fn f() -> int {

View File

@ -1,3 +1,4 @@
// xfail-stage0
// -*- rust -*-
// error-pattern: token

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: calculated effect is ''
impure fn main() {
log "hi";

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: calculated effect is ''
unsafe fn main() {
log "hi";

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: calculated effect is 'unsafe'
native mod foo {

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern:Unsatisfied precondition
fn foo(int x) {

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern:Unsatisfied precondition
fn foo(int x) {

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern:Unsatisfied precondition
fn foo(int x) {

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: precondition constraint
fn f() -> int {

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: precondition constraint
fn main() {

View File

@ -1,3 +1,5 @@
// xfail-boot
// xfail-stage0
// -*- rust -*-
// error-pattern: writing to immutable type

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: Unsatisfied precondition constraint
fn test() {

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: writing to immutable type
obj objy(int x) {
fn foo() -> () {

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: writing to immutable type
fn main() {
let rec(int x) r = rec(x=1);

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: writing to immutable type
fn main() {
let tup(int) t = tup(1);

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern: writing to immutable type
fn main() {
let vec[int] v = vec(1, 2, 3);

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern:explicit
fn main() {

View File

@ -1,3 +1,4 @@
// xfail-stage0
// error-pattern:1 == 2
fn main() {

View File

@ -1,3 +1,4 @@
// xfail-stage0
// -*- rust -*-
// error-pattern:1 == 2

View File

@ -1,3 +1,4 @@
// xfail-stage0
// -*- rust -*-
// error-pattern:non-exhaustive match failure

View File

@ -1,3 +1,4 @@
// xfail-stage0
// -*- rust -*-
// error-pattern:predicate check

View File

@ -1,3 +1,4 @@
// xfail-stage0
// -*- rust -*-
// error-pattern:bounds check

View File

@ -1,3 +1,5 @@
// xfail-boot
// xfail-stage0
io fn main() {
let port[int] po = port();

View File

@ -1,3 +1,4 @@
// xfail-stage0
// -*- rust -*-
// error-pattern:bounds check

View File

@ -1,3 +1,4 @@
// xfail-stage0
// -*- rust -*-
// error-pattern:bounds check

View File

@ -1,3 +1,4 @@
// xfail-stage0
// -*- rust -*-
impure fn f(chan[int] c)

View File

@ -1,3 +1,4 @@
// xfail-stage0
// -*- rust -*-
use std;

View File

@ -1,3 +1,5 @@
// xfail-boot
// xfail-stage0
fn altsimple(any x) {
alt type (f) {
case (int i) { print("int"); }

View File

@ -1,3 +1,4 @@
// xfail-boot
// Unsigned integer operations
fn main() {

View File

@ -1,3 +1,4 @@
// xfail-stage0
// -*- rust -*-
impure fn a(chan[int] c) {

View File

@ -1,3 +1,4 @@
// xfail-stage0
// -*- rust -*-
impure fn a(chan[int] c) {

View File

@ -1,3 +1,4 @@
// xfail-stage0
// -*- rust -*-
impure fn a(chan[int] c) {

View File

@ -1,3 +1,4 @@
// xfail-boot
fn main() {
check (@1 < @3);
check (@@"hello " > @@"hello");

View File

@ -1,3 +1,5 @@
// xfail-boot
// xfail-stage0
// Reported as issue #126, child leaks the string.
fn child2(str s) {

View File

@ -1,3 +1,5 @@
// xfail-boot
// xfail-stage0
fn f(@rec(int a, int b) x) {
check (x.a == 10);
check (x.b == 12);

View File

@ -1,3 +1,4 @@
// xfail-stage0
// -*- rust -*-
impure fn main() {

View File

@ -1,3 +1,5 @@
// xfail-boot
// xfail-stage0
// -*- rust -*-
// Reported as issue #141, as a parse error. Ought to work in full though.

View File

@ -1,3 +1,5 @@
// xfail-boot
// xfail-stage0
// This test checks that destructors run in the right order. Because
// stateful objects can't have destructors, we have the destructors
// record their expected order into a channel when they execute (so

View File

@ -1,3 +1,4 @@
// xfail-boot
fn main() {
let vec[mutable int] v = vec(mutable);
}

View File

@ -1,3 +1,4 @@
// xfail-boot
fn main() {
fn foo(float n) -> float {
ret n + 0.12345;

View File

@ -1,3 +1,4 @@
// xfail-boot
fn main() {
auto pi = 3.1415927;

View File

@ -1,3 +1,4 @@
// xfail-boot
fn main() {
auto a = 1.5e6;
auto b = 1.5E6;

View File

@ -1,3 +1,4 @@
// xfail-boot
fn main() {
auto f = 4.999999999999;
check (f > 4.90);

View File

@ -1,3 +1,4 @@
// xfail-boot
// -*- rust -*-
fn foo((fn(int) -> int) f) {}

View File

@ -1,3 +1,4 @@
// xfail-boot
fn id[T](&T t) -> T {
ret t;
}

View File

@ -1,3 +1,4 @@
// xfail-boot
fn f[T](@T x) -> @T {
ret x;
}

View File

@ -1,3 +1,4 @@
// xfail-boot
tag option[T] {
some(@T);
none;

View File

@ -1,3 +1,4 @@
// xfail-boot
fn get_third[T](&tup(T,T,T) t) -> T {
ret t._2;

View File

@ -1,3 +1,5 @@
// xfail-boot
// xfail-stage0
iter x() -> int {
}

View File

@ -1,3 +1,4 @@
// xfail-stage0
// -*- rust -*-
impure fn main() {

View File

@ -1,3 +1,4 @@
// xfail-boot
tag t {
a;
b(@int);

View File

@ -1,3 +1,4 @@
// xfail-stage0
use std;
import std._vec;
import std.bitv;

View File

@ -1,3 +1,4 @@
// xfail-stage0
// -*- rust -*-
use std;

View File

@ -1,3 +1,4 @@
// xfail-stage0
use std;
import std._int;

View File

@ -1,3 +1,5 @@
// xfail-boot
// xfail-stage0
// -*- rust -*-
use std;

View File

@ -1,3 +1,4 @@
// xfail-stage0
// -*- rust -*-
use std;

Some files were not shown because too many files have changed in this diff Show More