This page is no longer maintained — Please continue to the home page at www.scala-lang.org

Composability of scalac plugins?

1 reply
milessabin
Joined: 2008-08-11,
User offline. Last seen 33 weeks 3 days ago.

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

Tiark Rompf
Joined: 2009-02-18,
User offline. Last seen 42 years 45 weeks ago.
Re: Composability of scalac plugins?

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

Copyright © 2012 École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland