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

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

diff --git a/src/lib/option.rs b/src/lib/option.rs
index dbf08b3e..25f82b52 100644
--- a/src/lib/option.rs
+++ b/src/lib/option.rs
@@ -16,6 +16,7 @@ fn get[T](&t[T] opt) -> T {
             fail;
         }
     }
+    fail;   // FIXME: remove me when exhaustiveness checking works
 }
 
 fn map[T, U](&operator[T, U] f, &t[T] opt) -> t[U] {
@@ -27,6 +28,7 @@ fn map[T, U](&operator[T, U] f, &t[T] opt) -> t[U] {
             ret none[U];
         }
     }
+    fail;   // FIXME: remove me when exhaustiveness checking works
 }
 
 // Local Variables:
-- 
cgit v1.2.3