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.
Just my $0.02, Dominic Cooney -----Original Message----- From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED]] On Behalf Of Greg Haerr Sent: Tuesday, 23 April 2002 1:41 PM To: Guenther Roith; Miguel de Icaza Cc: [EMAIL PROTECTED] Subject: Re: [Mono-list] Oberon and another dialect : http://www2.fit.qut.edu.au/CompSci/PLAS/ComponentPascal : : Gardens Point Component Pascal FYI, John Gough, the lead developer for the Gardens Point Component Pascal compiler, has written a very interesting book, "Compiling for the .NET Common Language Runtime," which details all sorts of interesting aspects of writing compilers for the CIL virtual machine as well as great descriptions of of the instruction set and various nuances dealt with in writing the compiler. Examples in C#, CP and CIL are given. Custom attributes, program verification, and problems associated with mapping hard-to-map language constructs are covered in various chapters. Highly recommended. I purchased the book from Amazon.com. Regards, Greg _______________________________________________ Mono-list maillist - [EMAIL PROTECTED] http://lists.ximian.com/mailman/listinfo/mono-list _______________________________________________ Mono-list maillist - [EMAIL PROTECTED] http://lists.ximian.com/mailman/listinfo/mono-list
