> From: Michael Heerdegen <michael_heerde...@web.de> > Cc: monn...@iro.umontreal.ca, shipmi...@gmail.com, 73...@debbugs.gnu.org > Date: Mon, 09 Sep 2024 19:46:56 +0200 > > Eli Zaretskii <e...@gnu.org> writes: > > > Thanks, but this sounds like overkill to me. > > Hmm... maybe. And the idea of an extra macro?
Likewise. I think we should make up our minds: either we enforce :type in setopt or we don't.
