Do not update TypecheckingResult

JetBrains · Jul 29, 2020 · 5f82ea9 · 5f82ea9
1 parent 4db21e3
commit 5f82ea9
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/base/src/main/java/org/arend/typechecking/result/TypecheckingResult.java b/base/src/main/java/org/arend/typechecking/result/TypecheckingResult.java
@@ -63,10 +63,7 @@ public TypecheckingResult applyExpression(Expression expr, boolean isExplicit, E
   @Override
   public List<SingleDependentLink> getImplicitParameters() {
     List<SingleDependentLink> params = new ArrayList<>();
-    type = type.normalize(NormalizationMode.WHNF);
-    if (type instanceof PiExpression) {
-      type.getPiParameters(params, true);
-    }
+    type.getPiParameters(params, true);
     return params;
   }