type system: Fix for Any type

runtype/base_types.py

@@ -49,9 +49,11 @@ def __ge__(self, other):
         return NotImplemented
 
     def __le__(self, other):
-        if isinstance(other, Type):
-            if other is self:   # Optimization
-                return True
+        if other is self:   # Optimization
+            return True
+        elif isinstance(other, (type, Type)):
+            if not isinstance(other, SumType):
+                return False
 
         return NotImplemented
 
@@ -74,9 +76,6 @@ def __le__(self, other):
         return super().__le__(other)
 
     def __ge__(self, other):
-        # XXX hack
-        if isinstance(other, AnyType):
-            return False
         return NotImplemented
 
 
@@ -177,12 +176,6 @@ class ContainerType(DataType):
     def __getitem__(self, other):
         return GenericType(self, other)
 
-    def __le__(self, other):
-        # XXX hack
-        if isinstance(other, AnyType):
-            return True
-        return super().__le__(other)
-
 class GenericType(ContainerType):
     """Implements a generic type. i.e. a container for items of a specific type.
 
@@ -226,10 +219,6 @@ def __le__(self, other):
         elif isinstance(other, DataType):
             return self.base <= other
 
-        elif isinstance(other, AnyType):
-            # HACK
-            return True
-
         return NotImplemented
 
     def __ge__(self, other):
@@ -239,10 +228,6 @@ def __ge__(self, other):
         elif isinstance(other, DataType):
             return self.base >= other
 
-        elif isinstance(other, AnyType):
-            # HACK
-            return False
-
         return NotImplemented
 
     def __hash__(self):