On Wed, Feb 27, 2002 at 04:00:39PM +0100, Arthur Baars wrote: > In the context-free grammar proposed by Ross Paterson > the following line: > expix -> expi+1B [qop(n,i) expi+1x] > > should be replaced by > expix -> [expi+1B qop(n,i)] expi+1x Yes. (In fact that's what I had in the revised hssource grammar, but I mistranscribed it.)