DEFTYPE and SATISFIES

Hi I just stumbled upon this and I need confirmation. You cannot do anything like this, can you? *(defstruct foo x)* *(deftype foo-with-x (x) (satisfies 'foo-with-x-p)) ; No `x'!* *(typep (make-foo :x 42) '(foo-with-x 42))* I.e., there is no way to pass the *x* to *foo-with-x-p*, is there? All the best MA -- Marco Antoniotti, Professor tel. +39 - 02 64 48 79 01 DISCo, Università Milano Bicocca U14 2043 http://dcb.disco.unimib.it Viale Sarca 336 I-20126 Milan (MI) ITALY