maybe?

LuKuangChen · Oct 2, 2024 · 2c935b8 · 2c935b8
1 parent 0130a3a
commit 2c935b8
Show file tree

Hide file tree

Showing 3 changed files with 54 additions and 52 deletions.
diff --git a/docs/main.js b/docs/main.js
diff --git a/package-lock.json b/package-lock.json
diff --git a/src/runtime.res b/src/runtime.res
@@ -631,7 +631,8 @@ let deltaEq = (cmp, v, vs): value => {
 
 let arityOf = p =>
   switch p {
-  | Arith(Add) => RTArity.AtLeast(1)
+  | Maybe => RTArity.Exactly(0)
+  | Arith(Add) => AtLeast(1)
   | Arith(Sub) => AtLeast(2)
   | Arith(Mul) => AtLeast(1)
   | Arith(Div) => AtLeast(2)
@@ -684,6 +685,7 @@ and make_vector = (vs: list<value>) => {
 }
 and delta = (ann, p, vs) =>
   switch (p, vs) {
+  | (Maybe, list{}) => return(Con(Lgc(Math.random() >= 0.5)))
   | (Arith(Add), list{v, ...vs}) => return(deltaNum1((a, b) => a +. b, v, vs))
   | (Arith(Sub), list{v1, v2, ...vs}) => return(deltaNum2((a, b) => a -. b, v1, v2, vs))
   | (Arith(Mul), list{v, ...vs}) => return(deltaNum1((a, b) => a *. b, v, vs))