On 10. Apr 2007, at 15:59, Allan Odgaard wrote: > [...] > Joachim just did a fix for this, but I think it actually exposes a > TM bug in assigning scopes to captures. > > I’ll devote more time to looking into it later. Yeah, there is a bug, but wasn’t exposed by the previous rule nor the new one (that Joachim committed).