member-type error

[Mark Mueller <stoffel@cs.tu-berlin.de>]

I want to have a structure-slot, with a type, which
includes only special objects:


> (defstruct test
  (trigger t :type (member t nil))
  )

TEST
> (make-test)
#S(TEST :TRIGGER T)


> (defstruct test
  (trigger 'a :type (member 'a 'b))
  )

TEST
> (make-test)

*** - THE: TRIGGER evaluated to the values (A), not of type (MEMBER 'A
'B)
1. Break> 

what am i'm doing wrong?

Mark


-- 
Mark Müller * Institut für Angewandte Informatik * FG Methoden der KI 
Sekr. 5-8 * Franklinstr.28-29 * 10587 Berlin * Tel.: 314-21005        
     Email:  pandur@cs.tu-berlin.de * stoffel@cs.tu-berlin.de          
           WWW: http://www.cs.tu-berlin.de/~pandur/