On Wed, Nov 13, 2019 at 11:28 AM Alvaro Herrera <alvhe...@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
