[sc34wg3] Look Ma! No Properties!

[Steve Pepper]

* Jan Algermissen:

| Wow....you are the first person I see to come up with a purely declarative
| merging rule, which is (warning: implementation issue ahead :o) extremely
| important in order to get efficient merging. To make it possible at all.
| At least if you want to have 100% generic merging rules.
| (Note: IMHO, a merging rule is simply a constraint. In the case of tau, it
| is a constraint on the set of all members.

I'm curious to know why the examples Lars Marius and I gave
in http://www.jtc1sc34.org/repository/0497.htm don't qualify
as "purely declarative merging rules". Is it simply because
you didn't see that document, or have I missed something?

Steve