diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2013-05-02 21:21:22 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2013-05-02 21:21:22 -0400 |
commit | e578da5c4f19af7446a48a9d78f45de51383d4ac (patch) | |
tree | 5d2b106748fda2c031d2400fc5ce81c2fb69405a /forum/myOption.ur | |
parent | 53a2c4d4a18c2f5903961bce7bc61cf19336157f (diff) |
Forum: Add upvote button
Diffstat (limited to 'forum/myOption.ur')
-rw-r--r-- | forum/myOption.ur | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/forum/myOption.ur b/forum/myOption.ur new file mode 100644 index 0000000..e859454 --- /dev/null +++ b/forum/myOption.ur @@ -0,0 +1,4 @@ +fun getError [t] maybe = + case maybe of + None => error <xml>Attempted to extract a value out of a None</xml> + | Some v => v |