Steel Bank Common Lisp

Reduce EQUAL to EQL when the result can be proven equivalent

Reported by Elias Martenson on 2013-09-03
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
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.

Elias Martenson (lokedhs) wrote :
Elias Martenson (lokedhs) wrote :
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  Edit
Everyone can see this information.

Other bug subscribers