On 25/09/2018 01:04, Joe Wildish wrote: > Having said all that: there are obviously going to be some expressions > that cannot be proven to have no potential for invalidating the assertion > truth. I guess this is the prime concern from a concurrency PoV?
Before we spend more time on this, I think we need to have at least a plan for that. Perhaps we could should disallow cases that we can't handle otherwise. But even that would need some analysis of which practical cases we can and cannot handle, how we could extend support in the future, etc. In the meantime, I have committed parts of your gram.y changes that seem to come up every time someone dusts off an assertions patch. Keep that in mind when you rebase. -- Peter Eisentraut http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services
