#5391 Prob::equal_p: discard "origin" property

[David Kastrup]

Prob::equal_p: discard "origin" property

Previously elements of class Input was considered equal when compared
as part of Music property lists but this did not take into account
that some music might store its origin (if any) at different locations
in its property lists. So we just discard any "origin" property
completely, regardless of position in the property list and its actual
value type.

Also contains commit:

Don't set origin on copied music explicitly

There would be some mild incentive if the origin were accessed an
inordinary amount of times (and thus leaving it unset would maximize
access times to it) but there is no evidence for that. One reason
might be to ensure greater structural similarity between copies of
music, but Prob::equal_p has been changed to be robust against
differences here.

http://codereview.appspot.com/363740043

[Anonymous]

Passes make, make check and a full make doc.

[Anonymous]

Patch on countdown for August 1st

[Anonymous]

Patch counted down - please push.

[David Kastrup]

Pushed to staging as
commit 5e185a918d2a7e1eade9a2aa1fe40ba03f187f63
Author: David Kastrup dak@gnu.org
Date: Thu Jul 26 16:02:22 2018 +0200

Issue 5391/2: Don't set origin on copied music explicitly

There would be some mild incentive if the origin were accessed an
inordinary amount of times (and thus leaving it unset would maximize
access times to it) but there is no evidence for that.  One reason
might be to ensure greater structural similarity between copies of
music, but Prob::equal_p has been changed to be robust against
differences here.

commit 7fc5445eb041aef1974296dff7fe77502492418f
Author: David Kastrup dak@gnu.org
Date: Thu Jul 26 16:10:13 2018 +0200

Issue 5391/1: Prob::equal_p: discard "origin" property

Previously elements of class Input were considered equal when compared
as part of Music property lists but this did not take into account
that some music might store its origin (if any) at different locations
in its property lists.  So we just discard any "origin" property
completely, regardless of position in the property list and its actual
value type.