time-to-botec

commit 49592559476767bf10301c691c9fa653475fbd68
parent 4c4d053ab9b0b56a082ca1431fabbf3eceedbda6
Author: NunoSempere <nuno.sempere@protonmail.com>
Date:   Sun, 15 Oct 2023 00:45:01 +0100

get compiler to give me a cool missing match case error

Diffstat:
M
ocaml/out/samples
 | 
0

M
ocaml/out/samples.cmi
 | 
0

M
ocaml/out/samples.cmx
 | 
0

M
ocaml/out/samples.o
 | 
0

M
ocaml/samples.ml
 | 
3
++-

5 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/ocaml/out/samples b/ocaml/out/samples
Binary files differ.
diff --git a/ocaml/out/samples.cmi b/ocaml/out/samples.cmi
Binary files differ.
diff --git a/ocaml/out/samples.cmx b/ocaml/out/samples.cmx
Binary files differ.
diff --git a/ocaml/out/samples.o b/ocaml/out/samples.o
Binary files differ.
diff --git a/ocaml/samples.ml b/ocaml/samples.ml
@@ -36,12 +36,13 @@ let findIndex xs test =
 
 let rec unwind xs = 
   match xs with
+  | [] -> Some([])
+  | None :: ys -> None
   | Some(y) :: ys -> (
       match unwind ys with
       | Some(zs) -> Some(y :: zs)
       | None -> None
     )
-  | None :: ys -> None
 
 (* Basic samplers *)
 let sampleZeroToOne () : float = Random.float 1.0