Bug report ID:635627 - subst([...] is order-dependent
Subject: Bug report ID:635627 - subst([...] is order-dependent
From: Barton Willis
Date: Thu, 1 Apr 2010 15:06:26 -0500
> I think it's bad to change subst to do parallel because that changes
> existing behavior. There could be lots of code out there that depends
> on this and we should gratuitiously break them.
I agree. My enthusiasm for breaking existing code is low. But the user
documentation for subst doesn't specify the substitution order (or
simplification order), so there is an argument for saying that code
that depends on a specific substitution order is buggy.
--Barton