for(int i=0; i<els.length; i++)
if (!drops[i])
if (idx==-1) idx = i;
- else throw new Error("multiple non-dropped elements in sequence: " + Sequence.newConstantSequence(els, null));
+ else throw new Error("multiple non-dropped elements in sequence: " + Sequence.create(els, null));
if (idx != -1) ret = Sequence.create(els, idx);
- else ret = Sequence.newConstantSequence(els, null);
+ else ret = Sequence.create(els, null);
}
if (this.follow != null)
ret = ret.followedBy(this.follow.toAtom(cx));