Re: "simplifications"

[Stefan Monnier]

>> it doesn't account for the case where
>> you do
>> (defsubst cadr (debug-on-error) (car (cdr debug-on-error)))
>> in which case the optimization is not semantics preserving"

> And I'n not sure it should... I think I agree with David here: if
> you're using defsubst to optimize, you should expect some gotchas.

Well, my optimization is not specific to defsubst, so it will also
remove the let-binding in:

   (let ((debug-on-error t))
     (car (car (cdr x))))


In any case, if you want a "fast and loose" defsubst, it's there already
under the name defsubst*.


        Stefan