Add awkward example

hipsleek · Sep 13, 2023 · acc5ebd · acc5ebd
1 parent 6e0827b
commit acc5ebd
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/examples/awkward.ml b/src/examples/awkward.ml
@@ -0,0 +1,7 @@
+
+let awkward =
+  let r = ref 0 in
+  fun f -> assert (!r mod 2 = 0); incr r; f(); incr r
+
+let () =
+  ignore (awkward (fun () -> ignore (awkward (fun () -> ()))))