... ok. Sorry. CURRY does it.
MA On Wed, Feb 21, 2024 at 10:10 PM Marco Antoniotti < marco.antonio...@unimib.it> wrote: > 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 >