From 9157968f41a0cc24e6621e2860f50a98866ed541 Mon Sep 17 00:00:00 2001
From: Austin Seipp <mad.one@gmail.com>
Date: Wed, 28 Nov 2012 11:41:54 -0500
Subject: Standard library additions: Option.unsafeGet, Basis.exp

---
 lib/ur/option.ur | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'lib/ur/option.ur')

diff --git a/lib/ur/option.ur b/lib/ur/option.ur
index 5c89fc9d..05c50d1f 100644
--- a/lib/ur/option.ur
+++ b/lib/ur/option.ur
@@ -49,3 +49,8 @@ fun get [a] (x : a) (o : option a) =
     case o of
         None => x
       | Some v => v
+
+fun unsafeGet [a] (o : option a) =
+    case o of
+        None   => error <xml>Option.unsafeGet: encountered None</xml>
+      | Some v => v
-- 
cgit v1.2.3