Re: [Sml-implementers] nailing down structure sharing

[Dave B. <da...@ta...>]

At 17:12 20/09/2001, Derek Dreyer wrote:
>4) Martin Elsman proposed a Definition-style rule for structure sharing
>that he said was based on the TILT proposal.  ...

I don't want to comment on the exact rule that Martin proposed, but
wouldn't it be preferable to use a Definition-style rule to define
structure sharing if at all possible?

Dave.