Mercurial > urweb

diff lib/ur/option.ur @ 1831:36428d853c97

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Standard library additions: Option.unsafeGet, Basis.exp
author Austin Seipp <mad.one@gmail.com>
date Wed, 28 Nov 2012 11:41:54 -0500
parents a99b743a3087
children
line wrap: on
line diff
--- a/lib/ur/option.ur	Wed Nov 28 11:39:38 2012 -0500
+++ b/lib/ur/option.ur	Wed Nov 28 11:41:54 2012 -0500
@@ -49,3 +49,8 @@
     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