First Draft: Static Single Assignment

Richard (Rikki) Andrew Cattermole richard at cattermole.co.nz
Wed Dec 3 09:06:57 UTC 2025


On 03/12/2025 10:00 PM, Walter Bright wrote:
> `final` for fields is not currently implemented with the PR. I have 
> suspicion that it is unreasonable to implement it.
> 
> The problem is that fields can overlap each other in messy ways (i.e. 
> unions of structs). Trying to tease out finality in that soup may be not 
> worth the bother.

Union's are @system, I'm sure there will be something that can be done 
to make it ignored.


More information about the dip.development mailing list