Improve universe checker

JetBrains · Mar 18, 2024 · 7b81857 · 7b81857
1 parent d4657d1
commit 7b81857
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/base/src/main/java/org/arend/typechecking/visitor/CheckForUniversesVisitor.java b/base/src/main/java/org/arend/typechecking/visitor/CheckForUniversesVisitor.java
@@ -57,6 +57,11 @@ public Boolean visitFieldCall(FieldCallExpression expr, Void params) {
     return visitFieldCall(expr, 0);
   }
 
+  @Override
+  public Boolean visitLam(LamExpression expression, Void param) {
+    return expression.getBody().accept(this, null);
+  }
+
   @Override
   public Boolean visitApp(AppExpression expression, Void param) {
     int apps = 0;