14:27:26pjb(THE NIL (PROGN 'NIL)) is a nasal daemon!
14:27:37pjbBy the type, it should return no value.
14:28:38pjbJosh_2: is CLOS more complex than Smalltalk Meta Object System? (I'd say yes, but that's because multiple-inheritance, and methods attached to generic functions vs. classes).
14:29:07Josh_2I wouldn't know, I have only briefly played with Pharo
14:29:32Josh_2I wasn't complaining though, just trying to get some convo going
14:30:00pjbflip214: and even, while (the nil (values)) seems logical, there's no specification that no values returned by (values) is of type NIL! We just know that NIL is an empty type.
14:30:39pjbflip214: on the contrary, it's specified that (values) = NIL as soon as you need something.
16:22:46Alfrpjb, I think that forms, in particular (values), may produces no/zero values.