Have the interpreter treat everything as subtype of Object

1 files changed, 2 insertions, 1 deletions

diff --git a/src/main/java/org/zwobble/couscous/interpreter/InterpreterTypes.java b/src/main/java/org/zwobble/couscous/interpreter/InterpreterTypes.java
index cc66cb6..bb76280 100644
--- a/src/main/java/org/zwobble/couscous/interpreter/InterpreterTypes.java
+++ b/src/main/java/org/zwobble/couscous/interpreter/InterpreterTypes.java
@@ -2,6 +2,7 @@ package org.zwobble.couscous.interpreter;
 
 import org.zwobble.couscous.ast.TypeName;
 import org.zwobble.couscous.interpreter.values.InterpreterValue;
+import org.zwobble.couscous.values.ObjectValues;
 
 public class InterpreterTypes {
     public static void checkIsInstance(TypeName type, InterpreterValue value) {
@@ -9,7 +10,7 @@ public class InterpreterTypes {
     }
 
     private static void checkIsSubType(TypeName superType, TypeName subType) {
-        if (!superType.equals(subType)) {
+        if (!superType.equals(subType) && !superType.equals(ObjectValues.OBJECT)) {
             throw new UnexpectedValueType(superType, subType);
         }
     }