From 1f5bb4369dccfc876b0427cf82fb1d3e969a1e60 Mon Sep 17 00:00:00 2001
From: Kakadu <kakadu@pm.me>
Date: Thu, 15 Feb 2024 01:14:04 +0300
Subject: [PATCH] Add future work about ProposeFunction lint

Signed-off-by: Kakadu <kakadu@pm.me>
---
 tests/typed/function.t/Function.ml | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/tests/typed/function.t/Function.ml b/tests/typed/function.t/Function.ml
index c22dfcd..620cb52 100644
--- a/tests/typed/function.t/Function.ml
+++ b/tests/typed/function.t/Function.ml
@@ -13,3 +13,18 @@ let backslash = fun ch ->
   | "\n" -> ""
   | ch -> "" ^ ch
 ;;
+
+let _ = 
+  let (let*)  =Option.bind in 
+  let fail _ = None in 
+  let* _res =
+    Fun.id (fun error ->
+        match error with
+        | _ ->
+          (match "" with
+          | "print_newline" ->
+            Some 42
+          | _ -> fail error)
+        ) ()
+  in
+  None
\ No newline at end of file