From 77ff12c435aeb6181ee2678a526b6f6ea3831938 Mon Sep 17 00:00:00 2001 From: Patrick Walton 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/deque.rs | 1 + 1 file changed, 1 insertion(+) (limited to 'src/lib/deque.rs') diff --git a/src/lib/deque.rs b/src/lib/deque.rs index 4a4aab4e..16023457 100644 --- a/src/lib/deque.rs +++ b/src/lib/deque.rs @@ -53,6 +53,7 @@ fn create[T]() -> t[T] { case (option.some[T](?t)) { ret t; } case (_) { fail; } } + fail; // FIXME: remove me when exhaustiveness checking works } obj deque[T](mutable uint nelts, -- cgit v1.2.3