summaryrefslogtreecommitdiff
path: root/Typecheck.java
diff options
context:
space:
mode:
authorbd-912 <bdunahu@colostate.edu>2024-04-26 18:23:59 -0600
committerbd-912 <bdunahu@colostate.edu>2024-04-26 18:23:59 -0600
commit289a419681bfde1edd91a695ca97116a57d62433 (patch)
tree2eb1c3918e6f3da4249bbf31d4abd0b31018b008 /Typecheck.java
parent7c6c79a437a4c1e7cf85964d005a3cdeb59809f1 (diff)
Implemented some basic HeatVisitor rules
Diffstat (limited to 'Typecheck.java')
-rw-r--r--Typecheck.java2
1 files changed, 2 insertions, 0 deletions
diff --git a/Typecheck.java b/Typecheck.java
index d153f7a..098defe 100644
--- a/Typecheck.java
+++ b/Typecheck.java
@@ -38,6 +38,8 @@ public class Typecheck {
System.out.println("Program type checked successfully");
} catch (TypecheckException e) {
System.out.println("Type error");
+ MinimalLogger.severe(String.format("Reason: %s",
+ e.toString()));
}
}