An example about partial application of closures

examples/closure/dune

@@ -1,4 +1,3 @@
-
 (executable
   (name example)
   (modules example)
@@ -57,3 +56,34 @@
   (name   examples)
   (deps   doc.svg)
 )
+
+(executable
+ (name partial)
+ (modules partial)
+ (libraries memgraph))
+
+(rule
+ (target partial.gv)
+ (package memgraph)
+ (action
+  (with-outputs-to
+   %{target}
+   (with-accepted-exit-codes
+    0
+    (run ./partial.exe)))))
+
+(rule
+ (target partial.svg)
+ (deps partial.gv)
+ (package memgraph)
+ (mode promote)
+ (action
+  (with-outputs-to
+   %{target}
+   (with-accepted-exit-codes
+    0
+    (run dot -Tsvg -o %{target} %{deps})))))
+
+(alias
+ (name examples)
+ (deps partial.svg))

examples/closure/partial.ml

@@ -0,0 +1,21 @@
+
+let test () =
+  let f x y z = x + y + z in
+  f
+
+let test2 () =
+  let f x y z = x + y + z in
+  let g = f 11 in
+  f, g
+
+let () =
+  let _f1 = test () in
+  let f2, _g2 = test2 () in
+  Memgraph.Repr.(context (fun ctx ->
+    Memgraph.Dot.print_list Format.std_formatter [
+      (* "f1", ctx.mk f1; *)
+      (* "f1 18", ctx.mk (f1 18); *)
+      "f2", ctx.mk f2;
+      (* "g2", ctx.mk g2; *)
+      "f2 18", ctx.mk (f2 18);
+    ]))