From 77ff12c435aeb6181ee2678a526b6f6ea3831938 Mon Sep 17 00:00:00 2001
From: Patrick Walton <pcwalton@mimiga.net>
Date: Thu, 18 Nov 2010 14:17:17 -0800
Subject: rustboot: Don't use walk to traverse statements in type.ml; fixes
 redundant checking, improves diagnostics. Also report untyped slots.

---
 src/lib/list.rs | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/lib/list.rs')

diff --git a/src/lib/list.rs b/src/lib/list.rs
index c6a67c71..c4661940 100644
--- a/src/lib/list.rs
+++ b/src/lib/list.rs
@@ -24,6 +24,8 @@ fn foldl[T,U](&list[T] ls, &U u, fn(&T t, U u) -> U f) -> U {
       ret u;
     }
   }
+
+  fail; // TODO: remove me when exhaustiveness checking works
 }
 
 fn find[T,U](&list[T] ls,
@@ -45,6 +47,8 @@ fn find[T,U](&list[T] ls,
         ret none[U];
     }
   }
+
+  fail; // TODO: remove me when exhaustiveness checking works
 }
 
 fn length[T](&list[T] ls) -> uint {
-- 
cgit v1.2.3