On Mon, Apr 10, 2017 at 11:16:06AM -0600, Karl Williamson wrote: > On 04/10/2017 05:21 AM, Dave Mitchell wrote: > > > > > The solution that requires the least cleverness is my original kludge, > > > > > to simply make > > > > > > > > > > /\${[^\}]*}/ > > > > > > > > > > non-fatal. It's trivial to do this, and keep it to a single warning > > > > +1 > > > > To show how much code is involved in doing this, a minimal patch is > attached, without fixing the indent nor comments nor tests. I *think* we're agreed that this should happen. Will you apply this now? -- Overhead, without any fuss, the stars were going out. -- Arthur C ClarkeThread Previous | Thread Next