Rewrite exhaustiveness checker

Issue #352
Closes #1720

The old checker would happily accept things like 'alt x { @some(a) { a } }'.
It now properly descends into patterns, checks exhaustiveness of booleans,
and complains when number/string patterns aren't exhaustive.

1 files changed, 1 insertions, 1 deletions

diff --git a/src/compiletest/procsrv.rs b/src/compiletest/procsrv.rs
index 9304e359321..b856b092e7a 100644
--- a/src/compiletest/procsrv.rs
+++ b/src/compiletest/procsrv.rs
@@ -68,7 +68,7 @@ fn run(lib_path: str, prog: str, args: [str],
     let count = 2;
     while count > 0 {
         let stream = comm::recv(p);
-        alt stream {
+        alt check stream {
             (1, s) {
                 outs = s;
             }