Compare functions only

JetBrains · Jan 24, 2020 · 3cde9d4 · 3cde9d4
1 parent 8eb780c
commit 3cde9d4
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/main/java/org/arend/typechecking/visitor/CorrespondedSubExprVisitor.java b/src/main/java/org/arend/typechecking/visitor/CorrespondedSubExprVisitor.java
@@ -156,6 +156,10 @@ private Expression visitClonedApp(Concrete.AppExpression expr, Expression coreEx
 
   @Override
   public Expression visitApp(Concrete.AppExpression expr, Expression coreExpr) {
+    if (subExpr instanceof Concrete.AppExpression && Objects.equals(
+        ((Concrete.AppExpression) subExpr).getFunction().getData(),
+        expr.getFunction().getData()
+    )) return coreExpr;
     if (matchesSubExpr(expr)) return coreExpr;
     Concrete.Expression cloned = Concrete.AppExpression.make(expr.getData(), expr.getFunction(), new ArrayList<>(expr.getArguments()));
     return visitClonedApp(((Concrete.AppExpression) cloned), coreExpr);