From eb71abc66570ed55aea30bad5869974742dda90d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rados=C5=82aw=20Rowicki?=
 <35342116+radrow@users.noreply.github.com>
Date: Sat, 6 Jun 2020 14:36:46 +0200
Subject: [PATCH] Fixed `force` function

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

diff --git a/priv/stdlib/Option.aes b/priv/stdlib/Option.aes
index 485ace6..4895e18 100644
--- a/priv/stdlib/Option.aes
+++ b/priv/stdlib/Option.aes
@@ -22,7 +22,9 @@ namespace Option =
 
 /** Assume it is `Some`
  */
-  function force(o : option('a)) : 'a = default(abort("Forced None value"), o)
+  function force(o : option('a)) : 'a = switch(o)
+    None    => abort("Forced None value")
+    Some(x) => x
 
   function on_elem(o : option('a), f : 'a => unit) : unit = match((), f, o)