[Issue 1961] Allow "scoped const" contracts

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=1961





------- Comment #9 from andrei at metalanguage.com  2008-04-27 13:36 -------
(In reply to comment #8)
> More unexpectedly, I found that it seems neither Walter nor Andrei had thought
> of this issue before (I assume this from Andrei because of his "Looks
> interesting." comment... I could be wrong)
> I find this woefully disconcerting due to the reasons detailed here:
> http://www.digitalmars.com/webnews/newsgroups.php?art_group=digitalmars.D&article_id=70593
> . (basicly Walter and Andrei seem to be ignorant of a very good and thorough
> article about a const system proposal for Java, unnecessarily hitting the wall
> on several issues)

We were well aware on the work on Javari. The link to the relevant paper has
been on our internal discussion wiki for over a year, and I knew of that work
long before that. 

If we've been hitting the wall, it must be stupidity more than ignorance.


--