From bcf29b882acdf477be412fdb401b0fc2a6c819aa Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Thu, 24 Jun 2010 16:57:00 -0700 Subject: [PATCH] A couple new tests for broken parts of the typechecker, XFAILed. --- src/Makefile | 4 ++++ src/test/compile-fail/bad-recv.rs | 5 +++++ src/test/compile-fail/bad-send.rs | 5 +++++ 3 files changed, 14 insertions(+) create mode 100644 src/test/compile-fail/bad-recv.rs create mode 100644 src/test/compile-fail/bad-send.rs diff --git a/src/Makefile b/src/Makefile index 2244c350273..2c53a30bb2d 100644 --- a/src/Makefile +++ b/src/Makefile @@ -324,6 +324,8 @@ TEST_XFAILS_X86 := test/run-pass/mlist-cycle.rs \ test/run-pass/bind-obj-ctor.rs \ test/run-pass/task-comm.rs \ test/compile-fail/rec-missing-fields.rs \ + test/compile-fail/bad-send.rs \ + test/compile-fail/bad-recv.rs \ test/compile-fail/infinite-tag-type-recursion.rs \ test/compile-fail/infinite-vec-type-recursion.rs @@ -440,6 +442,8 @@ TEST_XFAILS_LLVM := $(addprefix test/run-pass/, \ ) \ $(addprefix test/compile-fail/, \ rec-missing-fields.rs \ + bad-send.rs \ + bad-recv.rs \ infinite-tag-type-recursion.rs \ infinite-vec-type-recursion.rs \ ) diff --git a/src/test/compile-fail/bad-recv.rs b/src/test/compile-fail/bad-recv.rs new file mode 100644 index 00000000000..cccb735da05 --- /dev/null +++ b/src/test/compile-fail/bad-recv.rs @@ -0,0 +1,5 @@ +// error-pattern: mismatched types + +fn main() { + 10 <- 10; +} \ No newline at end of file diff --git a/src/test/compile-fail/bad-send.rs b/src/test/compile-fail/bad-send.rs new file mode 100644 index 00000000000..e699b4e38df --- /dev/null +++ b/src/test/compile-fail/bad-send.rs @@ -0,0 +1,5 @@ +// error-pattern: mismatched types + +fn main() { + 10 <| 10; +} \ No newline at end of file