fix type checking. We now complain about wrong type declarations

diff --git a/Robust/src/IR/Tree/SemanticCheck.java b/Robust/src/IR/Tree/SemanticCheck.java
index d9b21abe8efbbb73379eb0e02eb547cd93b3ea8b..2e2bd5e2076a60d3ca252ba2f78ae53d0faa3281 100644 (file)
--- a/Robust/src/IR/Tree/SemanticCheck.java
+++ b/Robust/src/IR/Tree/SemanticCheck.java
@@ -532,6 +532,11 @@ public class SemanticCheck {
        TypeDescriptor typetolookin=con.getType();
        checkTypeDescriptor(typetolookin);
 
+       if (td!=null&&!typeutil.isSuperorType(td, typetolookin))
+           throw new Error(typetolookin + " isn't a "+td);
+
+
+
        /* Check flag effects */
        if (con.getFlagEffects()!=null) {
            FlagEffects fe=con.getFlagEffects();