Re: new-model.text, please comment

[Marius Vollmer]

Tom Lord <address@hidden> writes:

>       > I don't think we should have the rule that the compiler can
>       > assume by default that a variable will never be assigned to
>       > when it is not being assigned to in the file where it is
>       > defined.
> 
> Perhaps.  I dunno.  Sounds wrong to me.  But: I dunno.

Maybe a compromise: let's make a declaration that tells the compiler
whether it can make 'the assumption'.  The conservative default for
this declaration is that the assumption can not be made.  When we have
the experience that almost every file carries a declaration to reverse
the default, we can consider reversing the default by default.

-- 
GPG: D5D4E405 - 2F9B BCCC 8527 692A 04E3  331E FAF8 226A D5D4 E405