Let's say I have a rewrite rule
L(a + b) := L(a) + L(b)
when we apply this rule to rewrite L(x+y) the result is
L(y) + L(x)
but I would like it to give
L(x) + L(y),
i.e. to keep the same order of the original expression (if possible).
Emacs Stack Exchange is a question and answer site for those using, extending or developing Emacs. It only takes a minute to sign up.
Sign up to join this communityLet's say I have a rewrite rule
L(a + b) := L(a) + L(b)
when we apply this rule to rewrite L(x+y) the result is
L(y) + L(x)
but I would like it to give
L(x) + L(y),
i.e. to keep the same order of the original expression (if possible).