facts: avoid generating dummy And facts

teal-language · Sep 3, 2024 · 86b01a7 · 86b01a7
1 parent ed93fb3
commit 86b01a7
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/tl.lua b/tl.lua
@@ -10091,6 +10091,9 @@ a.types[i], b.types[i]), }
       FACT_TRUTHY = TruthyFact({})
 
       facts_and = function(w, f1, f2)
+         if not f1 and not f2 then
+            return
+         end
          return AndFact({ f1 = f1, f2 = f2, w = w })
       end
 

diff --git a/tl.tl b/tl.tl
@@ -10091,6 +10091,9 @@ do
       FACT_TRUTHY = TruthyFact {}
 
       facts_and = function(w: Where, f1: Fact, f2: Fact): Fact
+         if not f1 and not f2 then
+            return
+         end
          return AndFact { f1 = f1, f2 = f2, w = w }
       end