wip

giovinazzo-kevin · May 8, 2024 · 315c19a · 315c19a
1 parent 8664e49
commit 315c19a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Ergo/Lang/Ast/Unification/Substitution.cs b/Ergo/Lang/Ast/Unification/Substitution.cs
@@ -50,8 +50,6 @@ bool Unify(ITerm x, ITerm y)
         {
             if (x.Equals(y))
                 return true;
-            if (x.IsGround && y.IsGround)
-                return false;
             if (y is AbstractTerm ay && ay.Unify(x).TryGetValue(out var ayWithX))
             {
                 foreach (var s in ayWithX)
@@ -72,6 +70,8 @@ bool Unify(ITerm x, ITerm y)
                 }
                 return true;
             }
+            else if (x.IsGround && y.IsGround)
+                return false;
             else if (y is Variable)
             {
                 ApplySubstitution(new Substitution(y, x));