[M3devel] scope/resolution of foo in interface foo = foo(bar)

[Jay K]

I can understand that the name on the left isn't in scope "yet" on the right,
but what is the algorithm for anyone else using IMPORT?


import foo;
import foo(bar);
import foo(bar) as foobar;
import foo(bar).T as fooT;


I doubt all but the first of these are legal, but I also don't think they are very far fetched
in terms of being reasonable constructs and not difficult to implement.


And I'm not sure the presence of the '(' is enough disambiguation for a quick human reader
or a pleasantly simply enough implementation, but maybe.


All that is to say, I don't think disallowing interface foo = foo(bar) is so bad.


 - Jay

From: hosking at cs.purdue.edu
Date: Fri, 1 Jan 2010 14:43:36 -0500
To: jkrell at elego.de
CC: m3commit at elegosoft.com
Subject: Re: [M3commit] CVS Update: cm3



That's a bug in m3tk scope management.  Probably needs a ticket in the bugs database...


On 30 Dec 2009, at 15:40, Jay Krell wrote:CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	09/12/30 15:40:06

Modified files:
	cm3/m3-libs/m3core/src/word/: Long.i3 Long.m3 Word.i3 Word.m3 
	                              m3makefile 
Added files:
	cm3/m3-libs/m3core/src/word/: GenWord.ig GenWord.mg 
Removed files:
	cm3/m3-libs/m3core/src/word/: Word.ig Word.mg 

Log message:
	go back to GenWord
	the other front end (Olivetti m3-tk)
	doesn't understand
	INTERFACE Word = Word(WordRep) END Word.
	but it does't understand
	INTERFACE Word = GenWord(WordRep) END Word.

 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20100101/ba95343b/attachment-0001.html>