[Grace-core] [Minigrace] minor nits - should imports be inherited

[Kim Bruce]

This is probably OK if we commit to building environments that give warnings when there is shadowing (and if we really do make sure the beginning and intermediate dialects forbid it!).

Kim



On Nov 29, 2013, at 9:38 AM, Andrew P Black <black at cs.pdx.edu> wrote:

>> 
>> 
>> It might still be worth punting the rule into dialects anyway. We get
>> the most power by making the very core language as unrestricted as
>> possible, just like we did with types, and I don't see much downside.
> 
> I think that final paragraph is saying the same as the following comment from James:
> 
> On 28 Nov 2013, at 21:53 , James Noble <kjx at ecs.vuw.ac.nz> wrote:
> 
>> I have a folk memory of us agreeing to move that out of the core &
>> Into a dialect
> 
> I don't have that memory, but did come to the same conclusion myself last night, while I was asleep.
> The "core language" should allow shadowing.  The beginning and intermediate student dialects can 
> disallow shadowing by means of a checker.  This gives us the best of both worlds, I think.
> 
> 	Andrew
> 
> 
> 
> _______________________________________________
> Grace-core mailing list
> Grace-core at cecs.pdx.edu
> https://mailhost.cecs.pdx.edu/mailman/listinfo/grace-core