> From: Stefan Monnier <monn...@iro.umontreal.ca> > Cc: Michael Heerdegen <michael_heerde...@web.de>, shipmi...@gmail.com, > 73...@debbugs.gnu.org > Date: Mon, 09 Sep 2024 18:41:46 -0400 > > IMO, the whole point of `setopt` is to check the value against the type.
I agree, but some users expect setopt to be a variant of setq, especially since we advertise such use of setopt for modifying user options.
