From 85f089d4fdbdd6f5e454de86137ae312f12d4157 Mon Sep 17 00:00:00 2001
From: butterunderflow <azhong.934@gmail.com>
Date: Sat, 24 Aug 2024 20:43:17 +0800
Subject: [PATCH] test occur error report

---
 tests/regular/typing_test.ml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/tests/regular/typing_test.ml b/tests/regular/typing_test.ml
index 501491a..972b4dd 100644
--- a/tests/regular/typing_test.ml
+++ b/tests/regular/typing_test.ml
@@ -1964,4 +1964,12 @@ module L2 = (K: M)
     6:27-7:27 Module Signature component S1 not exists in module struct
 
     end
+    |}];
+  print_typed {|
+               let _ = fun x -> x x
+               |};
+  [%expect
+    {|
+    2:32-2:32 internal error: occur check error
+    type variable '_t/1 occured in {'_t/1}
     |}]