Make sure longnames and aliases are unique, every field has a parser, and so forth. This only applies to visible options.
(sanity-check-formals basename x world) → *
(defun sanity-check-formals (basename x world) (declare (xargs :guard (and (symbolp basename) (formallist-p x) (plist-worldp world)))) (let ((__function__ 'sanity-check-formals)) (declare (ignorable __function__)) (b* ((longnames (formallist->longnames x)) ((unless (uniquep longnames)) (raise "In ~x0, multiple fields have :longname ~&1." basename (duplicated-members longnames))) (aliases (remove nil (formallist->aliases x))) ((unless (uniquep aliases)) (raise "In ~x0, multiple fields have :alias ~&1." basename (duplicated-members aliases))) (?parsers (formallist->parsers x world)) (?merges (formallist->merges x))) t)))