Hi, sorry for that. I will fix it ASAP.
The last rule has only three rule elements, but that should not throw an exception. Best, Peter On 17.05.2013 12:34, [email protected] wrote: > Hello! > > Let A, B, C, D and F denote type names. Then, A B? C D{->MARK(F, 1, 4)} works. > A (B)? C D{->MARK(F, 1, 4)} causes a NullPointerException. > (A B)? C D{->MARK(F, 1, 4)} causes an ArrayIndexOutOfBoundException: -1. > > Any ideas? > > Cheers, > Armin
