[Mono-list] Oberon and another dialect

[Miguel de Icaza]

Hello Dominic!

> I have read Compiling for the .NET CLR too, and it is excellent. I am
> not following mcs that closely, but FWIW the appendix on return-path and
> definite assignment checking may be of interest. It cleverly uses sets
> to track variable initialisation, and you get all-paths-return-a-value
> checking for free.

Yes, this is a normal compiler trick (Guavac has a nice implementation
as well that is where I first learned about the trick).  I have yet to
implement this in our compiler though ;-(

Miguel.