Fix bug in isResolved

travisbrown · Jul 27, 2021 · 4702e17 · 4702e17
1 parent 1f9e2ab
commit 4702e17
Showing 1 changed file with 8 additions and 4 deletions.
diff --git a/modules/core/src/main/java/org/dhallj/core/Visitor.java b/modules/core/src/main/java/org/dhallj/core/Visitor.java
@@ -496,12 +496,16 @@ public Boolean onPi(String name, Boolean type, Boolean result) {
     }
 
     public Boolean onLet(List<Expr.LetBinding<Boolean>> bindings, Boolean body) {
-      for (Expr.LetBinding<Boolean> binding : bindings) {
-        if (!binding.getValue() || (binding.hasType() && !binding.getType())) {
-          return false;
+      if (!body) {
+        return false;
+      } else {
+        for (Expr.LetBinding<Boolean> binding : bindings) {
+          if (!binding.getValue() || (binding.hasType() && !binding.getType())) {
+            return false;
+          }
         }
+        return true;
       }
-      return true;
     }
 
     public Boolean onText(String[] parts, List<Boolean> interpolated) {