Re: DEFTYPE and SATISFIES

... ok. Sorry.

CURRY does it.

MA

On Wed, Feb 21, 2024 at 10:10 PM Marco Antoniotti < marco.antoniotti@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