From 89b3ec3d179fd008c68395a5cd2ef7858a2b049c Mon Sep 17 00:00:00 2001
From: radrow <radrowicki@gmail.com>
Date: Wed, 26 Aug 2020 12:10:24 +0200
Subject: [PATCH] minor optimization

---
 priv/stdlib/Option.aes | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/priv/stdlib/Option.aes b/priv/stdlib/Option.aes
index 5e6622f..e364363 100644
--- a/priv/stdlib/Option.aes
+++ b/priv/stdlib/Option.aes
@@ -26,9 +26,7 @@ namespace Option =
     None    => abort("Forced None value")
     Some(x) => x
 
-  function contains(e : 'a, o : option('a)) = switch(o)
-    None => false
-    Some(x) => x == e
+  function contains(e : 'a, o : option('a)) = o == Some(e)
 
   function on_elem(o : option('a), f : 'a => unit) : unit = match((), f, o)