Re: Clean up optional rules in grammar

2020-11-11 Thread Peter Eisentraut
On 2020-11-11 11:54, Heikki Linnakangas wrote: On 11/11/2020 11:12, Peter Eisentraut wrote: The attached patch cleans this up to make them all look like the first style. +1 done

Re: Clean up optional rules in grammar

2020-11-11 Thread John Naylor
On Wed, Nov 11, 2020 at 5:13 AM Peter Eisentraut < peter.eisentr...@enterprisedb.com> wrote: > It's obviously confusing to have multiple different styles to do the > same thing. And these extra rules (including the empty ones) also end > up in the output, so they create more work down the line. >

Re: Clean up optional rules in grammar

2020-11-11 Thread Peter Eisentraut
On 2020-11-11 12:43, Vik Fearing wrote: No objections, but could we also take this opportunity to standardize the comment itself? Even in your patch there is a mix of spacing and casing. My preference is /* EMPTY */. That is, uppercase with spaces, but whatever gets chosen is fine with me. L

Re: Clean up optional rules in grammar

2020-11-11 Thread Vik Fearing
On 11/11/20 10:12 AM, Peter Eisentraut wrote: > There are a number of rules like this in the grammar: > > opt_foo: FOO >     | /*EMPTY*/ > ; > > And there are some like this: > > opt_foo: FOO {} >     | /*EMPTY*/  {} > ; > > and some even like this: > > %type opt_foo > > opt_

Re: Clean up optional rules in grammar

2020-11-11 Thread Heikki Linnakangas
On 11/11/2020 11:12, Peter Eisentraut wrote: The attached patch cleans this up to make them all look like the first style. +1 - Heikki