> From: Michael Heerdegen <michael_heerde...@web.de> > Cc: Stefan Monnier <monn...@iro.umontreal.ca>, shipmi...@gmail.com, > 73...@debbugs.gnu.org > Date: Mon, 09 Sep 2024 18:38:43 +0200 > > Eli Zaretskii <e...@gnu.org> writes: > > > > How about adding an option letting the user disable the type checking of > > > some options? > > > > Like what? Would we accept, for example, a string where the type is > > 'symbol'? Or any value where type is 'boolean'? > > The new option would have as value a list of option names. The user > could then add those options with incorrect type specs. And for those > specified options Emacs would skip type checking entirely.
Thanks, but this sounds like overkill to me.
