[sv-bc] import questions

Can you confirm whether or not my interpretation of the import visibility
rules are correct or not.
See the examples below:

import q::c;
module top;
   ...
     p::c = ... I think it is legal, c from q is imported in the module and
if there were a direct reference to c, it would refer to q::c
endmodule

import q::c;
module top;
import p::c; I think that this is illegal as c is now multiply defined even
though there is no
                   use of c in module top, the parser should create an error.
endmodule

Thanks
Francoise
        '
Received on Wed Apr 21 11:54:07 2004