		Search-engine friendly clone of the ACL2 documentation.

Vl-pp-opts-p

Change-vl-pp-opts

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

Syntax:

(change-vl-pp-opts x 
                   [:help <help>] 
                   [:readme <readme>] 
                   [:output <output>] 
                   [:outdefs <outdefs>] 
                   [:start-files <start-files>] 
                   [:include-dirs <include-dirs>] 
                   [:defines <defines>] 
                   [:edition <edition>] 
                   [:strict <strict>] 
                   [:mem <mem>])

This is a sometimes useful alternative to make-vl-pp-opts. It constructs a new vl-pp-opts-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-pp-opts

(defmacro change-vl-pp-opts (x &rest args)
 (std::change-aggregate 'vl-pp-opts
                        x args
                        '((:help . vl-pp-opts->help)
                          (:readme . vl-pp-opts->readme)
                          (:output . vl-pp-opts->output)
                          (:outdefs . vl-pp-opts->outdefs)
                          (:start-files . vl-pp-opts->start-files)
                          (:include-dirs . vl-pp-opts->include-dirs)
                          (:defines . vl-pp-opts->defines)
                          (:edition . vl-pp-opts->edition)
                          (:strict . vl-pp-opts->strict)
                          (:mem . vl-pp-opts->mem))
                        'change-vl-pp-opts
                        'nil))