Instantiating Packages and library references.

All,
At the last meeting we discussed IR2058 and what
a use clause makes visible when a type is referenced.

I did not think this was very interesting until I
started thinking about type generics. When I use a
type as a generic, what if anything gets made visible
with the type:

   library ieee ;
   package MuxPkg_slv is new work.MuxPkg
     Generic map (
       array_type => ieee.std_logic_1164.std_logic_vector
    ) ;

It seems that what is visible above should be the same
things that are made visible by the following use clause:

   library ieee ;
     use ieee.std_logic_1164.std_logic_vector ;

In the case of type generics, this is not very exciting
if only the type name gets passed and no operators.
It would seem that the more that we can make visible,
the more useful this becomes.

Cheers,
Jim

-- 
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Jim Lewis
Director of Training             mailto:Jim@SynthWorks.com
SynthWorks Design Inc.           http://www.SynthWorks.com
1-503-590-4787
Expert VHDL Training for Hardware Design and Verification
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~