Reduce EQUAL to EQL when the result can be proven equivalent

Bug #1220084 reported by Elias Martenson
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Fix Released
Undecided
Unassigned

Bug Description

If the compiler can deduce that at least one of the arguments to EQUAL is of a type which is not in the set of types are are treated specially by EQUAL, then the expression can be safely reduced to a call to EQL instead.

Attached is the patch and test case for this.

Revision history for this message
Elias Martenson (lokedhs) wrote :
Revision history for this message
Elias Martenson (lokedhs) wrote :
Revision history for this message
Stas Boukarev (stassats) wrote :

Applied a slightly modified version in 36717964ebcff8353035062789c08f223feccf1a, thanks.

Changed in sbcl:
status: New → Fix Committed
Changed in sbcl:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.