From: Fernando D. M. M. <mat...@in...> - 2000-03-18 19:47:10
|
Users: Does not generate unnoticed misdeclarations (variables initialized to NIL but never read in that state could be declared to be of a type not including NIL). Implementors: Quite a bit of cleanup and changes to support letification, which will always be used starting from the next release. -- Fernando D. Mato Mira Real-Time SW Eng & Networking Advanced Systems Engineering Division CSEM Jaquet-Droz 1 email: matomira AT acm DOT org CH-2007 Neuchatel tel: +41 (32) 720-5157 Switzerland FAX: +41 (32) 720-5720 www.csem.ch www.vrai.com ligwww.epfl.ch/matomira.html |