diff options
Diffstat (limited to 'Typecheck.java')
| -rw-r--r-- | Typecheck.java | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/Typecheck.java b/Typecheck.java index cf86389..4c43709 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.get_type() != 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()); |