add test that tigger the problem with the non-proper equation

Drup · Jul 19, 2024 · 0b171b5 · 0b171b5
1 parent b5ce970
commit 0b171b5
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/test/unit_tests/test_unification.ml b/test/unit_tests/test_unification.ml
@@ -55,11 +55,13 @@ let pos_tests = [
   "int list * int -> 'a", "int list * int -> 'a";
   (* sub constructor *)
   "int list -> 'a", "int list -> int";
-  (* Tuples target of variable: TODO I think this is a case where a variable will point to a tuples *)
+  (* Tuples target of variable *)
   "'a * 'b -> 'a", "int * unit * float -> int * unit";
   (* Loop *)
   "'a -> 'a", "'b -> 'b";
   "'a -> 'a -> 'a", "'x * b -> 'x" ;
+  (* Bug with non-proper equations *)
+  "('b, 'a, 'a, int, 'a, 'b) t", "('b, 'a, int, 'a, 'b, 'a) t";
 ]
 
 let neg_tests = [
@@ -119,5 +121,5 @@ let () = add_tests "Acic.unifiable" tests
 let () = Alcotest.run
     ~quick_only:false (* Change for slow tests *)
     ~argv:Sys.argv
-    "unification"
+    "Unifiable"
     !all_tests
diff --git a/test/unit_tests/test_unifier.ml b/test/unit_tests/test_unifier.ml
@@ -119,5 +119,5 @@ let () = add_tests "Acic.unifier" tests
 let () = Alcotest.run
     ~quick_only:false (* Change for slow tests *)
     ~argv:Sys.argv
-    "unification"
+    "Unifier"
     !all_tests