RE: [sv-ec] only singular types allowed in mailboxes

I believe the singular type restriction is only intended for
non-parameterized mailboxes; otherwise the example in 15.4.9 using a
string would be illegal. A mailbox can be easily implemented using a
queue, and there is no such restriction on the data types of queue
elements.

 

I still claim that non-parameterized mailboxes are an anomaly in the
language. What is the self-determined type of a singular message? See
mantis 1714.

 

Dave

 

 

________________________________

From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org] On
Behalf Of Arturo Salz
Sent: Wednesday, May 21, 2008 12:39 PM
To: Daniel Mlynek; sv-ec@server.eda.org
Subject: RE: [sv-ec] only singular types allowed in mailboxes

 

Daniel,

 

The 'singular' limitation is intentional. Note that class handles are
singular types, which would be the preferred mechanism for passing
large, structured messages.

 

            Arturo

 

From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of
Daniel Mlynek
Sent: Wednesday, May 21, 2008 7:48 AM
To: sv-ec@eda.org
Subject: [sv-ec] only singular types allowed in mailboxes

 

There is no explicit statment that mailbox allows only singular types,
but mailbox functions headers are:

task put( singular message);

While singular is defined as:

    A singular type shall be any data type except an unpacked structure,
unpacked union, or unpacked array

From above I can tell that unpacked strucures is forbidden for mailboxes
(both parametrized and not parametrized) was it intented restriction?

Is there any rationale behind that?

 

 

DANiel


-- 
This message has been scanned for viruses and 
dangerous content by MailScanner <http://www.mailscanner.info/> , and is

believed to be clean. 


-- 
This message has been scanned for viruses and 
dangerous content by MailScanner <http://www.mailscanner.info/> , and is

believed to be clean. 

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