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