- (if (and (consp local-def)
- (eq (car local-def) 'macro))
- (values (cdr local-def) t)
- (values form nil))))
+ (cond ((and (consp local-def)
+ (eq (car local-def) 'macro))
+ (values (cdr local-def) t))
+ ((eq (info :variable :kind form) :macro)
+ (values (info :variable :macro-expansion form) t))
+ (t
+ (values form nil)))))