[sv-cc] RE: More comments

More comments below:

From: Francoise Martinolle
Sent: Wednesday, October 12, 2011 6:03 PM
To: Vitaly Yankelevich; Jim Vellenga; Arturo Salz
Cc: Charlie Dawson; SystemVerilog CC DWG
Subject: More comments

In relation to comment [Art45] and [VY46R45]
[FM45]: what is an import typedef declaration:?
[Vitaly] It is defined in section 35.11
is it a type name declared in the foreign language that is imported
in SV? If that is a typedef in the foreign language, we do not know the type rules of the foreign language.
I do not understand how this can be used and work when imported in SV.
 [Vitaly] The proposal is to support importing equivalent type name. Let's assume the users has two equivalent type names in the foreign language. With help of the import "DPI-OO" typedef declaration the user can get the same equivalent type names in SystemVerilog so that the arguments of both types can be used in the DPI-OO import/export methods.

In relation to comment [Art51] and [VY52R51]:
SystemVerilog only allowed covariance for function return arguments, it does not specify
covariance of the output arguments. Are we allowing more here? Should'nt this also depends if the foreign
language permits covariance?
[Vitaly] Could you point me to the corresponding place in the SystemVerilog LRM? Probably I missed something.

Thanks,
Vitaly

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