|
|
|---|
|
|
|
|---|
Modifying constructor for expr-tycompat structures.
(change-expr-tycompat x
[:type1 <type1>]
[:type2 <type2>])
This is an often useful alternative to make-expr-tycompat.
We construct a new expr-tycompat structure that is a copy of
This is an ordinary
Macro:
(defmacro change-expr-tycompat (x &rest args) (std::change-aggregate 'expr-tycompat x args '((:type1 . expr-tycompat->type1) (:type2 . expr-tycompat->type2)) 'change-expr-tycompat 'nil))