[Openmcl-devel] deftype bug?

[Nikodemus Siivola]

On 18 March 2010 05:11, Gary Byers <gb at clozure.com> wrote:

> It's being handled incorrectly; preserving the left-to-right/short-circuit
> order of the AND specifier's subforms is only one of the things that goes
> wrong there.

Not to butt in here, but... I'm pretty sure
left-to-right/short-circuit is not specified for AND/OR as a type
specifiers. If someone can point to language in the spec requiring
otherwise, I'm happy to be corrected.

I believe that for portable code functions used in SATISFIES type
specifiers should accept all types of arguments.

Cheers,

 -- Nikodemus