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/map.rs | 2 ++
 1 file changed, 2 insertions(+)

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

diff --git a/src/lib/map.rs b/src/lib/map.rs
index b20fd9c5..7f760b65 100644
--- a/src/lib/map.rs
+++ b/src/lib/map.rs
@@ -176,6 +176,7 @@ fn mk_hashmap[K, V](&hashfn[K] hasher, &eqfn[K] eqer) -> hashmap[K, V] {
                     case (option.some[V](_)) { ret true; }
                     case (_) { ret false; }
                 }
+                fail;   // FIXME: remove me when exhaustiveness checking works
             }
 
             fn get(&K key) -> V {
@@ -183,6 +184,7 @@ fn mk_hashmap[K, V](&hashfn[K] hasher, &eqfn[K] eqer) -> hashmap[K, V] {
                     case (option.some[V](?val)) { ret val; }
                     case (_) { fail; }
                 }
+                fail;   // FIXME: remove me when exhaustiveness checking works
             }
 
             fn find(&K key) -> option.t[V] {
-- 
cgit v1.2.3