[sv-ec] Errata ERR-22 about list of methods checked at compile time.


Subject: [sv-ec] Errata ERR-22 about list of methods checked at compile time.
From: David W. Smith (david.smith@synopsys.com)
Date: Mon Sep 29 2003 - 09:32:21 PDT


Greetings,

The following email discussion is the basis for ERR-22.

Regards
David

Don,

You are correct. All methods are checked at compile time, including try_put
and try_peek. The paragraph you mention is not intended to be a
comperehensive list of methods checked at compile time. I'll add it to the
list of errata for 3.1a.

    Arturo

I am looking at the last two paragraphs of section 13.4. The second to
last paragraph states that a parameterized mailbox has all the same
methods as a regular mailbox (I expected this.) My concern is the list
of methods in the last paragraph the are checked at compile time. Why
would try_put, and try_get not also be checked at compile time?

Thanks for your help.

dm

-- 
==========================================================
Don Mills
LCDM Engineering     (Logic, Coding, & Design Methodology) 
mills@lcdm-eng.com                        www.lcdm-eng.com
801-282-6560  Office PHONE      
801-641-5882  Mobile PHONE
4158 W. Ben Armine Cir.,      South Jordan, UT  84095-9101
==========================================================



This archive was generated by hypermail 2b28 : Mon Sep 29 2003 - 09:33:59 PDT