Skip to content

Fix the modal logic of TYPE=.

Robert Goldman requested to merge rgoldman/alexandria:iss35 into master

Computing the correct return value of TYPE= requires combining the primary and secondary returns of SUBTYPEP correctly. Previously the return value for combining (NIL NIL) and (T T) was incorrectly (NIL T) instead of (NIL NIL).

I was unable to make a test for this, because I couldn't find examples for all the cases that were consistent across the various lisp implementations, and my attempts to provide a portable mock implementation of subtypep have failed.

Merge request reports