Hi guys-- since 1900 (checkers) and 1995 (concurrent assertions in procedural loops) seem pretty stable now, I figured it's probably time to start work on this proposal, that combines the two concepts. If you have been interested in either 1900 or 1995, please take a look when you have the chance & send comments. Thanks! BTW-- looking at 1900, it now occurs to me that it may not currently forbid checkers in loops anyway. Dmitry- comments? (Either way I think a more explicit description of how looped checkers are handled will be useful though.) -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.
This archive was generated by hypermail 2.1.8 : Thu Dec 20 2007 - 12:59:24 PST