Changeset 3719


Ignore:
Timestamp:
09/11/03 23:20:49 (19 years ago)
Author:
piso
Message:

isSubtypeOf(): work in progress.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/j/src/org/armedbear/lisp/IntegerTypeSpecifier.java

    r3710 r3719  
    33 *
    44 * Copyright (C) 2003 Peter Graves
    5  * $Id: IntegerTypeSpecifier.java,v 1.2 2003-09-11 16:19:25 piso Exp $
     5 * $Id: IntegerTypeSpecifier.java,v 1.3 2003-09-11 23:20:49 piso Exp $
    66 *
    77 * This program is free software; you can redistribute it and/or
     
    9494            Type type = ats.TYPE();
    9595            if (type == Type.INTEGER)
    96                 return T;
     96                return values(T, T);
    9797            if (type == Type.FIXNUM) {
    9898                if (lowerLimit.isLessThan(MOST_NEGATIVE_FIXNUM.getSymbolValue()))
    99                     return values(NIL, NIL);
     99                    return values(NIL, T);
    100100                if (upperLimit.isGreaterThan(MOST_POSITIVE_FIXNUM.getSymbolValue()))
    101                     return values(NIL, NIL);
     101                    return values(NIL, T);
    102102                return values(T, T);
    103103            }
     
    110110                        return values(T, T);
    111111            }
    112             return values(NIL, NIL);
     112            return values(NIL, T);
    113113        }
    114114        if (ts instanceof IntegerTypeSpecifier) {
     
    118118                    return values(T, T);
    119119        }
    120         return values(NIL, NIL);
     120        return values(NIL, T);
    121121    }
    122122}
Note: See TracChangeset for help on using the changeset viewer.