Yes, it looks to me like you are correct-- as we see for non-deferred immediate covers (such as on p.303 of draft 7a), covers just have a single action statement, since they do not allow an 'else' action. ________________________________ From: Korchemny, Dmitry Sent: Monday, October 27, 2008 1:21 AM To: Bustan, Doron; Seligman, Erik Cc: sv-ac@server.eda.org; stuart@sutherland-hdl.com Subject: Mantis 2005 Hi Doron, Erik, During Draft7 review we added an editor note 7144 requesting the following change: The draft says deferred_immediate_cover_statement ::= cover #0 ( expression ) statement_or_null The proposal says deferred_immediate_cover_statement ::== cover #0 ( expression ) action_block But the Draft7 was correct and we need to revert this change. I added a new editor note 7672. Let me know if you agree. Dmitry -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Mon Oct 27 07:43:20 2008
This archive was generated by hypermail 2.1.8 : Mon Oct 27 2008 - 07:43:42 PDT