Added skeleton files in "heat" libary, successor to TypeCheckSimp

1 files changed, 0 insertions, 19 deletions

diff --git a/st/TypeInstance.java b/st/TypeInstance.java
index e43c5b3..330662c 100644
--- a/st/TypeInstance.java
+++ b/st/TypeInstance.java
@@ -26,25 +26,6 @@ public class TypeInstance extends AbstractInstance {
             cls.getSize() : 4;
     }
 
-    public boolean sameType(TypeInstance other) {
-        /**
-         * Given a TypeInstance object other,
-         * returns true if other object
-         * is the same type as this one.
-         *
-         * We can say two types are equal, as
-         * long as they are not equal on a
-         * type error!
-         */
-
-        return this.type != TypeEnum.ERROR &&
-            this.type == other.getType();
-    }
-
-    public boolean hasChecked() {
-        return type != TypeEnum.ERROR;
-    }
-
     public void addClassInstance(ClassInstance cls) {
         this.cls = cls;
     }