rhocaml structurallyEquivalent bug?

[dckc]

0 | @0!(0) | @0!(0) is equivalent to (0 | @0!(0)) | @0!(0) right?

both are equivalent to @0!(0) | @0!(0)

Either my transcription to scala is wrong or there's a bug in rhocaml.

[dckc]

Maybe rhocaml is only designed to handle data structures that would come from parsing and the parser doesn't emit nested Pars.

[Isaac-DeFrain]

Structural equivalence only encompasses alpha equivalence and associativity/commutativity of the | operator. So, yes to the first question, no to the second.