diff options
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 |