diff options
| author | Patrick Walton <[email protected]> | 2010-07-12 19:39:29 -0700 |
|---|---|---|
| committer | Patrick Walton <[email protected]> | 2010-07-15 18:27:09 -0700 |
| commit | c96f0bf7386081d21b00af4fa7fcf73ac8d79575 (patch) | |
| tree | c006fa1a8d9d817b3ccf60a3874034dce5975e3d /src/Makefile | |
| parent | Remove log-type-error; everything is loggable. (diff) | |
| download | rust-c96f0bf7386081d21b00af4fa7fcf73ac8d79575.tar.xz rust-c96f0bf7386081d21b00af4fa7fcf73ac8d79575.zip | |
Implement the "simple typechecker", which avoids HM inference
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index f6483149..357672a0 100644 --- a/src/Makefile +++ b/src/Makefile @@ -361,7 +361,8 @@ TEST_XFAILS_X86 := $(MUT_BOX_XFAILS) \ 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 + test/compile-fail/infinite-vec-type-recursion.rs \ + test/compile-fail/writing-through-read-alias.rs TEST_XFAILS_LLVM := $(addprefix test/run-pass/, \ acyclic-unwind.rs \ @@ -492,6 +493,7 @@ TEST_XFAILS_LLVM := $(addprefix test/run-pass/, \ bad-recv.rs \ infinite-tag-type-recursion.rs \ infinite-vec-type-recursion.rs \ + writing-through-read-alias.rs \ ) ifdef MINGW_CROSS |