- About Scala
- In the Enterprise
- Scala Community
- Language Research
- In the Press
- The Scala Team
- Scala's Prehistory
- Contact Us
- Learning Scala
- Tour of Scala
- Scala API
- Setup & Getting Started
- Programming Guides
- Other Guides
- Code Examples
- Scala Developers
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  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 :)