test occur error report

butterunderflow · Aug 24, 2024 · e622030 · e622030
1 parent 260d0d0
commit e622030
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/tests/regular/typing_test.ml b/tests/regular/typing_test.ml
@@ -1964,4 +1964,11 @@ 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}
     |}]