Re: [Toss-devel] Specification of Hierarchical Terms

[Lukasz K. <luk...@gm...>]

> This is only (seriously) bad for non-linear terms, so semantically it
> seems tied with explicit sharing. (I.e. solving this problem should
> shed light on explicit sharing.)

Hmm - we currently enforce all our rules to be left-linear.
Maybe we could handle the linear case first, and then
join the non-linear case with sharing in the next step?
(I know parsing must handle right sides as well, this is just a hope.)

Lukasz