- About Scala
- Documentation
- Code Examples
- Software
- Scala Developers
Composability of scalac plugins?
Fri, 2009-04-10, 11:39
I'm very excited about both Tiark's CPS plugin and Phillip's
uniqueness types plugin. I'd like to use them both together, but I
have a gut feeling that that won't be possible. Would it be? Should it
be?
If not, what are the constraints on designing compiler plugins for
composability?
Cheers,
Miles
--
Miles Sabin
tel: +44 (0)7813 944 528
skype: milessabin
http://twitter.com/milessabin
At least for the moment the plugins probably don't compose well. There
are several cases in the CPS plugin where I assume @cps is the only
annotation on a given type. But these are all implementation issues
(using type.withAnnotations/withoutAnnotations was just more
convenient than doing the right thing) and I'm pretty sure they can
(and should) be fixed.
- Tiark
On 10.04.2009, at 12:39, Miles Sabin wrote:
> I'm very excited about both Tiark's CPS plugin and Phillip's
> uniqueness types plugin. I'd like to use them both together, but I
> have a gut feeling that that won't be possible. Would it be? Should it
> be?
>
> If not, what are the constraints on designing compiler plugins for
> composability?
>
> Cheers,
>
>
> Miles
>
> --
> Miles Sabin
> tel: +44 (0)7813 944 528
> skype: milessabin
> http://twitter.com/milessabin