RE: [sv-bc] Issue 41 - real in associative array

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Fri Apr 24 2009 - 07:52:18 PDT
Should it be moved to SV-EC, since they are mostly responsible for associative arrays? I don't think SV-BC should drop the restriction on its own.

Thanks,
Shalom

Shalom Bresticker
Intel LAD DA
Jerusalem, Israel
+972  2 589 6582 (office)
+972 54 721 1033 (cell)

-----Original Message-----
From: owner-sv-bc@server.eda.org [mailto:owner-sv-bc@server.eda.org] On Behalf Of Gordon Vreugdenhil
Sent: Friday, April 24, 2009 5:37 PM
To: SV_BC List
Subject: [sv-bc] Issue 41 - real in associative array

I took a closer look at issue 41.  The LRM certainly does
intentionally restrict the existence of "real" in any
component of an associative array index type.  This is a
bit odd since the general statement is simply that equality
(and some internal ordering relation) is defined and certainly
equality is defined for real.  Personally I think that it makes
more sense to drop the restriction than to modify the example
but if there is any concern about dropping the restriction,
then we should modify the example to be consistent with the
normative text.

Gord.
-- 
--------------------------------------------------------------------
Gordon Vreugdenhil                                503-685-0808
Model Technology (Mentor Graphics)                gordonv@model.com


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Fri Apr 24 07:53:12 2009

This archive was generated by hypermail 2.1.8 : Fri Apr 24 2009 - 07:53:24 PDT