From d17936280e27d9e82e6db3e56b9aacfe2be2ad62 Mon Sep 17 00:00:00 2001
From: NoName11234 <47484268+NoName11234@users.noreply.github.com>
Date: Thu, 23 May 2024 10:16:02 +0200
Subject: [PATCH] fixed missing oderConstraints

---
 src/test/java/UnifyTest.java | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/test/java/UnifyTest.java b/src/test/java/UnifyTest.java
index 992b32c..a810dc8 100644
--- a/src/test/java/UnifyTest.java
+++ b/src/test/java/UnifyTest.java
@@ -547,6 +547,7 @@ public class UnifyTest {
         //java.lang.Integer =. X
         type1 = new ReferenceType("java.lang.Integer");
         type2 = new PlaceholderType("X");
+        constraint.add(new UnifyPair(type1, type2, PairOperator.EQUALSDOT));
         constraints.add(constraint);
         //java.lang.Float =. X
         constraint = new Constraint<>();
@@ -740,11 +741,13 @@ public class UnifyTest {
         constraint = new Constraint<>();
         type1 = new PlaceholderType("D");
         type2 = new ReferenceType("java.lang.Integer");
+        constraint.add(new UnifyPair(type1, type2, PairOperator.EQUALSDOT));
         constraints.add(constraint);
         //D =. java.lang.Float
         constraint = new Constraint<>();
         type1 = new PlaceholderType("D");
         type2 = new ReferenceType("java.lang.Float");
+        constraint.add(new UnifyPair(type1, type2, PairOperator.EQUALSDOT));
         constraints.add(constraint);
         oderConstraints.add(constraints);
 
@@ -754,11 +757,13 @@ public class UnifyTest {
         constraint = new Constraint<>();
         type1 = new PlaceholderType("F");
         type2 = new ReferenceType("java.lang.Float");
+        constraint.add(new UnifyPair(type1, type2, PairOperator.EQUALSDOT));
         constraints.add(constraint);
         //F =. java.lang.Integer
         constraint = new Constraint<>();
         type1 = new PlaceholderType("F");
         type2 = new ReferenceType("java.lang.Integer");
+        constraint.add(new UnifyPair(type1, type2, PairOperator.EQUALSDOT));
         constraints.add(constraint);
         oderConstraints.add(constraints);
 
@@ -1475,6 +1480,7 @@ public class UnifyTest {
         constraint = new Constraint<>();
         type1 = new ReferenceType("Vector", new TypeParams(new PlaceholderType("ALD")));
         type2 = new ReferenceType("Vector", new TypeParams(new ReferenceType("java.lang.Integer")));
+        constraint.add(new UnifyPair(type1, type2, PairOperator.SMALLERDOT));
         constraints.add(constraint);
         oderConstraints.add(constraints);