Subject: Vector Identities, Redux and more questions
From: Robert Dodier
Date: Thu, 14 Sep 2006 12:15:47 -0600
On 9/14/06, Neilen Marais <nmarais at sun.ac.za> wrote:
> My only worry is that if we start having globally defined matchdeclare
> properties we should probably define all the matchdeclare variables right
> at the start of vect, also some naming convention is also called for.
Calling local (a, b, c, ...) within block is enough to prevent matchdeclare
properties from propagating out of the vect script.
We can put each rule in a separate block; that way we can localize
changes to rules. (If all declarations are at the top, changing a rule
means changing code in two places, which invites errors.)
One feature of the rule-matching code is that matchdeclare symbols
appear as dynamically-bound variables in the constructed rule function.
This has the potential to trigger the confusing behavior that comes
from name collisions of dynamic variables. That could probably be
avoided by matchdeclare-ing gensyms, or just choosing uncommon
names (simpler but not guaranteed to avoid collision).
FWIW
Robert