Changeset 3719

Timestamp:

09/11/03 23:20:49 (19 years ago)

Author:

piso

Message:

isSubtypeOf(): work in progress.

File:

• trunk/j/src/org/armedbear/lisp/IntegerTypeSpecifier.java (modified) (4 diffs)

trunk/j/src/org/armedbear/lisp/IntegerTypeSpecifier.java

@@ -3 +3 @@
  *
  * Copyright (C) 2003 Peter Graves
- * $Id: IntegerTypeSpecifier.java,v 1.2 2003-09-11 16:19:25 piso Exp $
+ * $Id: IntegerTypeSpecifier.java,v 1.3 2003-09-11 23:20:49 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -94 +94 @@
             Type type = ats.TYPE();
             if (type == Type.INTEGER)
-                return T;
+                return values(T, T);
             if (type == Type.FIXNUM) {
                 if (lowerLimit.isLessThan(MOST_NEGATIVE_FIXNUM.getSymbolValue()))
-                    return values(NIL, NIL);
+                    return values(NIL, T);
                 if (upperLimit.isGreaterThan(MOST_POSITIVE_FIXNUM.getSymbolValue()))
-                    return values(NIL, NIL);
+                    return values(NIL, T);
                 return values(T, T);
             }
@@ -110 +110 @@
                         return values(T, T);
             }
-            return values(NIL, NIL);
+            return values(NIL, T);
         }
         if (ts instanceof IntegerTypeSpecifier) {
@@ -118 +118 @@
                     return values(T, T);
         }
-        return values(NIL, NIL);
+        return values(NIL, T);
     }
 }