From b16d9019a8c0b0e7950bd897e8b59136c2d98642 Mon Sep 17 00:00:00 2001
From: Brian Anderson <banderson@mozilla.com>
Date: Thu, 27 Oct 2011 18:15:58 -0700
Subject: [PATCH] Make option::is_some option::is_none pure

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

diff --git a/src/lib/option.rs b/src/lib/option.rs
index 970349c7d31a..5121e3f7d08e 100644
--- a/src/lib/option.rs
+++ b/src/lib/option.rs
@@ -45,7 +45,7 @@ Function: is_none
 
 Returns true if the option equals none
 */
-fn is_none<T>(opt: t<T>) -> bool {
+pure fn is_none<T>(opt: t<T>) -> bool {
     alt opt { none. { true } some(_) { false } }
 }
 
@@ -54,7 +54,7 @@ Function: is_some
 
 Returns true if the option contains some value
 */
-fn is_some<T>(opt: t<T>) -> bool { !is_none(opt) }
+pure fn is_some<T>(opt: t<T>) -> bool { !is_none(opt) }
 
 /*
 Function: from_maybe