More bugfixes in ST, changes to scoping

1 files changed, 11 insertions, 11 deletions

diff --git a/Typecheck.java b/Typecheck.java
index 4c43709..b4149d9 100644
--- a/Typecheck.java
+++ b/Typecheck.java
@@ -26,18 +26,18 @@ public class Typecheck {
             root.accept(new SymTableTopDown<Void>(), symt);
             PrintFilter.print("===================================================", true);
 
-            TypeCheckSimp ts = new TypeCheckSimp();
-            TypeInstance res = root.accept(ts, symt);
+            // TypeCheckSimp ts = new TypeCheckSimp();
+            // TypeInstance res = root.accept(ts, symt);
 
-            // Ugly code not to be inspired from: "my" way of storing
-            // type info / typecheck property: if some of my internal
-            // structure is empty, then things don't typecheck for
-            // me. This is specific to my own implementation.
-            // if (res != null && res.type_array.size() > 0)
-            if (res.getType() != TypeEnum.ERROR)
-                System.out.println("Program type checked successfully");
-            else
-                System.out.println("Type error");
+            // // Ugly code not to be inspired from: "my" way of storing
+            // // type info / typecheck property: if some of my internal
+            // // structure is empty, then things don't typecheck for
+            // // me. This is specific to my own implementation.
+            // // if (res != null && res.type_array.size() > 0)
+            // if (res.getType() != TypeEnum.ERROR)
+            //     System.out.println("Program type checked successfully");
+            // else
+            //     System.out.println("Type error");
         }
         catch (ParseException e) {
             System.out.println(e.toString());