Changeset 12114

Timestamp:

08/23/09 19:08:04 (14 years ago)

Author:

ehuelsmann

Message:

Verify simple types (single symbol types) while
interpreting the THE special operator.

Note: This helps argument verification while

interpreting structure slot accessors.

File:

• trunk/abcl/src/org/armedbear/lisp/SpecialOperators.java (modified) (1 diff)

trunk/abcl/src/org/armedbear/lisp/SpecialOperators.java

@@ -372 +372 @@
         if (args.length() != 2)
           return error(new WrongNumberOfArgumentsException(this));
-        return eval(args.cadr(), env, LispThread.currentThread());
+        LispObject rv = eval(args.cadr(), env, LispThread.currentThread());
+
+        LispObject type = args.car();
+        if (type instanceof Symbol
+            || type instanceof BuiltInClass)
+            if (rv.typep(type) == NIL)
+                type_error(rv, type);
+
+        return rv;
       }
     };