On Wed, Nov 13, 2019 at 11:28 AM Alvaro Herrera
<alvherre@2ndquadrant.com> wrote:
> On 2019-Nov-12, Andres Freund wrote:
> > > Anyway, I still like the idea of merging the void keyword in with
> > > that.
> >
> > Hm. Any other opinions?
>
> Although it feels very strange to me at first glance, one only has to
> learn the trick once. My initial inclination was not to do it, but I'm
> kinda +0.1 after thinking some more about it.
I don't care much about this either way, but I think I might be
slightly more inclined to keep them separate. If we went the
direction of combining them, it might be clearer if the magic word
included "void" someplace inside of it, like:
extern void_noreturn thunk(void);
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company