summaryrefslogtreecommitdiff
path: root/lib/std/try.myr
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2017-06-21 23:43:06 -0700
committerOri Bernstein <ori@eigenstate.org>2017-06-21 23:43:06 -0700
commitccc63f9ca4aedd941b0405020ad06e3bd3c7f365 (patch)
tree83bbb2ccf10f15fd904ebc6703f5629e47d4697e /lib/std/try.myr
parent781e188ad6426398558638dfa0984699d64ef413 (diff)
downloadmc-ccc63f9ca4aedd941b0405020ad06e3bd3c7f365.tar.gz
Fix the last commit.
Shit. Trivial commits need to be tested too.
Diffstat (limited to 'lib/std/try.myr')
-rw-r--r--lib/std/try.myr1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/std/try.myr b/lib/std/try.myr
index bb1f5fa..c7a1c1f 100644
--- a/lib/std/try.myr
+++ b/lib/std/try.myr
@@ -7,6 +7,7 @@ pkg std =
generic tryv : (v : result(@a, @b), d : @a -> @a)
generic get : (v : option(@a) -> @a)
generic getv : (v : option(@a), d : @a -> @a)
+ generic canget : (o : option(@a) -> bool)
;;
generic try = {v