[Openmcl-devel] deftype bug?
nikodemus at random-state.net
Thu Mar 18 07:15:07 UTC 2010
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.
More information about the Openmcl-devel