From acc5ebd53a66555e4176b50b3ef8f05974bf7a16 Mon Sep 17 00:00:00 2001
From: Darius Foo <darius.foo.tw@gmail.com>
Date: Wed, 13 Sep 2023 14:45:27 +0800
Subject: [PATCH] Add awkward example

---
 src/examples/awkward.ml | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 src/examples/awkward.ml

diff --git a/src/examples/awkward.ml b/src/examples/awkward.ml
new file mode 100644
index 00000000..73f9e15d
--- /dev/null
+++ 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 () -> ()))))