Re: How to simplify passing macro context around?

On Sun, Feb 19, 2012 at 12:10 PM, martin odersky wrote:
>>> What else can we do? (without throwing more syntax at the problem).
>>
>> Just as Adriaan suggested: loosen the check in Namers [1] to allow for:
>>
>>  def foo(a: b.x)(implicit b: B)
>>
> And what would the resulting types look like?
>
> MethodType(a: b.x, MethodType(b: B, ...)
>
> I think we'd introduce some serious scoping problems here!

I'm going to leave Adriaan to field that one while I swim back to shore :)

-jason