From f86e714a4fdebb994101813a5fa6664f5883a0ab Mon Sep 17 00:00:00 2001
From: bd-912 <bdunahu@colostate.edu>
Date: Thu, 9 May 2024 00:36:50 -0600
Subject: Many final bug-fixes in heat visitor, symbol table

---
 heat/HeatVisitor.java | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'heat')

diff --git a/heat/HeatVisitor.java b/heat/HeatVisitor.java
index 15971d3..9886fdc 100644
--- a/heat/HeatVisitor.java
+++ b/heat/HeatVisitor.java
@@ -1058,6 +1058,9 @@ public class HeatVisitor extends GJDepthFirst<TypeBundle,ArrayList<TypeBundle>>
                                          n.getClass().getSimpleName()));
         ///////////////////////////////////////////////////////////////
         _ret = n.f1.accept(this, argu);
+        if (!_ret.isBool())
+            throw new TypecheckException(String.format("%s tried with a non-bool!",
+                                                       n.getClass().getSimpleName()));
         ///////////////////////////////////////////////////////////////
         MinimalLogger.info(String.format("<- %s with %s",
                                          n.getClass().getSimpleName(),
-- 
cgit v1.2.3