Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!lll-crg!nike!ucbcad!ucbvax!jade!tart12!c60a-2jm
From: c60a-2jm@tart12.BERKELEY.EDU (Adam J. Richter;260E;;)
Newsgroups: net.lang.mod2
Subject: Re: Significant Changes to M2
Message-ID: <1626@jade.BERKELEY.EDU>
Date: Sat, 8-Nov-86 23:58:31 EST
Article-I.D.: jade.1626
Posted: Sat Nov  8 23:58:31 1986
Date-Received: Sun, 9-Nov-86 09:48:48 EST
References: <8610201143.1439@ur-cayuga.arpa> <163@unc.unc.UUCP> <191@vixie.UUCP>
Sender: usenet@jade.BERKELEY.EDU
Reply-To: c60a-2jm@tart12.BERKELEY.EDU (Adam J. Richter)
Organization: University of California, Berkeley
Lines: 20

In article <191@vixie.UUCP> paul@vixie.UUCP (Paul Vixie Esq) writes:
>In article <163@unc.unc.UUCP> hinrichs@unc.UUCP (Klaus Hinrichs) writes:

>>WG119:  SIZE should accept type parameters as well as variable parameters.
>>There should be no TSIZE.

>	Oops, what about times when you have a variable and a type of the
>	same name?  They are in different namespaces, and are allowed to
>	duplicate without collision.  You need different syntax to refer
>	to the different namespaces.

	
Nope.  Names completely eclipse each other.  If you have a type X that
is eclipsed by a variable X, then TSIZE (X) would produce an error.

		-- Adam
Adam J. Richter					...ucbvax!miro!richter
2504 College Avenue \				richter@miro.berkeley.edu
Berkeley, CA 94704   >= May change soon
(415)549-9672	    /