Comment 2 for bug 1533685
Revision history for this message
| Jim Newton (jimka-issy) wrote Re: subtypep don't understand EQL/MEMBER/KEYWORD type | #2 |
© 2004
Canonical Ltd.
•
Terms of use
•
Data privacy
•
Contact Launchpad Support
•
Blog
•
Careers
•
System status
•
7020100
(Get the code!)
Am I wrong? why would SUBTYPEP need to reason about satisfies when its first argument is (EQL ...) or (MEMBER ...) ?
It seems to me, (without understanding the details of course, hence the question), that in this case
SUBTYPEP, should call TYPEP on the argument of EQL or the arguments of MEMBER.
Perhaps there's a bootstrapping or metacircularity issue with my suggestion?