		Search-engine friendly clone of the ACL2 documentation.

Vl-lintconfig-p

Change-vl-lintconfig

A copying macro that lets you create new vl-lintconfig-p structures, based on existing structures.

Syntax:

(change-vl-lintconfig x 
                      [:start-files <start-files>] 
                      [:help <help>] 
                      [:readme <readme>] 
                      [:search-path <search-path>] 
                      [:search-exts <search-exts>] 
                      [:include-dirs <include-dirs>] 
                      [:topmods <topmods>] 
                      [:quiet <quiet>] 
                      [:dropmods <dropmods>] 
                      [:ignore <ignore>] 
                      [:cclimit <cclimit>] 
                      [:edition <edition>] 
                      [:strict <strict>] 
                      [:mem <mem>] 
                      [:debug <debug>])

This is a sometimes useful alternative to make-vl-lintconfig. It constructs a new vl-lintconfig-p structure that is a copy of x, except that you can explicitly change some particular fields. Any fields you don't mention just keep their values from x.

Definition

This is an ordinary change- macro introduced by defaggregate.

Macro: change-vl-lintconfig

(defmacro change-vl-lintconfig (x &rest args)
  (std::change-aggregate
       'vl-lintconfig
       x args
       '((:start-files . vl-lintconfig->start-files)
         (:help . vl-lintconfig->help)
         (:readme . vl-lintconfig->readme)
         (:search-path . vl-lintconfig->search-path)
         (:search-exts . vl-lintconfig->search-exts)
         (:include-dirs . vl-lintconfig->include-dirs)
         (:topmods . vl-lintconfig->topmods)
         (:quiet . vl-lintconfig->quiet)
         (:dropmods . vl-lintconfig->dropmods)
         (:ignore . vl-lintconfig->ignore)
         (:cclimit . vl-lintconfig->cclimit)
         (:edition . vl-lintconfig->edition)
         (:strict . vl-lintconfig->strict)
         (:mem . vl-lintconfig->mem)
         (:debug . vl-lintconfig->debug))
       'change-vl-lintconfig
       'nil))