SV-BC Separate Compilation discussion 10/07/03

Attendees
11100000000 Month
00009876654
10021012012 Day
77236553928
00000000000 Year
33333333333
aaaaaaaaaaa Karen Pieper
aaaaa--aaaa Randy Misustin
-aa--a-a--a Dennis Brophy
----------a Danny Jacobi
aaaaaaaaaaa Brad Pierce
a--a--aaa-a Dave Rich
aaa-a----aa Francoise Martinolle
aaa---a-aa- Matt Maidment
----a-a-a-- Tom Kiley
-------a--- Johny Srouji
-----aaa--- Jay Lawrence
aaaaa-a---- Arturo Salz
aa--a-a---- Peter Flake
a-aa------- Nikhil


Karen updated the proposal to reflect the errata from last time, and
she added a with statement for us to discuss.

When Karen asked if there was anyone who did not want to add the 
creation of a compilation with a local $root.  No one spoke up, so
we will move toward the creation of a separate compilation approach
limiting the scope of $root.

With a local scope, there is no need to have the "with" statement.

Straw poll, should we add a with statement to the packages proposal:
No with:  Dave, Arturo, Nikhil, Francoise, 
Yes with:  Matt, Randy, Brad, Peter

The only issue remaining in packages that has not been resolved or 
voted down is how to handle package references in ports and 
parameter declarations.  (Note: we voted Nikhil down on adding 
modules to packages and he would like to reopen the issue).

We have a concensus that we need to resolve "local $roots" before
we can resolve the port and parameter with packages.

We started looking at Karen's original separate compilation 
document.  The proposal looks like namespaces.  What if we just
put namespaces around local $roots.  There are some real issues
with putting modules in namespaces.  It would change the 
instantation resolution for module lookup at elaboration time.

Karen will add the separate compilation paragraphs to the current
namespaces proposal without the with statement.

Hopefully everyone will be able to review the updated proposal
for discussion and email next week.

The next meeting is 10/24/03 at 8:30am Pacific.