Yet Another Const Proposal

[Janice Caron]

On 12/7/07, Sönke Ludwig <ludwig at informatik_dot_uni-luebeck.de> wrote:
> I'd be glad to hear any suggestions or mistakes I may have made.

I have no suggestions, and haven't spotted any mistakes. In fact, good
catch on the invariant overwriting problem!

But I have to ask - what's the problem with Walter's latest
suggestion? It seems absolutely perfect to me. I can't fault it. What
do think it doesn't do, that we need?