PersistentQueue doesn't implement java.util.List, causing nontransitive equality

Description

PersistentQueue implements Sequential but doesn't implement java.util.List. Lists form an equality partition, as do Sequentials. This means that you can end up with nontransitive equality:

This happens because PersistentQueue is a Sequential but not a List, ArrayList is a List but not a Sequential, and PersistentVector is both.

Environment

None

Assignee

Philip Potter

Reporter

Philip Potter

Labels

Approval

None

Patch

Code and Test

Affects versions

Priority

Major
Configure